Show HN: Huracan – Open Source Aircraft Engine Simulation Python Package https://bit.ly/2X2clew

Show HN: Huracan – Open Source Aircraft Engine Simulation Python Package https://bit.ly/3BS3Em4 September 8, 2021 at 09:21AM

Show HN: WiFi thermometer. Useful things done dirt cheap https://bit.ly/3nbOljS

Show HN: WiFi thermometer. Useful things done dirt cheap https://bit.ly/3BNUPti September 8, 2021 at 07:19AM

Show HN: Unwonted.io – in-browser, offline tool for generative art, mainly NFTs https://bit.ly/3tmFuNn

Show HN: Unwonted.io – in-browser, offline tool for generative art, mainly NFTs https://bit.ly/3lkp5FN September 8, 2021 at 04:55AM

Show HN: Euterpe is simple self-hosted music streaming server https://bit.ly/3jNFvGV

Show HN: Euterpe is simple self-hosted music streaming server https://bit.ly/3n6Ueim September 7, 2021 at 05:20PM

Show HN: Multiobjective Large-Scale Fashion Dataset with Distributional Shifts https://bit.ly/2WViaut

Show HN: Multiobjective Large-Scale Fashion Dataset with Distributional Shifts https://bit.ly/3DTZgon September 7, 2021 at 11:32PM

Show HN: An infinite record playlist of out-of-copyright works https://bit.ly/3kW26Aw

Show HN: An infinite record playlist of out-of-copyright works https://bit.ly/3DZNyJ0 September 8, 2021 at 12:26AM

Show HN: a custom Lisp in C https://bit.ly/3l5zW66

Show HN: a custom Lisp in C https://bit.ly/2V0zMnz September 7, 2021 at 11:05PM

Show HN: AI that reads and explains complex code naturally, like a human https://bit.ly/3tmQKt6

Show HN: AI that reads and explains complex code naturally, like a human https://bit.ly/3ySgnTC September 7, 2021 at 07:34PM

Show HN: Language-agnostic 2D graphics with print statements https://bit.ly/3DV8z7k

Show HN: Language-agnostic 2D graphics with print statements https://bit.ly/3jOsT2q September 7, 2021 at 05:27PM

Show HN: Spice.ai – open-source, time series AI for developers https://bit.ly/3n8hcpi

Show HN: Spice.ai – open-source, time series AI for developers https://bit.ly/3n8VyRF September 7, 2021 at 08:35PM

Show HN: Erlang's Gen-Fsm in Go https://bit.ly/3yORhVL

Show HN: Erlang's Gen-Fsm in Go https://bit.ly/3BOnuyn September 7, 2021 at 04:48PM

Show HN: Web-browser to help programmers think clearly https://bit.ly/3yOXyAH

Show HN: Web-browser to help programmers think clearly https://bit.ly/2X0hH9H September 7, 2021 at 04:41PM

Show HN: WebStor – Enumerate all your web technologies and find zero-days fast https://bit.ly/3htIyTl

Show HN: WebStor – Enumerate all your web technologies and find zero-days fast https://bit.ly/3zSM80k September 7, 2021 at 11:38AM

Show HN: I built a cyberdeck for kids using paper and a Raspberry Pi 400 https://bit.ly/3n8Qf4G

Show HN: I built a cyberdeck for kids using paper and a Raspberry Pi 400 https://twitter.com/CodeGuppy/status/1365766189981532162 September 7, 2021 at 03:19PM

Show HN: Deep Learning for Computer Vision course with colabs and Anki cards https://bit.ly/3hazVwt

Show HN: Deep Learning for Computer Vision course with colabs and Anki cards https://bit.ly/2VkzckI September 7, 2021 at 02:50PM

Show HN: Matrix Multiplier, direct use on shell https://bit.ly/3BOumvQ

Show HN: Matrix Multiplier, direct use on shell https://bit.ly/3DV8AYT September 7, 2021 at 01:57PM

Show HN: Peer to Peer Recruiting? https://bit.ly/2WTk26Z

Show HN: Peer to Peer Recruiting? https://bit.ly/3n6zW8J September 7, 2021 at 12:58PM

Show HN: Symbolica – Try our symbolic code executor in the browser https://bit.ly/3yScPkv

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: - "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://bit.ly/3DWa9G4), 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://bit.ly/3tnsWVO) 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://bit.ly/2WZIJ1f) [1] https://en.wikipedia.org/wiki/Symbolic\_execution September 7, 2021 at 12:55PM

Show HN: Arxiv.org on IPFS https://bit.ly/2Vmsriv

Show HN: Arxiv.org on IPFS https://bit.ly/3DPn64J September 7, 2021 at 08:35AM

Show HN: Load env vars from variety of sources with ease https://bit.ly/3E3xXbk

Show HN: Load env vars from variety of sources with ease https://bit.ly/3jRth09 September 7, 2021 at 05:33AM