Feeds to Scour
SubscribedAll
Scoured 16762 posts in 215.8 ms
Adaptive Uncertainty-Aware Tree Search for Robust Reasoning
arxiv.org·1d
🔗Constraint Handling
Symbolic Model Checking using Intervals of Vectors
arxiv.org·6d
🔄Finite State Machines
LLMs Refuse High-Cost Attacks but Stay Vulnerable to Cheap, Real-World Harm
expectedharm.github.io·12h·
Discuss: Hacker News
🛡️WASM Sandboxing
Agentic Proof-Oriented Programming
risemsr.github.io·4d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Insecurity of Quantum Secure Computations
paperium.net·21h·
Discuss: DEV
🔐Quantum Security
The Little Book of Linear Algebra
little-book-of.github.io·4d
📐Linear Algebra
Large Language Models for Mortals book released
crimede-coder.com·3h·
Discuss: Hacker News
λLambda Formalization
Loopy Particle Math (2019)
scientificamerican.com
·18h·
Discuss: Hacker News
📐Mathematical Art
Property-based testing as executable specs for agentic coding
kiro.dev·15h·
Discuss: Hacker News
🧪Property-Based Testing
Expectation and Copysets
buttondown.com·22h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Manufacturing QMS Software
samrian.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
I got bored and had Claude design and implement a programming language
github.com·8h·
Discuss: Hacker News
🔗Concatenative Programming
Neural Bitcoin Small Class Number Attack
leetarxiv.substack.com·5d·
Discuss: Substack
🔢Bitwise Algorithms
Further Meditation on Taylor Series
alexkritchevsky.com·5d
⚔️Lean Theorem
What Functional Programmers Get Wrong About Systems
iankduncan.com·22h·
Discuss: Lobsters, Hacker News, r/programming
⚖️Verification Calculi
Testing 80 LLMs on spatial reasoning on grids
mihai.page·1d·
Discuss: Hacker News
🧮Prolog Parsing
Reverse Engineering the Prom for the SGI O2
mattst88.com·1d·
Discuss: Lobsters, Hacker News
⚡Circuit Archaeology
Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture
jonmsterling.com·3d·
Discuss: Hacker News, r/Compilers
⚡Incremental Computation
Show HN: ShapeGuard – Shape Contracts for NumPy and Jax
news.ycombinator.com·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
⚖️ Beginner-Friendly Guide 'Minimum Removals to Balance Array' - Problem 3634 (C++, Python, JavaScript)
dev.to·4d·
Discuss: DEV
📐Error Bounds

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