Typechecker Zoo
stephendiehl.comยท1dยท
Discuss: Lobsters
๐Ÿ”Type Inference
Golang Concurrency: How to use Mutexes
cookie.engineerยท2h
๐Ÿ“žSession Types
Multiple Reachability in Linear Dynamical Systems
arxiv.orgยท1d
๐Ÿ”„Finite State Machines
Haskell Crash Course
yager.ioยท3d
๐Ÿ”—Lisp
Beyond `?`: Why Rust Needs `try` for Composable Effects
reddit.comยท2dยท
Discuss: r/rust
๐ŸšShell Monads
GSlip โ€“ GNU SLIP (Symmetric LIst Processor) in C++
gnu.orgยท2dยท
Discuss: Hacker News
โœ…Format Verification
The theorem on formal functions
math.columbia.eduยท22h
โš”๏ธLean Theorem
Typechecker Zoo
sdiehl.github.ioยท1dยท
Discuss: Lobsters, r/programming
ฮปLambda Formalization
Agentic Coding and the Weakness of Extensions for IDEs
thenewstack.ioยท6h
๐Ÿš€Indie Hacking
DoodlePi: a Raspberry Pi Pico Pixel Art Drawing Toy
hackster.ioยท12h
โšกHomebrew CPUs
How to Build Abstractions in Rust Applications (2023)
orodu.netยท2dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿฆ€Rust Borrowing
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.meยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”—Functional Compilers
Balancing Coupling in Software Design โ€ข Vlad Khononov & Sheen Brisals
youtube.comยท1d
๐ŸงฉWASM Components
Knowledge and Common Knowledge in a Distributed Environment, Part 1
emptysqua.reยท3d
๐Ÿ”ฒCellular Automata
I let LLMs write an Elixir NIF in C; it mostly worked
overbring.comยท1dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Autonomous Fleet Routing Optimization via Multi-Constraint Bayesian Optimization and Digital Twin Simulation
dev.toยท38mยท
Discuss: DEV
โšกZ3 Optimization
FSM for Python, Inspired by Gen_fsm
github.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Finite State Machines
Understanding Go Error Types: Pointer vs. Value
blog.fillmore-labs.comยท1d
๐Ÿ“œProof Carrying Code
Go Interfaces: Favoring Composition Over Inheritance (With a Dash of Common Sense)
hackernoon.comยท3d
๐Ÿ’งLiquid Types
Connecting A Fresh Node
tedium.coยท4h
๐Ÿ–ฅ๏ธTerminal Renaissance