An adaptable toolkit to build APIs and agents, with friendly interfaces for streaming, multimodality and integrations
๐Streaming Systems
Flag this post
Speedrunning an RL Environment
โ๏ธLean Tactics
Flag this post
Dependent Session Types for Verified Concurrent Programming
arxiv.orgยท4d
๐Session Types
Flag this post
Thompsonโs Reflections on Trusting Trust revisited
irreal.orgยท4h
๐Hacking
Flag this post
Walking and Talking in the Woods with AI: The Future of Untethered Software Development
zackproser.comยท20h
๐CLI Design
Flag this post
Building Better Software: Why Workflows Beat Code Every Time โข Ben Smith & James Beswick โข GOTO 2025
youtube.comยท7h
๐Reproducible Builds
Flag this post
Infrastructure Should Be Inferred, Not Written (and LLMs Are Why)
๐WASM Capabilities
Flag this post
Grounding LLMs with Symbolic Planning
โ๏ธLean Tactics
Flag this post
WebAssembly: Yes, but for What?
cacm.acm.orgยท5h
๐ธ๏ธWASM Archives
Flag this post
Pepsi, when they don't have coke
bitecode.devยท1d
๐Brotli Internals
Flag this post
OpenTelemetry Collector: The Backbone of Modern Observability Pipelines
blog.devops.devยท7h
๐๏ธSystem Observability
Flag this post
A hard rain's a-gonna fall: decoding JSON in Rust
bitfieldconsulting.comยท6h
๐งBinary Parsers
Flag this post
Loading...Loading more...