FStar
An ML-like language aimed at program verification
Squishy Neutron Star Setback Dampens Hopes of Exotic Matter
2021-06-01
The US military is starting to get interested in Starship
2021-06-01
Show HN: What popular startup sites looked like when they launched
2021-06-01
Developer (iOS or Android or C++ or Node.js or Vue.js or Flutter)- Remote/Europe
2021-06-01
Ask HN: How much time per week for a part-time PhD in AI?
2021-06-01
A Digital Afterlife
2021-06-01
The Hot-Swap Startup
2021-06-01
Ask HN: How to split equity with a slightly later co-founder?
2021-06-01
Rust for Fsharpers and F# for Rustaceans
2021-06-01
Electreon wireless' electric roads in Tel Aviv to charge cars on the go
2021-05-31
