Symbolica – Try our symbolic code executor in the browser

Hacker News

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: - "Writing tests was too time consuming on my tight schedule", or - "Unit tests don't catch enough bugs, so they're useless", or - "I've inherited a legacy code base without tests and have no idea where to start" 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: - Assert properties about your code and check that they hold for every conceivable input. - 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. - Find out if your code will hit any undefined behaviours, e.g. divide by zero or out of bounds array access. 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. 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. 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. 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. For those curious about how the executor works the core part of it is open source on GitHub (https://github.com/SymbolicaDev/Symbolica) [1] https://en.wikipedia.org/wiki/Symbolic\_execution

Visit product View on Hacker NewsSep 7, 2021

Share card

Actual performance

45points

35comments

Made the leaderboard

Launch Intel predictions

Analyze your own launch →

Product HuntOn track for Day 1 leaderboard · Strong signals: code, open · Missing: mac, agents, macos

84%84% predicted probability of success on Product Hunt, based on ML models trained on real launch data.

best fitHighest predicted score across all platforms for this description.

Indie HackersFits the IH revenue-focused audience · Missing: supports, reddit linkedin, podcasting

82%82% predicted probability of success on Indie Hackers, based on ML models trained on real launch data.

Hacker NewsStrong engagement from HN community · Strong signals: excited, open source, ide · Missing: https docs, just released, exist

65%65% predicted probability of success on Hacker News, based on ML models trained on real launch data.

nativeThis product was originally launched on this platform.

TrustMRRLess likely to generate early MRR · Strong signals: way · Missing: mobile apps, ios, personal

33%33% predicted probability of success on TrustMRR, based on ML models trained on real launch data.

AppSumoMay struggle as an AppSumo deal · Strong signals: host · Missing: plus, platform, intuitive

22%22% predicted probability of success on AppSumo, based on ML models trained on real launch data.

Acquire.comPre-revenue stage for this audience · Strong signals: arr · Missing: mrr, revenue, profit

19%19% predicted probability of success on Acquire.com, based on ML models trained on real launch data.

BetaListMay not resonate with beta-testers · Missing: web3, chat, crypto

0%0% predicted probability of success on BetaList, based on ML models trained on real launch data.

Correct prediction on native model

Similar products

Try GNU/Hurd in the Browser69%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Try GNU/Hurd in the Browser

Hacker News4

Try Scala in your browser45%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Try Scala in your browser

Hacker News61

Delta Executor35%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Delta Executor Product

Product Hunt+11

WhitestormJS and ReactJS on Codepen. Try It37%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

WhitestormJS and ReactJS on Codepen. Try It

Hacker News2

Try Snowplow41%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Try Snowplow

Hacker News6

Try Enarx61%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Try Enarx

Hacker News3

Try dsu gem as featured in RubyWeekly50%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Try dsu gem as featured in RubyWeekly

Hacker News2

Try to Survive from Volcanoes to Tsunamis41%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Try to Survive from Volcanoes to Tsunamis

Hacker News1

Acem37%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Try acme

Indie Hackers

SSENSELESS39%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Try on anyone

Product Hunt+121Fashion

Browse all products Analyze your launch