Feeds to Scour
SubscribedAll
Scoured 23922 posts in 1.25 s
Rubenerd: Childhood Melbourne i486 Progress
rubenerd.com·3d
🕹️Retro Gaming
Yet another GCC 1.40 *SOME ASSEBMLY REQUIRED
virtuallyfun.com·3d
🔗Static Linking
scifi is when there’s cubes. the more cubes there are the more scifier it is
thalescircles.tumblr.com·3d
⭐Awesome lists
Weekly Bookmarks
inkdroid.org·3d
📚MARC Archaeology
C++ Latch and Barrier
leimao.github.io·5d
🧠Separation Logic
My Workflow for Agentic Coding
szymonkrajewski.pl·2d
⚔️Lean Tactics
Differential Logic • 3
inquiryintoinquiry.com·4d
⚡Circuit Design
A Simple Method for Commonsense Reasoning
dev.to·3d·
Discuss: DEV
🌳Context free grammars
5 AI APIs Every Solo Builder Should Know (With Code Examples)
dev.to·3d·
Discuss: DEV
⚡Incremental Computation
Introduction to Flakes
nixos-and-flakes.thiscute.world·3d
❄️Nix Flakes
AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms
arxiv.org·14h
🎯Performance Proofs
VERIFY-RL: Verifiable Recursive Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org·1d
⚔️Lean Tactics
Show HN: I built an invoicing SaaS with AI-generated invoice templates
invocrea.com·4d·
Discuss: Hacker News, Hacker News, r/SideProject
📄PostScript
Code only says what it does
brooker.co.za·3d·
Discuss: Hacker News
📜Proof Carrying Code
Human-like Search for Modern Applications
anvitra.ai·3d·
Discuss: Hacker News
🗂️Vector Search
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·5d·
Discuss: Hacker News
🌳Incremental Parsing
Recursive Deductive Verification: A framework for reducing AI hallucinations
news.ycombinator.com·3d·
Discuss: Hacker News
⚖️Hoare Logic
Hello
news.ycombinator.com·4d·
Discuss: Hacker News
⭐Awesome lists
CrimsonDemon567PC/JavaPP: Python Syntax, compiles to branchless, highly optimized Java
github.com·2d·
Discuss: Hacker News
🧠Lisp Dialects

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