FStar
An ML-like language aimed at program verification
Can a Seattle Startup Launch a Fusion Reactor into Space?
2022-06-16
WhatsApp bot that delivers carefully curated tech and startup articles every day
2022-06-16
Ask HN: How can I start preparing for interviews? And how to stay motivated
2022-06-16
M1 GPUs for C++ science: Getting started
2022-06-15
New edition of Brad Feld's guide to building/managing your startup's board
2022-06-15
Manufacturing starts on the new Framework Laptop in Taiwan
2022-06-15
Purdue Starts Comprehensive Semiconductor Degree Programs in U.S.
2022-06-15
Ask HN: Would you deal with CSPs when building audio- Chrome Extensions
2022-06-15
Formally Proven Binary Format Parsers [pdf]
2022-06-15
Show HN: Cut your AWS costs by stopping non-production resources when not needed
2022-06-15
