📐 TLA+

Formal Specification, Model Checking, Distributed Systems Verification, Temporal Logic

Feeds to Scour
SubscribedAll
Scoured 1229 posts in 29.4 ms
A Validated Semantics for LLVM IR
sf.snu.ac.kr·14h
💻Programming languages
Preview
Report Post
🎲 Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·10h
🌊Async Patterns
Preview
Report Post
A Farmer Doesn’t Know Coding, But Tries to Build an Executing Engine with LLMs and a Code Interpreter
reddit.com·13h·
Discuss: r/LocalLLaMA
🪄Prompt Engineering
Preview
Report Post
CVE-2025-68260: rust_binder: fix race condition on death_list
lore.kernel.org·4h·
Discuss: Hacker News
✨Astral Tools
Preview
Report Post
Introducing the XLab AI Security Guide
lesswrong.com·9h
🛡️AI Security
Preview
Report Post
No, Small Models Are Not the "Budget Option" (English)
mostlylucid.net·57m
🏗️LLM Infrastructure
Preview
Report Post
Show HN: IntentusNet – Deterministic Execution and Replay for AI Agent Systems
news.ycombinator.com·11h·
Discuss: Hacker News
🆕New AI
Preview
Report Post
The 3 a.m. Call That Changed The Way I Design APIs
thenewstack.io·8h
🔌API Design Theory
Preview
Report Post
Friendly Little Wrapper Types — Sympolymathesy, by Chris Krycho
v5.chriskrycho.com·3h
📘Typescript
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.org·7h
💻Programming languages
Preview
Report Post
The Unreasonable Effectiveness of an LLM Agent Loop with Tool Use
philz.dev·11h
🕳LLM Vulnerabilities
Preview
Report Post
Show HN: AgentCmds – A directory of slash commands for AI agents
agentcmds.work·15h·
Discuss: Hacker News
🔄GitHub Actions
Preview
Report Post
Thread by @theresanaiforit on Thread Reader App
threadreaderapp.com·3h
🦙Ollama
Preview
Report Post
Linux perf Examples
brendangregg.com·17h
⚡Systems Performance
Preview
Report Post
Your Team Uses AI. Why Aren't You 10x Faster?
bits.logic.inc·6h·
Discuss: Hacker News
🏆LLM Benchmarking
Preview
Report Post
Department of Computer Science and Technology – Technical reports: UCAM-CL-TR-949
cl.cam.ac.uk·4h·
Discuss: Hacker News
⚙️Mechanical Sympathy
Preview
Report Post
The production bug that made me care about undefined behavior
gaultier.github.io·16h·
Discuss: Hacker News, r/programming
⚙Rust Compiler Internals
Preview
Report Post
Zen-GC – policy-driven K8s garbage collection for automated cleanup
github.com·10h·
Discuss: Hacker News
💾Prompt Caching
Preview
Report Post
10 tools every developer needs in 2026
grokkingtechcareer.substack.com·13h·
Discuss: Substack
🔧Developer tools
Preview
Report Post
5 Key Trends Shaping Agentic Development in 2026
thenewstack.io·11h
👨‍💻Software development practices
Preview
Report Post