FStar
An ML-like language aimed at program verification
Green steel startup Boston Metal raises $120M for its fossil-free tech
2023-01-29
Ask HN: Interesting courses/books to counter a looming burnout?
2023-01-29
If you have a DevOps culture, you should strongly consider implementing Terrafo
2023-01-29
The Original Star Wars Trilogy Adapted into a 14-Hour Radio Drama by NPR (2020)
2023-01-29
Why More Physicists Are Starting to Think Space and Time Are ‘Illusions’
2023-01-29
Ask HN: What LLM and AI things will happen in the first half of 2023?
2023-01-29
Ask HN: How do I learn to engineer HFT systems from first principles?
2023-01-29
GPT-Index vs. Langchain
2023-01-29
Ask HN: What is the “most powerful” language in 2023
2023-01-29
Starling Medical’s new urine-testing device turns toilet into health tracker
2023-01-29
