FStar
An ML-like language aimed at program verification
World That’s More Expensive Is Starting to Destroy Demand
2022-04-01
Earendel: Hubble telescope's distant star discovery gets a Tolkien-inspired name
2022-04-01
Earendel (farthest known star from Earth) is discovered
2022-03-31
Lessons starting a $500M and a $5M company in 5 years
2022-03-31
DeleteSlack for sanctioning innocent Ukrainian paying customers
2022-03-31
Show HN: Selfhosted tech starter pack for development of new project or startup
2022-03-31
Hubble Detects Farthest Star Ever Seen
2022-03-31
Chrome’s “Topics” advertising system is here, whether you want it or not
2022-03-31
Apache Kafka Internal Architecture Course by Jun Rao
2022-03-31
Intel to Acquire Israeli startup Granulate for $650M
2022-03-31
