⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Feeds to Scour
SubscribedAll
Scoured 13728 posts in 347.2 ms
The Paradigm Shift from Reactive to Proactive AI in Software Development: A Comparative Analysis of AI IDEs
dev.to·11h·
Discuss: DEV
🔄Language Evolution
Preview
Report Post
BTS of OpenTelemetry Auto-instrumentation
newsletter.signoz.io·18h·
Discuss: Hacker News
👁️System Observability
Preview
Report Post
Investigating Record-Based Domain Models
coding-mischief.com·16h·
Discuss: Hacker News
🔢Denotational Semantics
Preview
Report Post
Build Cheaper, Safer, Auditable AI with SLMs and RAG
thenewstack.io·1d
🌊Stream Processing
Preview
Report Post
From fragmented code to consistent output with AI rules
stromcapital.fi·1d·
Discuss: Hacker News
🔗Constraint Handling
Preview
Report Post
★ ADRs and LLMs
perrotta.dev·14h
🏗️OAIS Model
Preview
Report Post
Nanoservices: Why Serverless Got Architecture Right
mosheshaham.substack.com·5h·
Discuss: Substack
🌊Streaming Systems
Preview
Report Post
Prevent the Robocalypse with Claude Code and TDD
thoughtbot.com·3h
⚔️Lean Tactics
Preview
Report Post
Chronology as a Consistency Invariant in Composable Information Systems
arxiv.org·3d
🔄Lens Laws
Preview
Report Post
Will LLMs Help or Hurt New Programming Languages?
blog.flix.dev·14h·
Discuss: Hacker News
✨Effect Handlers
Preview
Report Post
Show HN: Coi – A compiled-reactive language for high-performance WASM apps
news.ycombinator.com·4h·
Discuss: Hacker News
🧩WASM Components
Preview
Report Post
choosing learning over autopilot
anniecherkaev.com·1d
⚡Incremental Computation
Preview
Report Post
rado-stack/human-in-the-loop-nlp: Event-driven NLP governance architecture using FastStream, Redpanda, and PostgreSQL with auditability, human-in-the-loop control, and ethical safeguards.
github.com·3h·
Discuss: Hacker News
🌀Brotli Internals
Preview
Report Post
Warp Specialization in Triton: Design and Roadmap
pytorch.org·1d·
Discuss: Hacker News
⚡Cache Coherence
Preview
Report Post
The Agent Fallacy
noemititarenco.com·3h·
Discuss: Hacker News
⚡Proof Automation
Preview
Report Post
5 Ways to Get the Best Out of LLM Inference
pub.towardsai.net·8h
💻Local LLMs
Preview
Report Post
Viable Systems: How To Build a Fully Autonomous Agent
timkellogg.me·3d
🔐Capability Systems
Preview
Report Post
Choosing a tech stack in a world where LLMs write all the code
behan.substack.com·10h·
Discuss: Substack
🔄Language Evolution
Preview
Report Post
JEP Draft: Java Thread Sanitizer
openjdk.org·3h·
Discuss: Hacker News
🧪Binary Fuzzing
Preview
Report Post
Towards a Disaggregated Agent Filesystem on Object Storage
penberg.org·13h·
Discuss: Lobsters, Hacker News
💾Storage Replication
Preview
Report Post

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