Feeds to Scour
SubscribedAll
Scoured 23882 posts in 915.1 ms
Reducing Technical Debt: Top Five Coding Resources
loufranco.com·2d
📏Code Metrics
SHIELD.md: A Security Standard for OpenClaw and AI Agents
blog.securitybreak.io
·2d
🛡️CLI Security
Differential Logic • 1
inquiryintoinquiry.com·6d
📏Linear Logic
ABC-Bench and the Real Test for AI Engineers: Can It Run End-to-End?
hackernoon.com·2d
🔍Concolic Testing
CReact: JSX meta-execution engine v0.3.0
dev.to·3d·
Discuss: DEV
🦀Rust Macros
When a Model Finds a Bug in Cryptography, and a Cryptographer Learns New Mathematics from It
dev.to·6d·
Discuss: DEV
🎯Performance Proofs
Profinite trees, through Lawvere theories and the lambda-calculus
arxiv.org·1d
λLambda Encodings
AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms
arxiv.org·15h
🎯Performance Proofs
PyG Documentation — pytorch_geometric documentation
pytorch-geometric.readthedocs.io·2d·
Discuss: Hacker News
📐Geometric Hashing
Your VCL App: 4x to 11x Faster Math Performance with Elements
blogs.remobjects.com·2d·
Discuss: Hacker News
⚡Homebrew CPUs
DSA Interview Questions: What Really Gets Asked (and How to Prepare Smart)
dsa-interview-questions.pages.dev·2d·
Discuss: Hacker News
🎯Threat Hunting
The cost of a function call
lemire.me·2d·
Discuss: Lobsters, Hacker News, Hacker News
🔗Concatenative Programming
Show HN: Claude has a compiler, I have SlopScript
slopscript.netlify.app·3d·
Discuss: Hacker News
⚔️Lean Tactics
Rule #1 for coding with AI agents
zknill.io·2d·
Discuss: Hacker News
⚔️Lean Tactics
Learn Weird Programming Languages
okienko.day·2d·
Discuss: Hacker News
🔗Concatenative Programming
AI Workflows with human-in-the-loop
weavemind.ai·3d·
Discuss: Hacker News
⚡Incremental Computation
Context Is Part of the Game
joy.pm·3d·
Discuss: Hacker News
✨Effect Handlers
Building the Future with AI That Acts
devxt.com·3d·
Discuss: Hacker News
🏠Homelab Orchestration
Show HN: ShapeGuard – Shape Contracts for NumPy and Jax
news.ycombinator.com·2d·
Discuss: Hacker News
🧮Algebraic Datatypes
We created documents for selling AI Agent Skills
skly.ai·2d·
Discuss: Hacker News
⚡Proof Automation

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