FStar
An ML-like language aimed at program verification
Ask HN: How to start career during a downturn?
2022-12-30
Show HN: Simple weather for your zip code
2022-12-30
China Starts Work on $11B Desert Renewables Project
2022-12-30
Ask HN: How to stand out as TPM / PM with technical bg
2022-12-30
Ask HN: Should I interview for new jobs or stay put? Details inside
2022-12-30
Wikenigma – an encyclopedia of scientific questions with no known answers
2022-12-30
Discord for Technology and Startup Talking
2022-12-30
Where Are Unicorns Founded and Where Do They Move To?
2022-12-29
Pelé, Brazil’s mighty king of ‘beautiful game,’ has died
2022-12-29
Pele Dies
2022-12-29
