FStar
An ML-like language aimed at program verification
Reddit pays an SF startup millions to analyse all shopping-related Reddit data
2023-06-11
Reddit Strike Has Started
2023-06-11
Ask HN: Any Startups looking for an software intern this Summer or Fall?
2023-06-11
One man’s 8-bit quest to finish his teenage Commodore 64 RPG
2023-06-11
Boomers are pushing millennials out of the housing market
2023-06-11
Fungi may offer ‘jaw-dropping’ solution to climate change
2023-06-11
Ask HN: GitHub Copilot for Common Lisp
2023-06-11
Movies and documentaries about startup founders
2023-06-11
Reaching for the Stars (1938)
2023-06-11
Show HN: OpenObserve – Elasticsearch/Datadog alternative
2023-06-11
