Feeds to Scour
SubscribedAll
Scoured 13739 posts in 142.3 ms
Axiom Prover: From Seeing Why to Checking Everything (AxiomProver Solves All Problems at Putnam 2025: Proof Release & Commentary)
axiommath.ai·8h
🧮Theorem Proving
Preview
Report Post
Mastering NumPy Randomness and Einsum: Advanced Scientific Computing in Python
dev.to·7h·
Discuss: DEV
📐Interval Arithmetic
Preview
Report Post
Prevent the Robocalypse with Claude Code and TDD
thoughtbot.com·1h
⚔️Lean Tactics
Preview
Report Post
Automated Theorem Proving for Prolog Verification
arxiv.org·3d
🧮Theorem Proving
Preview
Report Post
Halting Problem
en.wikipedia.org·1d·
Discuss: Hacker News
🔍Type Inference
Preview
Report Post
research!rsc: Pulling a New Proof from Knuth’s Fixed-Point Printer
research.swtch.com·1d·
Discuss: Lobsters, Hacker News
📐Interval Arithmetic
Preview
Report Post
Subagents, Commands and Skills Are Converging
vivekhaldar.com·21h·
Discuss: Hacker News
🔐Capability Systems
Preview
Report Post
Making Redstone circuits with SAT solvers
alloc.dev·1d·
Discuss: Hacker News
🧮Z3 Solver
Preview
Report Post
Choosing Secrets Manager for Homelab
prezu.ca·1h
🦠Parasitic Storage
Preview
Report Post
Java Generics and Collections • Maurice Naftalin & Stuart Marks
youtube.com·2d
λLambda Formalization
Preview
Report Post
Iocaine poisons bots with Gergely Nagy
opensourcesecurity.io·1h
🚀Indie Hacking
Preview
Report Post
Two Simple Tricks That Will Dramatically Improve Your Productivity with Claude
julsimon.medium.com·7h
⚡Proof Automation
Preview
Report Post
Full Disclosure: TinyOS 2.1.2 Stack-Based Buffer Overflow in mcp2200gpio
seclists.org·20h
🔬Floppy imaging
Preview
Report Post
A Zeckendorf table
leancrew.com·1d
🎞️Tape Combinatorics
Preview
Report Post
The Staggering Complexity and Subtlety of Concurrency
hackaday.com·2d
⚡Parallel Computing
Preview
Report Post
Agans Debugging Guide
binaryphile.com·2d
🔬Binary Analysis
Preview
Report Post
Issue 506
haskellweekly.news·3d
🔗Functional Compilers
Preview
Report Post
MadsWedendahlKruse/nat20: Dungeons and Dragons engine in Rust
github.com·4h·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
5 Ways to Get the Best Out of LLM Inference
pub.towardsai.net·6h
💻Local LLMs
Preview
Report Post
A Unique Performance Optimization for a 3D Geometry Language
cprimozic.net·23h·
Discuss: Lobsters, Hacker News
⬆️Lambda Lifting
Preview
Report Post

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