Feeds to Scour
SubscribedAll
Scoured 5457 posts in 3.3 ms

No high-quality results found.

Less-relevant results
In search of falsehood – using Opus 4.6 to prove False
tristan.st·10h·
Discuss: Hacker News
🔒Protocol Verification
Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation
arxiv.org·1d
🏃Escape Analysis
Formal Verification: The Ultimate Fitness Function
lesswrong.com·6h
🔍Formal Verification
DIY Reflow Plate Runs On USB Power Delivery
hackaday.com·3h
🖥️KVM
Up-to-Date Travel Guides for over 200 countries around the world
amazingatlas.com·5h·
Discuss: Hacker News
🇵🇹Portugal
New randomized, double-blind, placebo-controlled trial suggests CBD (cannabidiol) oil could improve certain social behaviors and lower anxiety in autistic child...
psypost.org·7h
🔠Type-Level Programming
The Talk Show: ‘The Pogue Feature’
daringfireball.net·7h
📺Vintage Apple
Liquid Glass and long-standing bugs push Apple’s grades down in visual accessibility report card
9to5mac.com·8h
🍎Apple
An Exponential Separation between Deterministic CDCL and DPLL Solvers
arxiv.org·1d
🧩SAT Solvers
workflow loops for Claude Code, Codex, and OpenCode
rjcorwin.github.io·3h·
Discuss: Hacker News
🔧ppx
Jony Ive on Redesigning the Christie’s Rostrum
youtube.com·8h
📺Vintage Apple
Mapping the Privacy Workforce in the AI Era
usenix.org·10h
🛡️Privacy Engineering
The greatest joy in app development comes before launch
insidestack.it·5h·
Discuss: r/programming
🔧DevOps
userdb: add birthDate field to JSON user records by dylanmtaylor · Pull Request #40954
github.com·6h·
Discuss: Hacker News
🔌APIs
Powell: Job creation is near zero
finance.yahoo.com·6h·
Discuss: Hacker News
🔲Cellular Automata
Nvidia greenboost: transparently extend GPU VRAM using system RAM/NVMe
gitlab.com·6h·
Discuss: Lobsters
💻QEMU
North Korea's 100,000-strong fake IT worker army rake in $500M a year for Kim Jong Un
theregister.com·6h
📦Unikernel Systems
omachala/diction: iOS keyboard that transcribes speech to text in any app
github.com·13h·
Discuss: r/homelab
🍎Apple
Running Windows 98 on the iPAQ IA-2 Internet Appliance
hackaday.com·6h
💾Retro Computing
PSA: Spotify investigating outage that’s kicking users off their plans
9to5mac.com·12h
🍎Apple

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