FStar
An ML-like language aimed at program verification
Hubble Finds the Most Distant Star Ever Seen
2022-03-30
Starling Lab, a moonshot project to preserve the world’s most important data
2022-03-30
Startup focusing on employee retention lands $1.9M from Valley, Triangle backers
2022-03-30
Ask HN: How do you sell DIY hardware to non-DIY audience?
2022-03-30
Show HN: Code reviews intimidated me, so I built a course on how to master them
2022-03-30
“Startup idea: Coinbase but show users the cost basis for all their holdings”
2022-03-30
The wrong way to start a blog
2022-03-30
Hubble Space Telescope spots most distant single star ever seen
2022-03-30
Operass Giant Leap into Web3: Integrates Solana, Polygon, StarkEx, and Others
2022-03-30
How much equity should I give for a CEO of my startup?
2022-03-30
