FStar
An ML-like language aimed at program verification
Ask HN: Platforms to find online internships to explore my interests
2023-08-21
How to Start a Profitable Roasting Business
2023-08-20
Cosmic Connectivity: Starlink, Satellite Swarms, and the Hackers' Final Frontier [video]
2023-08-20
Founder-compensated startups are default dead
2023-08-20
Serde has started shipping precompiled binaries with no way to opt out
2023-08-20
The Startup Founder Hero's Journey
2023-08-20
Low/no code signup/demo page for startup?
2023-08-20
Show HN: GodMode – open-source AI Chat Browser
2023-08-20
Show HN: A Llama 2 Agent That Builds Startups from Your Intuitions
2023-08-20
Amazon lists book on Maui wildfires that was published days after fires started
2023-08-20
