'Chuck E. Cheese' handcuffed and arrested in Florida on charges of using a stolen credit card
nbcnews.com·1d·
Discuss: Hacker News
🛡️seL4
Why Doesn't the US Use 220V Like Everyone Else in the World? (2021)
kathylovesphysics.com·1d·
Discuss: Hacker News
🍎Apple
The perils of the real client IP (2022)
adam-p.ca·8h·
Discuss: Hacker News
📡Network Protocol Design
What MBA students reveal about inequality in America
promarket.org·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Scientists Created Room-Temperature Time Crystals
popularmechanics.com·7h·
Discuss: Hacker News
💾Retro Computing
The Planets Today
theplanetstoday.com·1d·
Discuss: Hacker News
🍎Apple
Cara – High Precision Robot Dog Using Rope
aaedmusa.com·3d·
Discuss: Hacker News
💾Retro Computing
Show HN: I just published my practical guide to building a database server
leanpub.com·6d·
Discuss: Hacker News
🔄Reproducible Builds
Replace dependency injection and mocking with algebraic effects
olleharstedt.github.io·6d·
Discuss: r/programming, r/webdev
🏹Effect Systems
Fast(er)API: Optimizing Processing Time
fabridamicelli.github.io·5d·
Discuss: Hacker News
🌐NetworkProtocols
Guns and Violence
rajivsethi.substack.com·1d·
Discuss: Substack
🔬Unikernels
Throughput Upgrade (With Train Illustrations)
blog.healthchecks.io·2d·
Discuss: Hacker News
📡Network Protocol Design
Signal vs. Noise: How AI Slop Kills Conversation
eric.mann.blog·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Impact of AI on Tech Content Creators
chriscoyier.net·3d·
Discuss: Hacker News
✓Automated Theorem Proving
The Pg_meminfo Postgres Extension
github.com·1d·
Discuss: Hacker News
🔬Unikernels
Purchase and Production Optimization in a Meat Processing Plant
arxiv.org·4d
🤖Program Synthesis
Software Sprawl, the Golden Path, and Scaling Teams with Agency
charity.wtf·2d·
Discuss: Hacker News
🔄Reproducible Builds
MARSCalib: Multi-robot, Automatic, Robust, Spherical Target-based Extrinsic Calibration in Field and Extraterrestrial Environments
arxiv.org·3d
🔍Formal Verification
Ask HN: Built a new aggregated search engine for shopping
news.ycombinator.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Recursive and non-recursive filters for sequential smoothing and prediction with instantaneous phase and frequency estimation applications (extended version)
arxiv.org·5d
🐫Embedded OCaml