⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
🌊Streaming Systems
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
Cactus Language • Syntax 12
inquiryintoinquiry.com·2h
📝Concrete Syntax
How To Prepare Your API for AI Agents
thenewstack.io·5h
🔌Interface Evolution
Design Patterns After the Singularity: Rethinking the Gang of Four for an AI-Driven Stack
dev.to·1d·
Discuss: DEV
✨Algebraic Effects
Generative AI Exacerbates Software Supply Chain Risks
darkreading.com·4h
🔒WASM Capabilities
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·2h
💻Local LLMs
LLM Agent Lineages with Active Death and Rebirth
danieltan.weblog.lol·1d·
Discuss: Hacker News
🌳Context free grammars
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·18h
🧮Prolog Parsing
5 huge stumbling blocks to legacy mainframe EOL
techradar.com·11h
🏛️Mainframe Archaeology
PEGTL -- Parsing Expression Grammar Template Library
github.com·19h·
Discuss: Hacker News
🔗Parser Combinators
ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·45m·
Discuss: Hacker News
⚡Proof Automation
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·6h·
Discuss: Hacker News
🔗Constraint Handling
Agentic Workflows Are Just Code – Treat Them That Way
restate.dev·1d·
Discuss: Hacker News
🌊Stream Processing
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
My agentic coding methodology of June 2025
blog.fsck.com·1d
⚡Proof Automation
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·22h
💾Persistence Strategies
Why Dyad?: A Perspective for Modelica Users
juliahub.com·3h·
Discuss: Hacker News
💧Liquid Types
Building Agentic Workflows for my HomeLab
abhisaha.com·1d·
Discuss: Hacker News, r/javascript, r/selfhosted, r/webdev
🏠Homelab Orchestration