FStar
An ML-like language aimed at program verification
Metalenz Wants to Jump-Start Phone Cameras Again with Better Lenses
2021-02-08
Ask HN: Does Apple Silicon (M1) support ECC memory?
2021-02-07
DVD-Drive Based Laser Scanning Microscope
2021-02-07
Why Startup Consulting Is a Bad Idea
2021-02-07
Senior Back End Software Engineer (Remote)
2021-02-07
SpaceX filing reveals Starlink internet service has over 10k users
2021-02-07
Lessons Learned from My Last Startup: A Post Mortem
2021-02-07
Is it possible to be a successful entrepreneur without being a sociopath?
2021-02-07
Ask HN: How do I minimize regret selling early?
2021-02-07
Show HN: Send emails from your mobile app, without a server
2021-02-07
