FStar
An ML-like language aimed at program verification
Ask HN: What changes to ESOPs ownership for employees would you like to see?
2021-03-05
Ask HN: List of failed Smart Fridge startups?
2021-03-05
Test to Learn: “Go”; Session#1 to pickup Golang by starting to write tests
2021-03-05
Ask HN: How effective would it be to charge SaaS using only cryptocurrencies?
2021-03-05
Seer: The start of a more powerful, flexible, accessible era for computer vision
2021-03-05
L.A. startup is building tiny injectable robots to attack tumors
2021-03-05
Ask HN: Was anyone else overwhelmed when first learning how to code?
2021-03-05
Getting Started with Raspberry Pi Pico – MicroPytho
2021-03-05
The Scripted Dialogue on Pawn Stars
2021-03-05
Ask HN: What is your current side-project?
2021-03-04
