Feeds to Scour
SubscribedAll
Scoured 5453 posts in 13.8 ms
TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
arxiv.org·3d
🧠Automated Reasoning
Less-relevant results
Formal Verification: The Ultimate Fitness Function
lesswrong.com·5h
🔍Formal Verification
Automating the Analysis and Improvement of Dynamic Programming Algorithms with Applications to Natural Language Processing
arxiv.org·2d
🧩Parser Combinators
workflow loops for Claude Code, Codex, and OpenCode
rjcorwin.github.io·2h·
Discuss: Hacker News
🔧ppx
The Talk Show: ‘The Pogue Feature’
daringfireball.net·6h
📺Vintage Apple
Liquid Glass and long-standing bugs push Apple’s grades down in visual accessibility report card
9to5mac.com·7h
🍎Apple
DIY Reflow Plate Runs On USB Power Delivery
hackaday.com·2h
🖥️KVM
Up-to-Date Travel Guides for over 200 countries around the world
amazingatlas.com·4h·
Discuss: Hacker News
🇵🇹Portugal
Powell: Job creation is near zero
finance.yahoo.com·5h·
Discuss: Hacker News
🔲Cellular Automata
New randomized, double-blind, placebo-controlled trial suggests CBD (cannabidiol) oil could improve certain social behaviors and lower anxiety in autistic child...
psypost.org·6h
🔠Type-Level Programming
Nvidia greenboost: transparently extend GPU VRAM using system RAM/NVMe
gitlab.com·5h·
Discuss: Lobsters
💻QEMU
The greatest joy in app development comes before launch
insidestack.it·4h·
Discuss: r/programming
🔧DevOps
Jony Ive on Redesigning the Christie’s Rostrum
youtube.com·7h
📺Vintage Apple
Kash Patel admits under oath FBI is buying location data on Americans
theguardian.com·5h·
Discuss: Hacker News
🛡️Privacy Engineering
Privacy Review for Non-Maniacs
usenix.org·9h
🛡️Privacy Engineering
omachala/diction: iOS keyboard that transcribes speech to text in any app
github.com·12h·
Discuss: r/homelab
🍎Apple
Running Windows 98 on the iPAQ IA-2 Internet Appliance
hackaday.com·5h
💾Retro Computing
PSA: Spotify investigating outage that’s kicking users off their plans
9to5mac.com·11h
🍎Apple
North Korea's 100,000-strong fake IT worker army rake in $500M a year for Kim Jong Un
theregister.com·5h
📦Unikernel Systems
Trey the Triceratops | Stories
joopiter.com·9h·
Discuss: Hacker News
🔲Cellular Automata

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