FStar
An ML-like language aimed at program verification
Show HN: Summora – Everything, in summary
2023-05-08
Spacetime: Real and Physical, or a Calculational Tool?
2023-05-08
VR Cam caught some footage as SuperHeavy rocked SpaceX Starbase
2023-05-08
Neutron star's X-rays reveal 'photon metamorphosis'
2023-05-08
It is starting to get strange
2023-05-08
A startup ushered thousands of Indian women into gig work, for better and worse
2023-05-08
A Star Wars Film Made in a Wes Anderson Aesthetic
2023-05-08
Feedback: Landing Page Builder for Startups
2023-05-08
How to design software architecture for startups
2023-05-08
Show HN: Play SineRider, a math puzzle game built by teenagers at Hack Club
2023-05-08
