FStar
An ML-like language aimed at program verification
AI startup Boomy is offering an 80% royalty revenue share with its musicians
2021-08-23
A Game Art Trick: Don’t Starve, Diablo – Parallax 7
2021-08-21
Project Jupyter Celebrates 20 Years, Fernando Pérez Reflects on How It Started
2021-08-21
Legal/compliance baseline for public-facing hobby projects?
2021-08-21
Launch HN: Fella (YC W20) – Tackling men's obesity using medication and coaching
2021-08-21
I Moved to Warsaw, Poland from Palo Alto, California
2021-08-20
Moderna to start first human trials of mRNA HIV vaccine
2021-08-20
3 ways an engineering manager’s role differs between a startup and a corporate
2021-08-20
Show HN: FreeBoardGames.org – FOSS platform for publishing boardgame.io games
2021-08-20
Lambda School ISA terms have a 5 year enforcment term. How is that justifiable?
2021-08-20
