Feeds to Scour
SubscribedAll
Scoured 22955 posts in 603.3 ms
Creating massively huge fake files and binaries
fzakaria.com·11h
💣Compression Security
Compiler-Driven Static Analysis Locking Context Checking Merged For Linux 7.0
phoronix.com·1d
🦀Rust Verification
The game is over: when “free” comes at too high a price. What we know about RenEngine
securelist.com·21h
🎮Cartridge Archaeology
Everybody Is a CEO Now (And What Exactly Am I Doing Here?)
behind-the-enemy-lines.com·16h·
Discuss: Blogger
🌱Personal Wikis
postmarketOS FOSDEM 2026 and hackathon recap
lwn.net·19h
🔓Open Source Software
Inside the OWASP Agentic AI Top 10: Exploitation and Architecture in Autonomous Systems
infosecwriteups.com
·1d
🔒WASM Capabilities
The Design Checklist: Keeping AI Products Alive After Week One
hackernoon.com·1d
📟CLI Design
Code Reviews: Here's What They Actually Teach Us
hackernoon.com·2d
📏Code Metrics
Graph algebra
en.wikipedia.org·2d
🔄Graph Rewriting
Stop Testing Attacks, Start Diagnosing Defenses: The Four-Checkpoint Framework Reveals Where LLM Safety Breaks
arxiv.org·1d
🛡️Error Boundaries
Dynamical sequences: closure properties and automatic identity proving
arxiv.org·2d
🎯Performance Proofs
Self-Referential Quantum Barriers for AGI Containment
redact-app.com·18h·
Discuss: Hacker News
🔐Quantum Security
An AI got $100 to trade crypto. Day 9: fired, rebuilt its system 5 times
luckyclaw.win·19h·
Discuss: Hacker News
🔗Hash Chains
SecretSpec 0.7: Declarative Secret Generation
devenv.sh·3d·
Discuss: Lobsters, Hacker News, r/NixOS, r/programming
🦠Parasitic Archives
Are ads the only way to scale AI to mainstream users?
nanonets.com·16h·
Discuss: Hacker News
🔲Cellular Automata
Compare up to 5 LLMs side-by-side, then fuse the best answers
llmcode.ai·1d·
Discuss: Hacker News
✓Automated Theorem Proving
AI Agents Explained in 3 Levels of Difficulty
kdnuggets.com·1d·
Discuss: Hacker News
⚡Proof Automation
Software as a tool, not an end in itself: A plea for more domain expertise
heise.de·21h·
Discuss: Hacker News
⚙️Proof Engineering
Preparing your website for LLMs.
speakeasy.com·2d·
Discuss: Hacker News
🔗Hypermedia APIs
Your AI Agents Are Running Naked
expanso.io·1d·
Discuss: Hacker News
🌳Archive Merkle Trees

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