FStar
An ML-like language aimed at program verification
Launch HN: Serenade – Write code using natural speech
2020-11-23
The ins and outs of Starlink: Internet from the sky
2020-11-23
Saying “No” to Unethical Tasks
2020-11-23
ScummVM: Big adventures ahead – Little Big Adventures
2020-11-23
Indie dev builds and sells two startups, continues building
2020-11-23
Super Strict KOtlin codestyle: give us a star
2020-11-23
I can't find a job in Haskell or Rust. Do I start a company?
2020-11-23
I can't find a job in Haskell or Rust. Do I start a company?
2020-11-23
Show HN: Watch a full demo of fsKube: Your full-stack Kubernetes enabler on AWS
2020-11-23
Iconic Star Wars Book Author Claims Disney Owes Him 4 Years of Overdue Royalties
2020-11-23
