📐 TLA+

Formal Methods, Distributed Algorithms, Model Checking, Correctness

Feeds to Scour
SubscribedAll
Scoured 76621 posts in 283.9 ms
DCP-o-matic • CPL as compositions and multiple CPLs
dcpomatic.com·10h
📚libbpf
FOSDEM 2026
hack.org·1h
🥑Avro
How we cut Vertex AI latency by 35% with GKE Inference Gateway
cloud.google.com·7h
⏰Timely Dataflow
Implementing Automated Rules-Based Evaluations for LLM Applications
github.com·1d·
Discuss: DEV
🦙Ollama
On the Reachability Problem for One-Dimensional Thin Grammar Vector Addition Systems
arxiv.org·20h
🔨Compiler Design
Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
arxiv.org·2d
🎭Program Synthesis
tarek-clarke/resilient-rap-framework: To test the viability of a resilient analytical pipeline for clinical and sports health telemetry
github.com·1d·
Discuss: Hacker News
📡SonarQube
Boundary Engineering
cabreza.substack.com·6h·
Discuss: Substack
⚓Anchors
Taming the Regex Monster: Optimizing Massive Literal Alternations
modern-c.blogspot.com·1d·
Discuss: r/golang
🔤Suffix Automata
Exactly Once Operations: Why Idempotency Belongs in the Business Layer
equatorops.com·7h·
Discuss: Hacker News
🔒Two-Phase Locking
Automatic Programming
notes.billmill.org·1d
🎭Program Synthesis
The Sandbox Explosion
daax.dev·8h·
Discuss: Hacker News
🎆Firecracker
Building Production-Grade AI Systems: The Observability Library That Actually Works
medium.com·1d·
Discuss: Hacker News
🔍DTrace
How to effectively write quality code with AI
heidenstedt.org·8h·
Discuss: Hacker News
🎭Program Synthesis
Deterministic AI: Reclaiming Predictable Latency with Rust and Zero-Cost Abstractions
dev.to·11h·
Discuss: DEV
🦀Rayon
My Current AI Coding Workflow
jonathannen.com·15h
🤖Automation
**Python Techniques for Complete Machine Learning Model Lifecycle Management**
dev.to·7h·
Discuss: DEV
🚀MLOps
Michael Tsai - Blog - LLMs and Software Development Roundup
mjtsai.com·4h
💬Prompt Engineering
Waterloo Style
theprogrammersparadox.blogspot.com·7h·
Discuss: Hacker News
⚙️Systems Programming
The 10-Layer Monitoring Framework That Saved Our Clients From 3 a.m. Pages
devops.com·17h
🔭Tracing

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