Feeds to Scour
SubscribedAll
Scoured 23164 posts in 851.3 ms
Rubenerd: Childhood Melbourne i486 Progress
rubenerd.com·4d
🕹️Retro Gaming
Weekly Bookmarks
inkdroid.org·4d
📚MARC Archaeology
C++ Latch and Barrier
leimao.github.io·5d
🧠Separation Logic
My Workflow for Agentic Coding
szymonkrajewski.pl·3d
⚔️Lean Tactics
Differential Logic • 3
inquiryintoinquiry.com·4d
⚡Circuit Design
DCP-o-matic • Re: CPL as compositions and multiple CPLs
dcpomatic.com·3d
✅CDDL Validation
6 Patterns That Changed How I Use Claude Code
dev.to·4d·
Discuss: DEV
🌳Incremental Parsing
A Simple Method for Commonsense Reasoning
dev.to·3d·
Discuss: DEV
🌳Context free grammars
Rethinking Code Complexity Through the Lens of Large Language Models
arxiv.org·2d
📏Code Metrics
AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms
arxiv.org·1d
🎯Performance Proofs
Building Interactive C/C++ workflows in Jupyter through Clang-REPL [video]
fosdem.org·4d·
Discuss: Hacker News
🦀Rust Macros
Making Pyrefly Diagnostics 18x Faster
pyrefly.org·6d·
Discuss: Hacker News
🌳Incremental Parsing
Autobiolocation
autobiolocation.is·3d·
Discuss: Hacker News
🕸️Algebraic Topology
Electrobun v1: Build fast, tiny, and cross-platform desktop apps with TypeScript
blackboard.sh·3d·
Discuss: Hacker News
🔌Interface Evolution
Show HN: Engineering Perception with Combinatorial Memetics
news.ycombinator.com·4d·
Discuss: Hacker News
🌸Bloom Variants
Hello
news.ycombinator.com·4d·
Discuss: Hacker News
⭐Awesome lists
Show HN:AutoCleanML–ML data preprocessing automation
github.com·1d·
Discuss: Hacker News
🔗Constraint Handling
brynary/attractor: Full implementation of StrongDM Attractor specs in TypeScript
github.com·3d·
Discuss: Hacker News
🔗Topological Sorting
Building Chess in about 350 lines of Clojure
sammystraus.com·3h·
Discuss: Hacker News
⚔️Lean Tactics
The Evolution of a Lean Programmer
unnamed.website·3d·
Discuss: Hacker News
⚔️Lean Tactics

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