Feeds to Scour
SubscribedAll
Scoured 8220 posts in 64.4 ms
Does this Electron Make Me Look Fat? Weighing an Electron
hackaday.com·4h
📐Linear Algebra
ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair
arxiv.org·2h
🔍Formal Verification
Really Big Chicken | What Does RBC Stand For?
reallybigchicken.com·4h·
Discuss: Hacker News, r/InternetIsBeautiful
🏛️CoreFoundation
Waymo is asking DoorDash drivers to shut the doors of its self-driving cars
techcrunch.com·3h·
Discuss: Hacker News
🍎Apple
Thousands of unread emails and 20 million database errors cause civil service pension hardship
computerweekly.com
·2h·
Discuss: Hacker News
🏛️CoreFoundation
Exclusive: ICE Masks Up in More Ways Than One
kenklippenstein.com·3h·
Discuss: Hacker News
🛡️macOS Security
Zhipu’s 120% Surge Highlights China’s New AI Market Favorites
bloomberg.com
·3h·
Discuss: Hacker News
🧮Z3
The Filter, Not the Bar
k2xl.substack.com·4h·
Discuss: Substack
📵Digital Minimalism
Interference Pattern Formed in a Finger Gap is NOT Single Slit Diffraction｜hydraenids
note.com·4h·
Discuss: Hacker News
📐Linear Algebra
Life, the Universe, and Simile: Leading Simile’s $100M Series A
indexventures.com·2h·
Discuss: Hacker News
🔲Cellular Automata
I built JoyPass: surprise gestures like breakfast in bed, now in Apple Wallet
joypass.co·4h·
Discuss: Hacker News
🍎Apple
"Am I the only one still wondering what is the deal with linear types?"
jonmsterling.com·3h·
Discuss: Hacker News
🎨GADTs
It's yours.
inventingthefuture.ghost.io·2h·
Discuss: Hacker News
🍎Apple
7-Zip / Discussion / Open Discussion: 7-Zip 26.00
sourceforge.net·2h·
Discuss: Hacker News
🔧Unikernel Development
Informational Inequivalence of Formally Equivalent Mathematical Frameworks: A Multi-Framework Analysis of the Inverse Square Law
zenodo.org·3h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Arming the rebels with GPUs: Gradium, Kyutai, and Audio AI
amplifypartners.com·2h·
Discuss: Hacker News
🔬Unikernels
a blunt launcher forcing you to pick a Codex permission level
codeman.elderberry.games·2h·
Discuss: Hacker News
🐳Containerization
You're Already Building Petri Nets. You're Just Building Them Badly.
joshtuddenham.dev·2h·
Discuss: Hacker News
⚡Process Calculi
Setting Up an IRC Server
neatnik.net·4d·
Discuss: Hacker News
💬Mach Messages
Show HN: Simple Helpdehk tool for small software teams
aidkit.co·3d·
Discuss: Hacker News
💻CLI Tools
Sign up or log in to see more results
Sign UpLogin

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