FStar
An ML-like language aimed at program verification
Startup funding is drying up
2023-08-11
Launch HN: Wondercraft (YC S22) – Use text-to-speech to create podcasts easily
2023-08-11
Ask HN: Validate Idea – Build infinite communities around the internet
2023-08-11
Ask HN: Recurring Twitter/X Account access issues?
2023-08-11
Ask HN: How can I make animated flowcharts to showcase architecture
2023-08-11
Goes-West – Sector View: Hawaii – Fire Temperature Composite
2023-08-10
Stellar Surf's Up: Monster Waves as Tall as 3 Suns Are Crashing on Star
2023-08-10
Show HN: Retake – Open-Source Hybrid Search for Postgres
2023-08-10
Hydrogen-powered planes take off with startup’s test flight
2023-08-10
Webb Reveals Colors of Earendel, Most Distant Star Ever Detected
2023-08-10
