FStar
An ML-like language aimed at program verification
Managing Past, Present and Future Epidemics
2023-08-28
Ask HN: My mother is slowly losing her eyesight, how to prepare?
2023-08-28
Chinese scientists unveil 12-inch wafer with groundbreaking 2D materials
2023-08-28
Ask HN: Live Content for Entrepreneurs/Founders
2023-08-28
The startup in suburban NJ battling AI giants
2023-08-28
Ask HN: I'm developing a Django-like admin panel for Spring Boot apps
2023-08-28
Show HN: Try Naming – Get Relevant, Available .com Domains Instantly
2023-08-28
Startup extinction season: a bloodbath soon for the 50k VC-backed startups
2023-08-28
Ask HN: How long does the brain take to start thinking around a skills basis?
2023-08-27
Wild Startup Idea – Ballistic Missile Defense
2023-08-27
