FStar
An ML-like language aimed at program verification
What excites you today (technologically speaking)?
2021-10-10
Next act for Apple veteran Ron Johnson is taking home-delivery startup public
2021-10-10
Embodiment for nerds – getting in touch with body and emotions
2021-10-10
General-phylomoji: a phylogenetic tree of emoji
2021-10-10
Are We Anti-Cheat Yet? A list of anti-cheat compatible games for GNU/Linux
2021-10-10
Show HN: Dial “star hash 0 star hash” on your Android phone
2021-10-10
Ask HN: Are methods like zettelkasten / Roam a waste of time?
2021-10-10
NASA, Boeing Update Starliner Orbital Flight Test-2 Status
2021-10-10
Mental health startup BetterUp raises funds at near $5 bln valuation
2021-10-10
How Many Stars on USA Flag
2021-10-09
