FStar
An ML-like language aimed at program verification
Ask HN: Summer 2023 acceleration program in US for EU startups (and viceversa)?
2023-07-18
How to Pivot Your Startup
2023-07-18
Ask HN: How to find first Customers as a freelancer?
2023-07-18
AI Metaverse Startup Futureverse Raises $54M
2023-07-18
Show HN: Wonderslide – Design Presentations in Seconds with the Power of AI
2023-07-18
Getting Started with the Main Window of Thunderbird 115
2023-07-18
US startups are having a bad year. Relief isn't coming
2023-07-18
Launch HN: Highlight.io (YC W23) – Open-source, full stack web app monitoring
2023-07-18
Show HN: depot.ai – easily embed ML / AI models in your Dockerfile
2023-07-18
Ask HN: Best compiler/interpreter books for hacking on Scheme?
2023-07-18
