FStar
An ML-like language aimed at program verification
EStargz: Lazy pull container images for faster cold starts
2022-03-17
Improving gender balance in academia, a computer scientist’s suggestion (part 2)
2022-03-17
Show HN: PDF API – Generate, convert, and modify PDF documents
2022-03-17
New report on investor bias in startup fundraising process
2022-03-16
Ask HN: For the new iPad Air, what does “air” mean?
2022-03-16
Starting April 25, 2022, App Store submissions must be built with Xcode 13
2022-03-16
Lessons from the Rise of Canvas to a $40B Startup
2022-03-16
Show HN: Civic – Online Hub for Causes
2022-03-16
Ukraine Starts Trial Connection to European Electricity Grid
2022-03-16
Sleeping. Closed for business. 10p to 6a
2022-03-16
