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
JS/TS Functions Orchestrator
🔗Concatenative Programming
Flag this post
Grounding LLMs with Symbolic Planning
⚔️Lean Tactics
Flag this post
The New Calculus of AI-based Coding
🔄Reproducible Builds
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...