Feeds to Scour
SubscribedAll
Scoured 24248 posts in 1.01 s
SHIELD.md: A Security Standard for OpenClaw and AI Agents
blog.securitybreak.io
·2d
🛡️CLI Security
From PDFs to Proof Pipelines: Building Audit-Grade Traceability in Regulated Deep-Tech
hackernoon.com·2d
🔗Hash Chains
ABC-Bench and the Real Test for AI Engineers: Can It Run End-to-End?
hackernoon.com·2d
🔍Concolic Testing
Introducing TealTiger: AI Security & Cost Control Made Simple
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Python Internals: Operator Protocols
dev.to·6d·
Discuss: DEV
🔬Refinement Types
Dynamical sequences: closure properties and automatic identity proving
arxiv.org·1d
🎯Performance Proofs
Is Reasoning Capability Enough for Safety in Long-Context Language Models?
arxiv.org·1d
🌳Context free grammars
Turing's Parsing and Brute Force Are Incorrect
zenodo.org·4d·
Discuss: Hacker News
🧮Kolmogorov Complexity
31-year old VT220 terminfo curses bug
lists.gnu.org·2d·
Discuss: Hacker News
📺VT100
From Flops to Finality: Solving Proof-of-Compute with Verifiable Intelligence
daifi.ai·6d·
Discuss: Hacker News
🎯Performance Proofs
C and Undefined Behaviour
lelanthran.com·2d·
Discuss: Hacker News, r/C_Programming, r/programming
🦀Rust Macros
First Proof | Research-Level Math for AI Evaluation
1stproof.org·4d·
Discuss: Hacker News
🎯Performance Proofs
Same Surface, Different Weight
robpanico.com·3d·
Discuss: Hacker News
🎯Gradual Typing
Portable C Compiler
en.wikipedia.org·3d·
Discuss: Hacker News
🏗️Compiler Archaeology
Notepad++ DLL Hijack (2017)
wikileaks.org·2d·
Discuss: Hacker News
🏺Format Archaeology
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·5d·
Discuss: Hacker News
🔗Functional Compilers
Extracting Xcode's Claude Code Prompt
jackpearce.co.uk·3d·
Discuss: Hacker News
🌳Incremental Parsing
Introduction to Abject-Oriented Programming (2007)
typicalprogrammer.com·2d·
Discuss: Hacker News
🛠Language Design
Style tips for less experienced developers coding with AI
honnibal.dev·5d·
Discuss: Hacker News
🎯Gradual Typing
Computing large Fibonacci numbers
johndcook.com·2d·
Discuss: Hacker News
📐Interval Arithmetic

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