Feeds to Scour
SubscribedAll
Scoured 15826 posts in 617.3 ms
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.org·20h
⚖️Verification Calculi
Preview
Report Post
CodeSOD: Validation Trimmed Away
thedailywtf.com·18h
Format Validation
Preview
Report Post
AI Systems Performance Engineering
github.com·25m·
Discuss: Hacker News
🎯Performance Forensics
Preview
Report Post
Python for DevOps: Writing Automation Scripts for CI/CD
blog.devops.dev·17h
🐚Shell Automation
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
⚖️Verification Calculi
Preview
Report Post
Can AI help ‘fix’ the patent system?
blogs.gnome.org·6h
🔍Vector Forensics
Preview
Report Post
Software as clay on the wheel
dri.es·1d
Proof Automation
Preview
Report Post
Recap of ELISA Project at Linux Plumbers Conference: Tokyo, Japan 2025
elisa.tech·6h
🔍eBPF
Preview
Report Post
The Three Phases of Data Pipelines
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Preview
Report Post
Enabling autonomous agents with environment virtualization
thenewstack.io·3h
🤖Network Automation
Preview
Report Post
On the way to step functions: the two worlds
blog.julik.nl·2d
🐚Shell Calculus
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·13h
📊Static Analysis
Preview
Report Post
Building an AI-Enhanced API Validator: A Weekend Developer's Journey
dev.to·1d·
Discuss: DEV
Format Verification
Preview
Report Post
**Abstract:** This paper introduces a novel approach to automated proof verification within quantifiable type theory, significantly exceeding existing capaci...
freederia.com·4d
👑Coq Tactics
Preview
Report Post
Evolution of LLMs use by a programmer
asfaload.com·8h·
Discuss: Hacker News
🧩WASM Components
Preview
Report Post
What I’ve learned over 3 years of writing code
blog.scottlogic.com·1d
📏Code Metrics
Preview
Report Post
2025 Year Review
azeemba.com·2d
🦴Binary Paleography
Preview
Report Post
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
arxiv.org·20h
🧮SMT Solvers
Preview
Report Post
Gödel, Turing, and AI: the Incomplete Space in Post-AI Architecture
jimiwen.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Preview
Report Post
Conversation: LLMs and the what/how loop
martinfowler.com·10h
🧩WASM Components
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