FStar
An ML-like language aimed at program verification
Tracking the Fake GitHub Star Black Market
2023-03-18
Ask HN: Strategies to handle RAW photo libraries
2023-03-18
Lance Reddick, star of 'The Wire' and the 'John Wick' franchise, dead at 60
2023-03-17
Concrete where 'Potato starch replaces human blood', was this written by an AI?
2023-03-17
Let's restart counting Unix timestamp to from 2020
2023-03-17
Nuclear Waste Borehole Demonstration Center Started
2023-03-17
Launch HN: Codeparrot (YC W23) – Automated API testing using production traffic
2023-03-17
First Time at Bat: My Founder Story
2023-03-17
3 Days to make a AI powered reader for macOS. Can I do it?
2023-03-17
Startups Asked for Help Making Payroll After SVB. VC Responses Were Mixed
2023-03-17
