FStar
An ML-like language aimed at program verification
Planets of binary stars as possible homes for alien life
2022-05-23
A Passenger’s One-Star Review of the Trolley Ride from the Trolley Problem
2022-05-23
Starbucks exits Russia, shutting 130 coffee shops
2022-05-23
Public Camping will be a Felony in Tennessee starting June first
2022-05-23
The Last Rock Star: Materials for a Film By, and With, Johnny Depp
2022-05-23
The Bad Times Are Coming for Startups
2022-05-23
Everyone is drafting their own startup Black Swan memo
2022-05-23
Inspired by spiders, one Japanese startup is inventing new textiles
2022-05-23
I Need to Learn API
2022-05-23
Ask HN: Employees and Customers as Investors?
2022-05-23
