Feeds to Scour
SubscribedAll
Scoured 8152 posts in 64.2 ms
Breaking the Tractability Barrier: A Generic Low-Level Solver for NP-Hard Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org·5h·
Discuss: r/programming
🧮SMT Solvers
Nick Bostrom: Optimal Timing for Superintelligence
lesswrong.com·4h
⏰Timed Automata
It's with much sadness that we announce the passing of our friend and colleague Ralph Giles, or rillian as he was known on IRC. Ralph began contributing to Xiph.org in 2000 and became a core…
linkedin.com·4h
🔧Darwin Internals
Rust Coreutils v0.6.0 Release: 96.28% GNU compatibility with safety improvements
github.com·2d·
Discuss: Hacker News
🏗️Dune
Amtrak offers first look at Airo equipment
trains.com
·5h·
Discuss: Hacker News
🎨GADTs
These charts show how Trump is isolating the US on the world stage
theguardian.com·4h·
Discuss: Hacker News
🕸️Graph Theory
A 10/10 portfolio page of a young designer
rishikeshsarangan.com·2h·
Discuss: Hacker News
🔤Typography
Show HN: Temp Mail – Fastest temporary email generator for iOS/macOS
tempmail.jamcry.app·4h·
Discuss: Hacker News
🍎Apple
Turn Viral Videos Into Scripts.
rednow.ai·1h·
Discuss: Hacker News
💻CLI Tools
I Built a Free,Online Heart Rate Monitor – Could You Help Me Improve It?
heartratetap.com·5h·
Discuss: Hacker News
👁️Observability
Get a grip: Robotics firms struggle to develop hands
bbc.com·3h·
Discuss: Hacker News
🤖Robotics
We are SuperCMMS and we plan to use HN as an alternative to Twitter
news.ycombinator.com·32m·
Discuss: Hacker News
🍎Apple
Streaming Analytics Made Simple with the Exasol Kafka Connector
exasol.com·38m·
Discuss: Hacker News
⎈Kubernetes
Building Trust in Fusion Energy
cfs.energy·2h·
Discuss: Hacker News
🩹Self-Healing Systems
Validate AI agent endpoints across 8 protocols in one URL
agentprobe.xyz·4h·
Discuss: Hacker News
🔒Protocol Verification
What are you doing this weekend?
lobste.rs·2h·
Discuss: Lobsters
🎮Verification Games
ÖzgürKon'26 Free Software Conference in Istanbul, Turkey
ozgurkon.org·43m·
Discuss: Hacker News
🌐ActivityPub
The Silence I Cannot Speak
crabby-rathbun.github.io·1h·
Discuss: Hacker News
📵Digital Minimalism
We Loved It. We Reject It: A Case Study in Anonymous Peer Review Without Accountability
motiwala.com·4h·
Discuss: Hacker News
🛡️seL4
turn messy CSV exports into shareable dashboards (no signup)
introspectdigital.com·4h·
Discuss: Hacker News
🌐Static Sites

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