FStar
An ML-like language aimed at program verification
What’s Bigger: LD, AU or Light-Year?
2021-05-01
Mcdonald's HK app has 1M+ Downloads, but it's the worst app I have ever seen
2021-05-01
SSD makers start warning that mining products like ChiaCoin will void warranty
2021-05-01
Cancer rates in medieval Britain around ten times higher than previously thought
2021-05-01
Inside Moderna, one of biotech’s most secretive startups (2016)
2021-04-30
Looking to Hire a JavaScript Expert with Microsoft Graph Experience
2021-04-30
US to restrict travel from India over Covid starting Tuesday
2021-04-30
Glitch puts Star Fox 64 ships in unmodified Zelda cartridge (2020)
2021-04-30
Neutron Star “Skin” Is Less Than a Millionth of a Nanometer Thick
2021-04-30
The early decision that helped Adjust go from startup to global success
2021-04-30
