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

Show HN: Jarea – a protected self-hosted gallery in Java and React https://bit.ly/2WX5imW

Show HN: Jarea – a protected self-hosted gallery in Java and React https://bit.ly/3zS4wX0 September 6, 2021 at 11:21PM

Show HN: Touchbase – online account-sharing social network https://bit.ly/3trFbAT

Show HN: Touchbase – online account-sharing social network https://bit.ly/3yOza2l September 6, 2021 at 09:33PM

Show HN: Expand your cinematic horizons with this film randomizer https://bit.ly/3tgXEA8

Show HN: Expand your cinematic horizons with this film randomizer https://bit.ly/3yOz2jn September 6, 2021 at 03:57PM

Show HN: Cogram – Copilot for data science and ML https://bit.ly/3zQFmrW

Show HN: Cogram – Copilot for data science and ML https://bit.ly/3DRHMJd September 6, 2021 at 08:37PM

Show HN: Age 1.0 – Simple, modern and secure file encryption https://bit.ly/3tgHHKg

Show HN: Age 1.0 – Simple, modern and secure file encryption https://bit.ly/3yN2F4E September 6, 2021 at 05:53PM

Show HN: This Cake Is a Lie https://bit.ly/3n7UHRt

Show HN: This Cake Is a Lie https://bit.ly/3kZuVvV September 6, 2021 at 07:27PM

Show HN: I made a search engine for finding topics, people on Joe Rogan Podcast https://bit.ly/38ZsIv3

Show HN: I made a search engine for finding topics, people on Joe Rogan Podcast https://bit.ly/3kXNGjd September 6, 2021 at 01:28PM

Show HN: I made a site that lets you stream music stations to focus/relax https://bit.ly/3DUJ0mO

Show HN: I made a site that lets you stream music stations to focus/relax https://bit.ly/3hqG7Rt September 6, 2021 at 01:53PM

Show HN: Auto-generate vanilla JavaScript alternatives for jQuery methods https://bit.ly/3h9mq09

Show HN: Auto-generate vanilla JavaScript alternatives for jQuery methods https://bit.ly/3BKfput September 6, 2021 at 01:59PM

Show HN: FractalCrypt - cryptoarchiver permitting any number of hidden volumes https://bit.ly/3zQmcT4

Show HN: FractalCrypt - cryptoarchiver permitting any number of hidden volumes https://bit.ly/3yQVCrz September 6, 2021 at 10:44AM

Show HN: Page2Api – a powerful and fun-to-use Web Scraping API https://bit.ly/2YnsXxE

Show HN: Page2Api – a powerful and fun-to-use Web Scraping API https://bit.ly/3jNSNDf September 6, 2021 at 08:33AM