FStar
An ML-like language aimed at program verification
Ask HN: At 45, I can't seem to read as well anymore
2023-01-10
Kevin McCarthy's fast start: Big Tech is a top target for GOP majority
2023-01-10
Ukrainians to start training on Patriot missiles in US as soon as next week
2023-01-10
2023 will bring crisper methods for evaluating startup success
2023-01-10
Startups and Miracles
2023-01-10
OpwnAI: Cybercriminals Starting to Use ChatGPT
2023-01-10
Ask HN: How should we reach out to all the people being laid off?
2023-01-10
Ask HN: Anyone want to start a prop fund?
2023-01-10
Ask HN: Where to get help with a hardware idea?
2023-01-10
Ask HN: I'm 40 and feel my mental ability declining. Programming seems harder.
2023-01-10
