Feeds to Scour
SubscribedAll
The Coming Need for Formal Specification
benjamincongdon.me·2d
📋Formal Verification
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·1d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
What are AI Evals?
dev.to·1d·
Discuss: DEV
🐛Fuzzing
Preview
Report Post
4x Faster: How AI-Assisted Development Accelerated Building New SQL Dialects for Zero Copy Connectors
engineering.salesforce.com·2d
⚙️Batch Processing
Preview
Report Post
Lab update
reddit.com·11h·
Discuss: r/homelab
🏠Homelab
Preview
Report Post
Cutting integration test time from 2 weeks to 2 hours using Claude Code
medium.com·3d·
Discuss: Hacker News
🏠Homelab Pentesting
Preview
Report Post
Gist of Go: Concurrency is out!
antonz.org·2d
⚔️Lean Tactics
Preview
Report Post
From Zero to QED: An informal introduction to formality with Lean 4
sdiehl.github.io·1d·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
UP Xtreme ARL AI Dev Kit review – Benchmarks and AI workloads on an Intel Core Ultra 5 225H Arrow Lake SBC
cnx-software.com·23h
🔌Operating system internals
Preview
Report Post
Credo: Record Q2 Validates AI Interconnect Thesis
seekingalpha.com
·1d
✅FLAC Verification
Preview
Report Post
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·2d
⚔️Lean Tactics
Preview
Report Post
Evaluating Gemini Robotics Policies in a Veo World Simulator
veo-robotics.github.io·1d·
Discuss: Hacker News
🔐Capability Systems
Preview
Report Post
MCP Writing Code to Call MCP: MCPs All the Way Down
rouxbot.com·1d·
Discuss: Hacker News
🛡️WASM Sandboxing
Preview
Report Post
Closing the Loop: How Reinforcement Learning is Changing AI Coding
dev.to·1d·
Discuss: DEV
🏗️Compiler Archaeology
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·2d
✅Format Verification
Preview
Report Post
Detectify year in review 2025
blog.detectify.com·3d
🎯Threat Hunting
Preview
Report Post
What I learned building a crash-safe WAL in Go (CRC, mmap, fsync, torn writes)
unisondb.io·1d·
Discuss: r/golang
📝Database WAL
Preview
Report Post
We Lost Something: 1970s REPLs Were Better Than Modern Development Environments
programmingsimplicity.substack.com·1d·
Discuss: Substack
📊APL Heritage
Preview
Report Post
Ask your LLM for receipts: What I learned teaching Claude C++ crash triage
addxorrol.blogspot.com·2d·
Discuss: www.blogger.com
🔩Systems Programming
Preview
Report Post
Strengthening Safety Boundaries for Evolving AI Agents
cacm.acm.org·2d
🔒Language-based security
Preview
Report Post