⚖️ Invariants

Design by Contract, Preconditions, Postconditions, Runtime Assertions

Feeds to Scour
SubscribedAll
Scoured 130 posts in 31.1 ms
Agentic Proof-Oriented Programming
risemsr.github.io·2d·
Discuss: Lobsters, Hacker News
λFunctional Programming
codx-dev/msgpacker: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com·1d·
Discuss: Hacker News
🔍Static Analysis
Build a Compiler in Five Projects
kmicinski.com·11h
🏗️Compiler Design
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
🏗️Language Design
Securing GenAI: Vol. 8 — Deploying AI apps securely
pub.towardsai.net·19h
⏱️Tokio
Multi-Paxos – Consensus in Distributed Databases
arpitbhayani.me·1d·
Discuss: Hacker News
🔓Lock-free Algorithms
Processes and Threads - Discourse on Concurrency, Part I
ayanmali.substack.com·1d·
Discuss: Substack
🔓Lock-free Algorithms
My Current AI Coding Workflow
jonathannen.com·1d
🤖AI
Mad Rust: The JVM Developer's Journey. Kotlin/Java Developer's Road to Valhalla
sobolev.substack.com·4d·
Discuss: Substack
λFunctional Programming
Building a Claude Code skill
sevalla.com·3d
🔍Static Analysis
michaelhelvey/lilfuture: Educational async runtime for Rust
github.com·2d
🧩Monads
Durable Execution: Build reliable software in an unreliable world
thenewstack.io·4d·
Discuss: Hacker News
⏱️Tokio
AI Cost Considerations Every Engineer Should Know
vantage.sh·4d·
Discuss: Hacker News
📈Incremental Computation
AI Safety at the Frontier: Paper Highlights of January 2026
lesswrong.com·4d
🔑Capability-based Security
How LSP Works: Building a Grammar Checker LSP from Scratch in Rust
aroy.sh·4d·
Discuss: Hacker News
🏗️Compiler Design
🎲 Additional Thoughts about the Command Pattern
jonathan-frere.com·5d
🧵Coroutines
Lambda cube
en.wikipedia.org·5d·
Discuss: Lobsters
🔗Dependent Types
CP Systems Explained: The Hidden Cost of Strong Consistency
blog.ahmazin.dev·4d·
Discuss: Hacker News
🔓Lock-free Algorithms
Stratum: Architecting a Configurable Cache Simulator with C++ and Racket
thecloudlet.github.io·6d·
Discuss: Hacker News
⚡Cache Optimization
Writing an Async Runtime in Rust
michaelhelvey.dev·4d·
Discuss: Lobsters, Hacker News
⏱️Tokio

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