FStar
An ML-like language aimed at program verification
Ask HN: What privacy respecting mobile analytics platforms are legit?
2022-08-03
There are now 1,170 unicorns. Their birth rate is slowing
2022-08-03
Show HN: MutableAI (YC W22) – Copilot Alternative for VS Code
2022-08-03
An eruption has started near Reykjavík, Fagradalsfjall, Iceland (Live video)
2022-08-03
Ask HN: Where would you move to be around startup minded people [USA]?
2022-08-03
Ask HN: Will I Ever Recover?
2022-08-03
Brightness Mitigration Best Practises for Sateille Operators
2022-08-03
Standing out to investors as a DevTools startup
2022-08-03
They Quit Goldman’s Star Trading Team, Then the Bank Raised Alarms
2022-08-03
New: Filter by equity – at the best YC startups
2022-08-03
