Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.com·2d
🔄Reproducible Builds
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
How To Prepare Your API for AI Agents
thenewstack.io·4h
🔌Interface Evolution
Agentic Workflows Are Just Code – Treat Them That Way
restate.dev·1d·
Discuss: Hacker News
⚙️TLA+
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·12h
📝Concrete Syntax
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·9h·
Discuss: Hacker News
🧩WASM Modules
Threaded Code
muforth.dev·7h·
Discuss: Hacker News
🦀Rust Macros
PEGTL -- Parsing Expression Grammar Template Library
github.com·19h·
Discuss: Hacker News
🔗Parser Combinators
Lessons from LangChain and Slack and MCP Integration
medium.com·21h·
Discuss: Hacker News
🔗Topological Sorting
BNFGen: A random text generator based on context-free grammars
baturin.org·34m·
Discuss: Hacker News
🌳Context free grammars
8 Essential Python Patterns for Building Bulletproof APIs That Scale
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·7h·
Discuss: Hacker News, r/programming
🔗Lisp
higher: Your favourite Haskell type classes for Rust (2023)
github.com·4d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Creating Truly Custom Events for Web Components
dev.to·5h·
Discuss: DEV
📞Session Types
Discover C++26’s compile-time reflection
lemire.me·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp, r/programming
🦀Rust Macros
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·14h
🔗Topological Sorting
Reducing tool calling error rates for OpenAI, Anthropic, and Gemini models
mastra.ai·3d·
Discuss: Hacker News
✅Format Verification
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·10h
⬆️Lambda Lifting
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·10h·
Discuss: DEV
⚡Performance Tools
FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
arxiv.org·1d
📏Code Metrics