FStar
An ML-like language aimed at program verification
Startup Codex: Startup Resource Directory for Founders with Deadlines
2020-08-22
Experimental Cooking Is a Joyful Pursuit
2020-08-22
He Was Iran’s Homegrown Tech Star. The Guards Saw a Blackmail Opportunity
2020-08-21
Launch HN: Plum Mail (YC S20) – Email alternative for group conversations
2020-08-21
Twitter: If you are CEO of a VC startup, where'd you move your co out of CA?
2020-08-21
Medical imaging startup Nanox raises $165.2M as it prepares to list on Nasdaq
2020-08-21
Hedy: A Gradual Language for Programming Education
2020-08-21
Show HN: InstaNote – take notes like chat
2020-08-21
Ask HN: Distributed Bootstrapping?
2020-08-21
Charles Babbage obituary and works (1871)
2020-08-21
