FStar
An ML-like language aimed at program verification
How Mathematics stopped being defined by reality – started to invent new ones
2023-01-16
An example of how to not reach your user base
2023-01-16
Show HN: Turas.app for Collaborative Trip Planning
2023-01-16
Call for new taxes on super-rich after 1% pocket two-thirds of all new wealth
2023-01-16
Ask HN: When to make the jump to freelance/consultant?
2023-01-16
Billion-dollar companies started as side projects
2023-01-16
Just sold my startup to a middle-school mate
2023-01-16
Stuck Stage 3 Universal Paperclips
2023-01-16
Ask HN: How can I learn ML in 6 months as a teenager?
2023-01-16
Alarmed by A.I. Chatbots, Universities Start Revamping How They Teach
2023-01-16
