F#
Strongly-typed, functional-first programming language for writing simple code to solve complex problems
GPT based tool that writes the commit message for you
2022-12-11
Formalizing 100 Theorems
2022-12-11
Trolley Parks, the precursors to amusement parks
2022-12-11
What does a construction failure have to do with our authorities?
2022-12-11
Beyond Functional Programming: The Verse Programming Language [pdf]
2022-12-11
Finding JIT Optimizer Bugs Using SMT Solvers and Fuzzing
2022-12-11
Apple’s Plans for Car and AR Headset Reflect More Pragmatic Era
2022-12-11
Getting a Psion 5 palmtop from 1997 online via PPP (and a Raspberry Pi)
2022-12-11
Serial experiments lain tribute (sound)
2022-12-11
Ask HN: Is there a structure for startups where you can have 50 founders?
2022-12-11
