FStar
An ML-like language aimed at program verification
I Hired Santa at My Bootstrapped Startup
2022-06-07
A newfound, oddly slow pulsar shouldn’t emit radio waves – yet it does
2022-06-07
A new startup coalition wants to change how social media sites control followers
2022-06-07
Google Meet now lets you pin multiple video feeds
2022-06-07
What We Want and How to Make It – Star Wars Visual Comparisons
2022-06-07
Ask HN: Any “useful” side project ideas?
2022-06-07
Launch HN: Rootly (YC S21) – Manage Incidents in Slack
2022-06-07
Top Insights from the 2022 Startup Sentiment Survey
2022-06-06
Tell HN: Apple's “Hide My IP Address from Trackers” Feature Breaks Many Websites
2022-06-06
The 1–10–100 Principle or How We Stopped Neglecting Data
2022-06-06
