FStar
An ML-like language aimed at program verification
SpaceX enthusiast designs a 1:110 scale Lego Starship
2021-12-05
Ask HN: Any tips on getting relocation expenses? (NYC)
2021-12-05
Why are FOSS mailing lists heavy on inline-posting when everyone else top-posts?
2021-12-05
Ask HN:Does a startup community like this exist in SF?
2021-12-04
Ask HN: What tech/startup-related newsletters are you subscribed to?
2021-12-04
ReleaseTheJJCut: “Star Wars” Misinformation Hell Is the New Future (2020)
2021-12-04
Personal Data Is Worth Billions. These Startups Want You to Get a Cut
2021-12-04
Powering Starlink on the go with Tesla Model 3
2021-12-04
Ask HN: Where to begin learning how to generate procedural worlds?
2021-12-04
Ask HN: How do you get started with business illustrations?
2021-12-04
