Specification Language, Distributed Systems, Temporal Logic, System Modeling

Feeds to Scour
SubscribedAll
Scoured 15587 posts in 178.1 ms
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.org·1d
⚖️Verification Calculi
Preview
Report Post
Making a Language
thunderseethe.dev·8h
🛠Language Design
Preview
Report Post
Simplex, a workflow specification language for autonomous agents
github.com·1d·
Discuss: Hacker News
⚖️Hoare Logic
Preview
Report Post
Krish Naik: Industry ready AI projects With Deployment
dev.to·2h·
Discuss: DEV
📡RSS Automation
Preview
Report Post
Architecting Cloud-Native Ambient Agents: Patterns for Scale and Control
next.redhat.com·16h
🏠Homelab Orchestration
Preview
Report Post
Recap of ELISA Project at Linux Plumbers Conference: Tokyo, Japan 2025
elisa.tech·11h
🔍eBPF
Preview
Report Post
Aiming for AI Interoperability: Challenges and Opportunities
arxiv.org·1h
🎙️Whisper
Preview
Report Post
Conversation: LLMs and the what/how loop
martinfowler.com·15h
🧩WASM Components
Preview
Report Post
Using Strands Agents to create a multi-agent solution with Meta’s Llama 4 and Amazon Bedrock
aws.amazon.com·12h
🔗Archive Combinators
Preview
Report Post
How AI brings the OSCAR methodology to life in the SOC
intezer.com·15h
🌊Stream Processing
Preview
Report Post
Evolution of LLMs use by a programmer
asfaload.com·13h·
Discuss: Hacker News
🧩WASM Components
Preview
Report Post
Enabling autonomous agents with environment virtualization
thenewstack.io·8h
🤖Network Automation
Preview
Report Post
Vibe coding is a moving target (so don’t marry the tool)
nothingeasyaboutthis.com·4h
Effectful Programming
Preview
Report Post
Show HN: Upgrade from Ralph to Eric for a more autonomous AI
dbuild.dev·1d·
Discuss: Hacker News
🌀Brotli Internals
Preview
Report Post
A distributed systems reliability glossary
antithesis.com·2d
📝Database WAL
Preview
Report Post
LLMs in the SOC (Part 1) | Why Benchmarks Fail Security Operations Teams
sentinelone.com·1d
🎯Performance Forensics
Preview
Report Post
How to build AI agents that don’t break at scale
techradar.com
·15h
💾Persistence Strategies
Preview
Report Post
Tool Calling in LLMs: How Models Talk to the Real World
dev.to·11h·
Discuss: DEV
Incremental Computation
Preview
Report Post
On the way to step functions: the two worlds
blog.julik.nl·2d
🐚Shell Calculus
Preview
Report Post
We’re all VCs now: The skills developers need in the AI era
lerner.co.il·15h
🔄Language Evolution
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