TE
TechEcho
Home24h TopNewestBestAskShowJobs
GitHubTwitter
Home

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

GitHubTwitter

Home

HomeNewestBestAskShowJobs

Resources

HackerNews APIOriginal HackerNewsNext.js

© 2025 TechEcho. All rights reserved.

Show HN: Computer-Aided Software Design

2 pointsby kummapppalmost 6 years ago
I have been making tools for software design as a hobby project, because the tools I have seen all look like some sort of point and click game. Is that how you would design for example a bypass filter?<p>Here is my attempt to make module design to look more like Mathlab: https:&#x2F;&#x2F;github.com&#x2F;kummahiih&#x2F;python-grapheq-example<p>The example uses a library with which you can represent domain models as equations: https:&#x2F;&#x2F;github.com&#x2F;kummahiih&#x2F;python-domain-equations<p>The domain model equations have been made with a category equation system, which provides rudimentary simplify and theorem proving functionality: https:&#x2F;&#x2F;github.com&#x2F;kummahiih&#x2F;python-category-equations<p>So What do you think? Is this approach genuine in some way or did someone already do this on the 80&#x27;s?

no comments

no comments