FStar
An ML-like language aimed at program verification
Land Lines: Start with a line, let the planet complete the picture
2020-06-26
Astronomers Find a Pair of 'Super Earths' in a Nearby Star System
2020-06-26
Google will start paying some publishers for news articles
2020-06-26
Ask HN: What is the best bank for an early state startup?
2020-06-26
Who is Slate Star Codex? – A thread (Feb. 2019)
2020-06-26
Reduce Java Cold Starts in AWS Lambda Using GraalVM
2020-06-26
Analysing a Decade of GitHub Stars
2020-06-26
Sales Pitches for Startup Founders
2020-06-26
Brexit: UK starts work on buying own sat-nav system to rival Galileo
2020-06-26
Ask HN: Tech Related Twitter Accounts to Follow?
2020-06-26
