Feeds to Scour
SubscribedAll
Scoured 188162 posts in 13.7 ms
The Final Form of Software Development  ⚙️Systems Programming
blog.zksecurity.xyz·4d·Lobsters, Hacker News
HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs  ⚙️Systems Programming
arxiv.org·2d
MyceliaCognition/chaos-prover: Autonomous Neuro-Symbolic formal verification engine for Lean 4.  ⚙️Systems Programming
github.com·1h·Hacker News
Categorical update  📝Programming Languages
logicmatters.net·18h
Forging ZK proofs to mint arbitrary DUSK tokens  🔏PKI
osec.io·2d·Hacker News
Live Coding at Devoxx Greece: Your Java Code Is Your LLM Prompt  📝Programming Languages
adambien.blog·7h
Getting Up to Speed on Multi-Agent Systems, Part 6: Verification Patterns  🌐Distributed Systems
christophermeiklejohn.com·4d
A Common Proof of the Riemann Hypothesis and the Collatz Conjecture  🌐Distributed Systems
academia.edu·12h·Hacker News
Bug Bash 2: Attack of the Clones  ⚙️Systems Programming
concerningquality.com·2d·Lobsters, Hacker News
You’re Not Bad at Programming. You Just Escape When It Gets Hard.  ⚙️Systems Programming
yogyagoyal.up.railway.app·20h·DEV
From Convergence to Confidence: Push-Button Verification for RDTs  🌐Distributed Systems
kcsrk.info·4d·Hacker News, Hacker News
protocol package - go.lsp.dev/protocol  🤝ACME Protocol
pkg.go.dev·1d
DESIGN.md Specification  🤝ACME Protocol
dsebastien.net·2d
Gabriela Moreira, CEO of Quint at Informal Systems – Interview Series  ⚙️Systems Programming
unite.ai·3d
Animated Logical Graphs • 1  📝Programming Languages
stream.syscoi.com·2d
Langserver.org A community-driven source of knowledge for Language Server Protocol implementations  📝Programming Languages
langserver.org·1d
Leveraging Agentic AI Techniques to Improve Formal Verification (Infineon, et al.)  🌐Distributed Systems
semiengineering.com·4d
Shift-Left Governance for AI Agents: How the Agent Governance Toolkit Helps You Catch Violations  🤝ACME Protocol
techcommunity.microsoft.com·1d
Break This: A Minimal, System-Independent Verification Primitive  ⚙️Systems Programming
ethresear.ch·5d
rlm_policy (5) Linux Manual Page  🐧Linux Kernel
systutorials.com·1d

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
Save / unsave
s

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