An adaptable toolkit to build APIs and agents, with friendly interfaces for streaming, multimodality and integrations
dev.toยท4hยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Flag this post
Concurrency Step-by-Step: Conforming to Protocols
massicotte.orgยท19hยท
Discuss: Hacker News
๐Ÿ”ฌRefinement Types
Flag this post
Speedrunning an RL Environment
sidb.inยท6hยท
Discuss: Hacker News
โš”๏ธ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
Infrastructure Should Be Inferred, Not Written (and LLMs Are Why)
ivan.codesยท1hยท
Discuss: Hacker News
๐Ÿ”’WASM Capabilities
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.comยท8hยท
Discuss: Hacker News
๐Ÿ”’Type Safety
Flag this post
JS/TS Functions Orchestrator
github.comยท8hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Flag this post
Grounding LLMs with Symbolic Planning
theelderscripts.comยท3hยท
Discuss: Hacker News
โš”๏ธLean Tactics
Flag this post
The New Calculus of AI-based Coding
blog.joemag.devยท2hยท
Discuss: Lobsters
๐Ÿ”„Reproducible Builds
Flag this post
WebAssembly: Yes, but for What?
cacm.acm.orgยท5h
๐Ÿ•ธ๏ธWASM Archives
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.devยท5hยท
๐ŸงชBinary Fuzzing
Flag this post
Pepsi, when they don't have coke
bitecode.devยท1d
๐ŸŒ€Brotli Internals
Flag this post
Show HN: Rethinking the Interface for Vibe Coding
mauriciogomes.comยท5hยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Flag this post
OpenTelemetry Collector: The Backbone of Modern Observability Pipelines
blog.devops.devยท7h
๐Ÿ‘๏ธSystem Observability
Flag this post
Show HN: Zimic: TypeScript-first HTTP integrations
zimic.devยท22hยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Flag this post
A hard rain's a-gonna fall: decoding JSON in Rust
bitfieldconsulting.comยท6h
๐Ÿ”งBinary Parsers
Flag this post
Programming Languages as Languages (2014)
programmingzen.comยท23hยท
๐Ÿ’ปProgramming languages
Flag this post