FStar
An ML-like language aimed at program verification
Just Launched: Rapid MVP Development for Startups
2020-10-07
‘Social Dilemma’ Star Tristan Harris Responds to Criticisms of the Film
2020-10-07
Silicon Valley startup launches ‘Nespresso machine’ for whisky
2020-10-07
Getting Started with Web Monetization
2020-10-07
SpaceX gets back on track with a stunning Starlink launch near sunrise
2020-10-07
Original Source Code for the Acorn CMOS Basic (Version 4) (In MASM Format)
2020-10-07
A NASA-funded startup is using nuclear fusion reactors for space propulsion
2020-10-07
Ask HN: How do I get more work?
2020-10-07
Should you work on that startup idea?
2020-10-07
Long Before Nikola Trucks, Trevor Milton Sold Investors on Startups That Faded
2020-10-07
