FStar
An ML-like language aimed at program verification
Star Wars enthusiasts build a life-size replica of X-wing starfighter
2021-10-16
Six Designs That White People Never Notice Are Racist
2021-10-16
Ask HN: How do large private infrastructure projects get started?
2021-10-16
Ten Steps to Find the Magic in Your Startup
2021-10-16
Ask HN: How do you improve the performance of IntelliJ IDEs?
2021-10-16
Today’s Tech Founders Don’t Just Own the Company. They’re Also Getting Pay
2021-10-16
We Just Got Closer to Pinpointing a Major Moment in Earth's Evolutionary History
2021-10-16
You can pre-order Microsoft's official Xbox Series X mini fridge next week
2021-10-16
Why I have deleted my Producthunt account
2021-10-16
Ask HN: Would you show up to an adult math circle?
2021-10-16
