Feeds to Scour
SubscribedAll
Scoured 73198 posts in 337.3 ms
VERIFY-RL: Verifiable Recursive Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org·13h
🧮SMT Solvers
Still Manual? Automated Linter Configuration via DSL-Based LLM Compilation of Coding Standards
arxiv.org·13h
🏗️MLIR
Navigating CRAN's Reverse Dependency Check Logs
yihui.org·1d
📦uv
Manufacturing QMS Software
samrian.com·1d·
Discuss: Hacker News
⚓Anchors
An attempt at a First-Proof AI challenge
abhvio.us·2d·
Discuss: Hacker News
💃Dancing Links
How I Built My Project in Haskell
dev.to·2d·
Discuss: DEV
👻Phantom Types
A Language For Agents
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Tree-sitter
LLMs Refuse High-Cost Attacks but Stay Vulnerable to Cheap, Real-World Harm
expectedharm.github.io·12h·
Discuss: Hacker News
🔒BPF LSM
Show HN: Open-Source SDK for AI Knowledge Work
github.com·54m·
Discuss: Hacker News
💬Prompt Engineering
Patching the Gaps: A Production-Ready Guide to Google’s ADK with TypeScript
dev.to·6h·
Discuss: DEV
🥖Bun
Learning Rust: Custom Error types that actually work!
rup12.net·19h·
Discuss: Lobsters, Hacker News
🛡️Error Handling
Vibe Coding for Scientists
vibe-coding-101-iota.vercel.app·14h
🎭Program Synthesis
Relay Lang – Async first programming language
harrisonerd.com·18h·
Discuss: Hacker News
⚡FastAPI
Differential Logic • 4
inquiryintoinquiry.com·2d
🔍Type Inference
Introduction to Abject-Oriented Programming (2007)
typicalprogrammer.com·2d·
Discuss: Hacker News
🦀Rust Macros
Railway Oriented Programming
fsharpforfunandprofit.com·4d·
Discuss: Hacker News
λFunctional Programming
Wrapping trait implems in an enum kept appearing in code base so I blogged about it. Are there other such useful patterns that are not much advertised?
asfaload.com·1d·
Discuss: r/rust
⚡Ruff
Show HN: C-CMCP – Validated AI development workflow with quality gates
news.ycombinator.com·1d·
Discuss: Hacker News
🏗️Cranelift
Data Modeling for the Agentic Era: Semantics, Speed, and Stewardship
rilldata.com·1d·
Discuss: Hacker News
⚓Anchors
eBPF Gives You Packets. Here's How We Turn Them Into Security Insights
akashmandal001.substack.com·1d·
Discuss: Substack
🔍eBPF

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