The best Hacker News stories from Show from the past day
Latest posts:
Show HN: A webcam made out of HTML checkboxes
Show HN: A webcam made out of HTML checkboxes
Show HN: A webcam made out of HTML checkboxes
Show HN: FractalCrypt 2.0 – free deniable encryption cryptoarchiver
Show HN: FractalCrypt 2.0 – free deniable encryption cryptoarchiver
Show HN: FractalCrypt 2.0 – free deniable encryption cryptoarchiver
Show HN: FractalCrypt 2.0 – free deniable encryption cryptoarchiver
Show HN: Heroku Alternative for Python/Django apps
Show HN: Heroku Alternative for Python/Django apps
Show HN: Deep Learning for Computer Vision course with colabs and Anki cards
Show HN: Unwonted.io – in-browser, offline tool for generative art, mainly NFTs
Show HN: Low-Code Metrics Store
Show HN: Symbolica – Try our symbolic code executor in the browser
We're a couple of software engineers who believe that to build great software you need to write good tests, but we also sympathise when engineers say things like:<p>- "Writing tests was too time consuming on my tight schedule", or<p>- "Unit tests don't catch enough bugs, so they're useless", or<p>- "I've inherited a legacy code base without tests and have no idea where to start"<p>To tackle this we're building Symbolica (https://www.symbolica.dev), a symbolic code executor [1], that lets you run your code for all possible inputs. This means you can do things like:<p>- Assert properties about your code and check that they hold for every conceivable input.<p>- Check that two implementations of the same function/method/program are equivalent, which is really useful if you're refactoring a legacy codebase without tests.<p>- Find out if your code will hit any undefined behaviours, e.g. divide by zero or out of bounds array access.<p>We're still really early in the development of this product, but we're excited to have built a working prototype of the symbolic executor for C programs. We wanted to get some feedback from potential early adopters so we've put up a code playground (https://www.symbolica.dev/playground) where you can try out Symbolica on C programs in the browser for free. We'd love people to give it a go and give us their thoughts.<p>Our plan is to build this out into a hosted cloud service that you can integrate into your DevOps pipeline (e.g. GitHub actions) so that you can run these symbolic tests on every CI build.<p>Further down the line we plan to add support for other languages too. We've currently got proof of concept implementations for Lisp and Python and will be looking into C++, Rust and .NET after. Of course we're always willing to prioritise a particular language if there's strong demand.<p>If you're interested in what we're building then please either message us at dev@symbolica.dev or join the alpha waiting list if you want to get first access to our full offering once we launch that.<p>For those curious about how the executor works the core part of it is open source on GitHub (https://github.com/SymbolicaDev/Symbolica)<p>[1] https://en.wikipedia.org/wiki/Symbolic\_execution
Show HN: Symbolica – Try our symbolic code executor in the browser
We're a couple of software engineers who believe that to build great software you need to write good tests, but we also sympathise when engineers say things like:<p>- "Writing tests was too time consuming on my tight schedule", or<p>- "Unit tests don't catch enough bugs, so they're useless", or<p>- "I've inherited a legacy code base without tests and have no idea where to start"<p>To tackle this we're building Symbolica (https://www.symbolica.dev), a symbolic code executor [1], that lets you run your code for all possible inputs. This means you can do things like:<p>- Assert properties about your code and check that they hold for every conceivable input.<p>- Check that two implementations of the same function/method/program are equivalent, which is really useful if you're refactoring a legacy codebase without tests.<p>- Find out if your code will hit any undefined behaviours, e.g. divide by zero or out of bounds array access.<p>We're still really early in the development of this product, but we're excited to have built a working prototype of the symbolic executor for C programs. We wanted to get some feedback from potential early adopters so we've put up a code playground (https://www.symbolica.dev/playground) where you can try out Symbolica on C programs in the browser for free. We'd love people to give it a go and give us their thoughts.<p>Our plan is to build this out into a hosted cloud service that you can integrate into your DevOps pipeline (e.g. GitHub actions) so that you can run these symbolic tests on every CI build.<p>Further down the line we plan to add support for other languages too. We've currently got proof of concept implementations for Lisp and Python and will be looking into C++, Rust and .NET after. Of course we're always willing to prioritise a particular language if there's strong demand.<p>If you're interested in what we're building then please either message us at dev@symbolica.dev or join the alpha waiting list if you want to get first access to our full offering once we launch that.<p>For those curious about how the executor works the core part of it is open source on GitHub (https://github.com/SymbolicaDev/Symbolica)<p>[1] https://en.wikipedia.org/wiki/Symbolic\_execution
Show HN: Symbolica – Try our symbolic code executor in the browser
We're a couple of software engineers who believe that to build great software you need to write good tests, but we also sympathise when engineers say things like:<p>- "Writing tests was too time consuming on my tight schedule", or<p>- "Unit tests don't catch enough bugs, so they're useless", or<p>- "I've inherited a legacy code base without tests and have no idea where to start"<p>To tackle this we're building Symbolica (https://www.symbolica.dev), a symbolic code executor [1], that lets you run your code for all possible inputs. This means you can do things like:<p>- Assert properties about your code and check that they hold for every conceivable input.<p>- Check that two implementations of the same function/method/program are equivalent, which is really useful if you're refactoring a legacy codebase without tests.<p>- Find out if your code will hit any undefined behaviours, e.g. divide by zero or out of bounds array access.<p>We're still really early in the development of this product, but we're excited to have built a working prototype of the symbolic executor for C programs. We wanted to get some feedback from potential early adopters so we've put up a code playground (https://www.symbolica.dev/playground) where you can try out Symbolica on C programs in the browser for free. We'd love people to give it a go and give us their thoughts.<p>Our plan is to build this out into a hosted cloud service that you can integrate into your DevOps pipeline (e.g. GitHub actions) so that you can run these symbolic tests on every CI build.<p>Further down the line we plan to add support for other languages too. We've currently got proof of concept implementations for Lisp and Python and will be looking into C++, Rust and .NET after. Of course we're always willing to prioritise a particular language if there's strong demand.<p>If you're interested in what we're building then please either message us at dev@symbolica.dev or join the alpha waiting list if you want to get first access to our full offering once we launch that.<p>For those curious about how the executor works the core part of it is open source on GitHub (https://github.com/SymbolicaDev/Symbolica)<p>[1] https://en.wikipedia.org/wiki/Symbolic\_execution
Show HN: PeeYork, Bathroom finder app for NY
Show HN: PeeYork, Bathroom finder app for NY
Show HN: An infinite record playlist of out-of-copyright works
Show HN: An infinite record playlist of out-of-copyright works
Show HN: An infinite record playlist of out-of-copyright works