⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Kiro and the future of AI spec-driven software development
kiro.dev·21h·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·8h
📏Linear Logic
Issue 481
haskellweekly.news·12m
🔗Functional Compilers
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
How to Architect a Scalable Agentic AI System: Tools, Frameworks, and Best Practices
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
A distributed systems reliability glossary
antithesis.com·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
How to actually use Model Context Protocol
seangoedecke.com·12h
⚡Proof Automation
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·3h·
Discuss: Hacker News
🏛Digital humanities
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·4h
🔄Reproducible Builds
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·16h·
Discuss: Hacker News
✨Algebraic Effects
Migrating over 30 lambdas from Serverless Framework with LLMs
intmaker.com·2h·
Discuss: Hacker News
🦋Format Metamorphosis
Software is Never Done: Embracing Constant Evolution and Change will Result in a Better System
itnext.io·20h
🔄Language Evolution
TRiSM for Agentic AI
infosecwriteups.com·2d
🌳Archive Merkle Trees
Reflecting on PLDI 2025
people.csail.mit.edu·3d·
Discuss: Hacker News
🌐Protocol Synthesis
“It’s a tectonic change” - AWS AI head calls agents "the most impactful change we've seen since the dawn of the internet"
techradar.com·19h
🌊Streaming Systems
Rust is a great fit for the agentic era
kerkour.com·1d·
Discuss: Hacker News
🦀Rust Macros
Starting Project Now? My 2025 Tech Stack for Full Stack Development
hackernoon.com·5h
🔌Interface Evolution
The Impact of Prompt Bloat on LLM Output Quality
mlops.community·52m·
Discuss: Hacker News
✨Effect Handlers
Rethinking Distributed Computing for the AI Era
cacm.acm.org·17h
⚡Incremental Computation
Effective Practices for Coding with a Chat-Based AI
infoq.com·12h·
Discuss: Hacker News
🔄Language Evolution