FStar
An ML-like language aimed at program verification
YouTube will start sharing ad revenue with Shorts creators
2022-09-20
Star Citizen has passed half a billion in funding
2022-09-20
Ask HN: How can I contribute to decarbonization professionally?
2022-09-20
Show HN: TaskTXT, plain text task-timing notepad
2022-09-20
Gopuff execs started grilling managers about bathroom breaks
2022-09-20
Ask HN: Which features would you like for caretaker-focused destination site?
2022-09-20
Ask HN: Is it hard to get into systems programming from back end engineer?
2022-09-20
Prepare your inbox, Gmail's awful political spam experiment starts now
2022-09-20
How do I learn modern C++?
2022-09-20
Ask HN: What todo app do you use?
2022-09-20
