FStar
An ML-like language aimed at program verification
Google Docs will start nudging some users to write less dumbly
2022-04-01
Ugly Drinks seems to have quietly shuttered operations
2022-04-01
Thousands of employees are testing a 4-day workweek starting today
2022-04-01
Ask HN: How can I learn about video encoding, h.264, ffmpeg, etc.
2022-04-01
Show HN: A plain-text file format for todos and check lists
2022-04-01
Starfall: Finding a Meteorite with Drones and AI
2022-04-01
My first blog about learning elm
2022-04-01
Working Across Departments
2022-04-01
Ask HN: How can I help against disinformation?
2022-04-01
Ask HN: What April fool made you laugh today?
2022-04-01
