📐 TLA+

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

Feeds to Scour
SubscribedAll
Scoured 20696 posts in 279.7 ms
Production pain points and coordination patterns from building a dual-orchestrator (Claude + Kimi) system on Claude Code. 8 failure modes with specs and invariants.
gist.github.com·1d·
Discuss: Hacker News
🌐Distributed systems
Abstract Framework for All-Path Reachability Analysis
arxiv.org·3d
📏Linear Types
Home
eventhorizonarchitecture.org·4h
💾Persistence Strategies
creact-labs/creact: CReact is a meta-runtime for building domain-specific, reactive execution engines.
github.com·20h·
Discuss: r/node, r/reactjs
🦀Rust Web Services
Recursive Deductive Verification: A framework for reducing AI hallucinations
news.ycombinator.com·11h·
Discuss: Hacker News
🧠LLM Inference
🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·3d
⚙Rust Compiler Internals
My Workflow for Agentic Coding
szymonkrajewski.pl·1h
🛡️Open Policy Agent
The Future of Software Engineering
poberezkin.com·5h·
Discuss: Hacker News
🪄Prompt Engineering
Software Engineering with AI: Beyond Vibe-Coding
principalengineer.com·10h
👨‍💻AI Coding
Fail Fast, Refactor Often - Escaping the Defensive Terraform Trap
blog.techdecline.dev·4h
💾Persistence Strategies
Agentic Proof-Oriented Programming
risemsr.github.io·3d·
Discuss: Lobsters, Hacker News
🧮SMT Solvers
CEO Interview with Dr. Raj Gautam Dutta of Silicon Assurance
semiwiki.com·5h
💻Chips
AWS Lambda with Rust and Closure Syntax
aws.amazon.com·6h·
Discuss: r/rust
🦀Rust
AI Workflows
chatprd.ai·8h
👨‍💻AI Coding
The Terraform Stack Language
log.martinatkins.me·4h
🌐Axum
Build a Compiler in Five Projects
kmicinski.com·1d
⚙Rust Compiler Internals
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·2d·
Discuss: Hacker News
💻Programming languages
Thread by @ClaudeCodeLog on Thread Reader App
threadreaderapp.com·1d
🔌Claude Plugins
ericblue/claude-vibekanban: PRD-to-Tasks Workflow for Claude Code + VibeKanban
github.com·1h·
Discuss: Hacker News
🔌Claude Plugins
Four Godot+Rust tricks
blog.lokkij.com·14h
⚙Rust Compiler Internals

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help