⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Optimal Plan Generation via Hierarchical Temporal Logic & Probabilistic Model Composition
dev.to·18h·
Discuss: DEV
🔲Cellular Automata
Beyond the Hype: Why Your AI Assistant Might Be Sabotaging Your Architecture
medium.com·4h·
Discuss: Hacker News
🌐Protocol Synthesis
Developer-LLM Conversations: An Empirical Study of Interactions and Generated Code Quality
arxiv.org·5h
💻Programming languages
ISO C++ committee has a new chief sheep herder
shape-of-code.com·10h
📜Proof Carrying Code
OpenAI Model Spec
model-spec.openai.com·6h·
Discuss: Hacker News
🔒WASM Capabilities
The Capability-Tractability Tradeoff (2023)
buttondown.com·2d·
Discuss: Hacker News
💧Liquid Types
LangChain, LangGraph, and LangSmith: Untangling the Confusion
dev.to·8h·
Discuss: DEV
✨Effect Handlers
Lessons from using AI in Discovery
thoughtbot.com·9h
🕵️Metadata Mining
Compartmentalised Agentic Reasoning for Clinical NLI
arxiv.org·5h
🔢Denotational Semantics
The State of Adversarial Prompts
blog.securitybreak.io·1d
🎯Threat Hunting
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·5h
🎯Performance Proofs
Temporal Preferences in Language Models for Long-Horizon Assistance
arxiv.org·5h
💻Programming languages
How to Stop Your Event-Driven Architecture from Turning into Chaos
boyney123.substack.com·1d·
Discuss: Substack
🌊Streaming Systems
The mistake I made with my first AI Agent (and the simpler fix)
reddit.com·9h·
Discuss: r/artificial
⚔️Lean Tactics
Disaggregated Inference at Scale with PyTorch and VLLM
pytorch.org·1d·
Discuss: Hacker News
⚡LZ4 Streaming
The Data Backbone of LLM Systems
infoq.com·3d·
Discuss: Lobsters
🔗Constraint Handling
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·3d·
Discuss: Hacker News
💧Liquid Types
built fasterpc bc i was frustrated with the usual distributed service comms, no more rest apis, or heavy MQs
github.com·11h
⚡gRPC
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·11h·
Discuss: r/programming, r/rust
🧮Z3 Solver
Teaching AI to Blog: My Journey into Agentic AI Development — Part 1
dev.to·21h·
Discuss: DEV
⚡Proof Automation