FStar
An ML-like language aimed at program verification
Would you be willing to give 1% equity to someone who buy you a domain?
2022-01-01
China ends 2021 with worst covid19 outbreak since pandemic start
2022-01-01
Ask HN: Favorite/Classic HN threads of all time
2022-01-01
Ask HN: Who wants to collaborate?
2022-01-01
New materials could deliver ultrathin solar panels
2022-01-01
Ask HN: In 2022, Is the “dot com” TLD still worth it?
2022-01-01
Ask HN: Ideas for Hardware Project
2022-01-01
Ask HN: Are there any CTFs/wargames teaching operating systems concept?
2022-01-01
Record number of unicorns and IPOs: Indian startups raised $39B in 2021
2022-01-01
A New Ban on Surprise Medical Bills Starts This Week
2022-01-01
