Session Types, Communication Safety, Distributed Systems, Type-driven Development
How To Prepare Your API for AI Agents
thenewstack.io·4h
Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·9h
simplex-chat/simplexmq
github.com·16h
Song recommendations from F# combinators
blog.ploeh.dk·2d
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·4d
Loading...Loading more...