FStar
An ML-like language aimed at program verification
Geothermal startup Quaise raises $40M for ultra-deep drilling
2022-02-08
Free AWS Office Hours for startup founders
2022-02-08
New Startup Quantum Space Is Planning to Build a Robotic Outpost Near the Moon
2022-02-08
SpaceX’s Starship update comes at a critical time for the program
2022-02-08
Spam apps on F-Droid? Endgame?
2022-02-08
Apple Buys Startup That Makes Music with Artificial Intelligence
2022-02-08
Ask HN: How much profits do you reinvest in your own startup?
2022-02-08
University is ending in few days, getting depression
2022-02-08
I built an reactive web application with PHP
2022-02-08
After near-death, Star Trek’s future may be stronger than ever (2018)
2022-02-08
