Free feedback widget for your website
sitewidgets.app·4d·
Discuss: Hacker News
🍎Apple
Working with JSON in ClickHouse
clickhouse.com·5d·
Discuss: Hacker News
🔠Type-Level Programming
Inside the Underground Trade of ‘Flipper Zero’ Tech to Break into Cars
404media.co·4d·
Discuss: Hacker News
💾Retro Computing
Wyoming's 'Frontier' Stablecoin Debuts on Ethereum, Solana and Avalanche
decrypt.co·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Don't pick weird subnets for embedded networks, use VRFs
blog.brixit.nl·4d·
Discuss: Lobsters, Hacker News, r/programming
🏠HomeLab
Container-aware GOMAXPROCS
go.dev·6d·
Discuss: Lobsters, Hacker News, r/golang
⚙️Operating System Design
Lessons from AI Safety for Businesses
svana.name·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Facts, Arguments, Theses: Building AI Knowledge Retrieval on Meaning, Not Slices
nsavage.substack.com·2d·
Discuss: Substack
✓Automated Theorem Proving
Show HN: AIHabitPro: AI-powered habit tracker with smart suggestions and streaks
apps.apple.com·4d·
Discuss: Hacker News
🍎Apple
This cash experiment cut child deaths in half. Here’s the catch.
vox.com·3d·
Discuss: Hacker News, Hacker News
🐫Embedded OCaml
Hide Capacitive Touch Buttons In Your Next 3D Print
hackaday.com·5d
🐫Embedded OCaml
"AI first" and the Bus Factor of 0
mindflash.org·5d·
Discuss: Hacker News
🤖Program Synthesis
One Prompt, Zero Engineers: Your New Internal Dev
a16z.com·5d·
Discuss: Hacker News
👁️System Observability
AirPods act like AirTags in helping traveler recover pickpocketed wallet
9to5mac.com·4d
🍎Apple
Stupidity as a Service
lawrenc.es·5d·
Discuss: Hacker News
🔍Formal Verification
LLM4Sweat: A Trustworthy Large Language Model for Hyperhidrosis Support
arxiv.org·3d
🎮Verification Games
From Basic Affordances to Symbolic Thought: A Computational Phylogenesis of Biological Intelligence
arxiv.org·3d
🏹Effect Systems
Apple drags ex-Apple Watch engineer to court over Oppo trade secret leak
9to5mac.com·3d
🍎Apple
Revealed: Israeli military’s own data indicates civilian death rate of 83% in Gaza war
theguardian.com·4d·
Discuss: Hacker News, r/worldnews
🛡️seL4
Adversarial Attacks against Neural Ranking Models via In-Context Learning
arxiv.org·3d
🎮Verification Games