馃搻 TLA+

Formal Methods, Specification Languages, Model Checking, Temporal Logic, System Verification

Feeds to Scour
SubscribedAll
Scoured 445 posts in 33.1 ms
Custom ESLint rules as AI guardrails: turning repeated mistakes into structural impossibilities
jw.hn路23h路
Discuss: Hacker News, r/SoftwareEngineering, r/coding, r/node, r/typescript
馃攧Eventual Consistency
LLM-CoOpt: A Co-Design and Optimization Framework for Efficient LLM Inference on Heterogeneous Platforms
arxiv.org路15h
馃МSMT Solvers
eVer: Universal and Automated Verification of Side-Channel Security for Additive, Inner Product, Polynomial and General Code-Based Masking
eprint.iacr.org路2d
馃МSMT Solvers
Programming Aphorisms
matklad.github.io路20h路
Discuss: Lobsters, Hacker News
馃МConstraint Solvers
OSTEP Chapter 8
muratbuffalo.blogspot.com路16h路
Discuss: Blogger
馃憫Leader Election
zkAgent: Verifiable Agent Execution via One-Shot Complete LLM Inference Proof
eprint.iacr.org路4d
馃МSMT Solvers
Architectural Foundations for Checkpointing and Restoration in Quantum HPC Systems
arxiv.org路15h
馃Paxos Consensus
Enforcing Code Feature Requirements in C++
artima.com路3d
馃МConstraint Solvers
Show HN: Valk programming language with a stateful GC
github.com路2d路
Discuss: Hacker News, Hacker News, r/coding
鈿欙笍Systems Programming
Grumpy Julio plays with CLI coding agents
blogsystem5.substack.com路2d路
Discuss: Substack
馃攧Incremental Computation
Tip of the Week #141: Beware Implicit Conversions to <code>bool</code>
abseil.io路3d
馃搻E-graphs
The Adventures of a Pythonista in Schemeland/29
artima.com路3d
馃МSMT Solvers
Language Server Protocol from Debug Symbols
forrestthewoods.com路3d
鈿欙笍JIT Compilation
Coroutine Types
abseil.io路3d
馃敁Lock-Free Structures
Print a full-width horizontal line using the current terminal width (custom character supported) Using printf, tr
commandlinefu.com路2h
馃搻E-graphs
The cost of a function call
lemire.me路3d路
Discuss: Lobsters, Hacker News, Hacker News
馃敁Lock-Free Structures
Level up your C++ with Packt books
meetingcpp.com路3d
馃МSMT Solvers
Vibe Coded Scheme Interpreter
funcall.blogspot.com路4d路
Discuss: Blogger
馃搻E-graphs
dustlang/dust: The Dust Compiler
github.com路5d路
Discuss: r/coding, r/programming
馃尦B+ Trees
Dave Farber RIP
lwn.net路1d
馃憫Leader Election

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