FStar
An ML-like language aimed at program verification
Starlink Satellites Ruining View of Space Telescopes: ‘It’s Getting Worse’
2023-03-06
Launch HN: Vellum (YC W23) – Dev Platform for LLM Apps
2023-03-06
Startups Want to Cash in on the US Student Debt Crisis
2023-03-06
Musk’s bid to start Neuralink human trials denied by FDA in 2022, report says
2023-03-06
Diablo 2 “Perspective Mode”
2023-03-06
Customizing the startup chime on a 1999 G3 iMac
2023-03-06
How to solve a pricing conundrum with my app?
2023-03-06
LLaMA 65B endlessly writing Star Trek fanfics
2023-03-06
Sleek 3D-printed home that starts at under $300k and took just weeks to build
2023-03-06
Show HN: GraphAr – Open-source file format for archiving/exchanging graph data
2023-03-06
