Feeds to Scour
SubscribedAll
Scoured 5433 posts in 18.4 ms
SseRex: Practical Symbolic Execution of Solana Smart Contracts
arxiv.org·1d
🧠Automated Reasoning
Domain-Independent Dynamic Programming with Constraint Propagation
arxiv.org·1d
🔍CBMC
Less-relevant results
Formal Verification: The Ultimate Fitness Function
lesswrong.com·6h
🔍Formal Verification
Ask HN: I built a geometric reasoning engine
news.ycombinator.com·1d·
Discuss: Hacker News
🧩Separation Logic
Powell: Job creation is near zero
finance.yahoo.com·6h·
Discuss: Hacker News
🔲Cellular Automata
DIY Reflow Plate Runs On USB Power Delivery
hackaday.com·3h
🖥️KVM
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
Up-to-Date Travel Guides for over 200 countries around the world
amazingatlas.com·5h·
Discuss: Hacker News
🇵🇹Portugal
North Korea's 100,000-strong fake IT worker army rake in $500M a year for Kim Jong Un
theregister.com·6h
📦Unikernel Systems
Robinhood is making a social network
theverge.com
·11h·
Discuss: Hacker News
🌐ActivityPub
Mapping the Privacy Workforce in the AI Era
usenix.org·10h
🛡️Privacy Engineering
userdb: add birthDate field to JSON user records by dylanmtaylor · Pull Request #40954
github.com·7h·
Discuss: Hacker News
🔌APIs
Nvidia greenboost: transparently extend GPU VRAM using system RAM/NVMe
gitlab.com·6h·
Discuss: Lobsters
💻QEMU
Jony Ive on Redesigning the Christie’s Rostrum
youtube.com·8h
📺Vintage Apple
The greatest joy in app development comes before launch
insidestack.it·5h·
Discuss: r/programming
🔧DevOps
French bulldog frenzy may be cooling in US, but dachshunds are riding high
apnews.com·16h·
Discuss: Hacker News
⬜Minimalism
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

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