๐Ÿ” Introducing EMCL โ€“ A Secure Protocol for AI Agents to Call Tools
dev.toยท6hยท
Discuss: DEV
๐ŸŒNetworkProtocols
Functional Abstract Interpretation
simon.peytonjones.orgยท21hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
A distributed systems reliability glossary
antithesis.comยท6hยท
Discuss: Lobsters, Hacker News, r/programming
โœ…Archive Fixity
FSM Library for Embedded C Projects
hackster.ioยท1d
๐Ÿฆ€Embedded Rust
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.comยท4h
๐ŸŽฏGradual Typing
Reflecting on PLDI 2025
people.csail.mit.eduยท2dยท
Discuss: Hacker News
โš™๏ธPL Implementation
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.itยท21hยท
Discuss: Hacker News
๐Ÿ”Type Inference
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.orgยท1d
๐Ÿง Computational Logic
Song recommendations with pipes and filters
blog.ploeh.dkยท1d
ฮปLambda Formalization
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.ilยท25mยท
Discuss: Hacker News
๐ŸŽฏInteractive Provers
Show HN: From Zod schema to agent-ready MCP server โ€“ minimal, typed, deployable
github.comยท7hยท
Discuss: Hacker News
๐Ÿ”CBOR
A Rust shaped hole
ente.ioยท1d
๐Ÿฆ€Rust Macros
The Future of AI Agent Communication with ACP
towardsdatascience.comยท5h
๐Ÿ”ŒInterface Evolution
An LLM Router That Thinks Like an Engineer
medium.comยท4hยท
Discuss: Hacker News
๐Ÿ“กBGP Archaeology
Alignment
languagelog.ldc.upenn.eduยท2h
๐Ÿ”„Language Evolution
Show HN: Kannel SMS gateway fork with WAP removed
sysadmin.lolยท1dยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
MCP: A Practical Security Blueprint for Developers
thenewstack.ioยท1h
๐Ÿ”“Hacking
Python Fundamentals: build
dev.toยท9hยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.orgยท2d
๐ŸŒDNS Security
Reflections on OpenAI
simonwillison.netยท4h
๐Ÿš€Indie Hacking