Session Types, Communication Safety, Distributed Systems, Type-driven Development
How To Prepare Your API for AI Agents
thenewstack.io·8h
Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·13h
Song recommendations from F# combinators
blog.ploeh.dk·2d
simplex-chat/simplexmq
github.com·20h
A Standard for Human-Centered Investigation Playbooks
chrissanders.org·3h
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·5d
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·5h
Loading...Loading more...