Feeds to Scour
SubscribedAll
Scoured 30 posts in 119.9 ms
Quantitative Symbolic Patch Impact Analysis  📐Computational Geometry
arxiv.org·5d
Erasing Existentials  📐Type Systems
wolfgirl.dev·12h·Lobsters, Hacker News
Using algebra and LLMs to verify a flight-plan bug fix in Lean  📊Algorithms
jameshaydon.github.io·1d·Lobsters, Hacker News, r/programming
Notes on I2C  🔧Systems Programming
rana-emaan.com·7h·Lobsters
FediMeteo, HAProxy, and the art of not wasting snac threads  🌐Open Web
it-notes.dragas.net·2d·Lobsters, Hacker News
Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp  λPL Theory
hyperpolyglot.org·3d·Lobsters, Hacker News
Thelema  🔤Typography
en.wikipedia.org·6h
XSS Is Deadly for Passkeys: The Hidden Risk of Attestation None  🔐Cryptography
scotthelme.co.uk·1d·Lobsters, Hacker News
The Fil-C Optimized Calling Convention  🔧Systems Programming
fil-c.org·4d·Lobsters, Hacker News
Redundant and distinct mechanisms suppress innate immune activation during SARS-CoV-2 infection  🧬Computational Biology
journals.plos.org·11h
Daily briefing: Around seven hours of sleep slows biological ageing  🔬Science
nature.com·2d
anishathalye/ai-agent-security-lecture: Guest lecture in MIT 6.566 on AI Agent Security  🔐Security
github.com·2d·Lobsters, Hacker News
Always Be Blaming  🧩Psychology
matklad.github.io·3d·Lobsters, Hacker News
The Unreasonable Effectiveness of ProseMirror Model in Rich Text Transformation  🏗️Brutalist Web
smoores.dev·1d·Lobsters, Hacker News, r/javascript, r/webdev
The Windows DLL loader lock: how a Rust thread can hang your JVM  ⚙️Compilers
questdb.com·1d·Lobsters, Hacker News
Bitsocial: Open Source P2P Network for Social Apps  🕸️IndieWeb
bitsocial.net·3d·Lobsters
Even More Tagged Union Subsets with Comptime  📐Type Systems
sinclairtarget.com·1d·Lobsters, Hacker News
My Thoughts on Bun's Rust Rewrite  ⚙️Compilers
en.liujiacai.net·4d·Lobsters, Hacker News, Hacker News
The Futility of Lava Lamps: What Random Really Means  🔐Cryptography
loup-vaillant.fr·5d·Lobsters, Hacker News, r/crypto
Find bugs in YOUR code using OpenCode, Llama.cpp and Qwen3.6  🔍Reverse Engineering
wtarreau.blogspot.com·3d·Lobsters, Hacker News, wtarreau.blogspot.com

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
Save / unsave
s

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