nowfound

Dev tools · March 14, 2018

Code Podcast 7: $300M worth of bugs

Deep dive into formal verification of ethereum contacts

Code Podcast 7: $300M worth of bugs launched on March 14, 2018 with 4 votes. The site was still online in September 2026, 8 years on.

Visit codepodcast.com ↗Alternatives

Does a similar job

all alternatives →

More dev tools this month

the category →
  • Run full iOS 16.5 firmware on Android Devices▲518

    Contribute to oosexgang/hackios-xnu-kernel development by creating an account on GitHub.

    Dev tools · 2d ago · github.com

  • /dev/null▲492

    a social network for devs

    Dev tools · 5d ago · dev-null.sh

  • Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

    open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

    Dev tools · 30d ago · github.com

  • Reladraw – A diagram language where you decide where to place things▲411

    Contribute to reladraw/reladraw development by creating an account on GitHub.

    Dev tools · 28d ago · github.com

  • OpenBot▲362

    Grok Bot alternative: free, local, open-source, multiplayer

    Dev tools · 25d ago · openbot.run

  • Talanoa▲346

    Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

    Dev tools · 23d ago · talanoa.email

Source: Product Hunt launch ↗

Launched alongside, March 2018

the whole month →
  • Notion 2.0▲2,156

    The all-in-one workspace - notes, tasks, wikis, & databases

    Work · 2018 · notion.so

  • MAKE Book: The Indie Maker Handbook▲1,372

    Learn to build profitable startups the indie way

    Dev tools · 2018 · readmake.com

  • Overflow▲1,139

    The world’s first user flow diagramming tool for designers

    Work · 2018 · overflow.io

  • RoughJS – Create hand-drawn graphics using JavaScript▲1,087

    Rough.js is a light weight javascript library that lets you draw graphics with a hand-drawn, sketchy, appearance.

    Life & fun · 2018 · roughjs.com

  • Sunsama▲999

    If Trello & Google Calendar had a baby.

    Work · 2018 · sunsama.com

  • Airtable Blocks▲877

    500,000+ brands use Airtable to enable real-time collaboration, automate repetitive tasks & manual work, and streamline business processes in minutes. Join them.

    Dev tools · 2018 · airtable.com