USCIS: The First A-File
uscis.gov·4d·
Discuss: Hacker News
🛡️seL4
Oracle leapfrogs petabyte barrier with release 8 (1997)
route-fifty.com·5d·
Discuss: Hacker News
🔠Type-Level Programming
Consider the Hermit Crab
slate.com·6d·
Discuss: Hacker News
💾Retro Computing
Scalable metasurface-enhanced supercool cement
science.org·5d·
Discuss: Hacker News, Hacker News
🔄Reproducible Builds
Class Dismissed
joincolossus.com·5d·
Discuss: Hacker News, Hacker News
🍎Apple
The Two Versions of Parquet
jeronimo.dev·5d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
In the long run, LLMs make us dumber
desunit.com·4d·
Discuss: Hacker News
🎮Verification Games
Ten Developer Commandments: Practical rules for modern software builders
tyleo.com·5d·
Discuss: Hacker News
🔄Reproducible Builds
Invisible Hands on the Scale
culturalcourage.substack.com·4d·
Discuss: Substack
🍎Apple
How is it possible to run Wordpad by just typing its name? (2011)
devblogs.microsoft.com·4d·
Discuss: Hacker News
📦Unikernel Systems
Fuzzing Hardware Like Software (2021)
arxiv.org·6d·
Discuss: Hacker News
🔬Unikernels
‘It’s almost tragic’: Bubble or not, the AI backlash is validating what one researcher and critic has been saying for years
fortune.com·2d·
Discuss: Hacker News
💾Retro Computing
YouTube is Secretly Editing Users’ Videos Without Their Consent
petapixel.com·1d·
Discuss: Hacker News
🍎Apple
From 5G RAN Queue Dynamics to Playback: A Performance Analysis for QUIC Video Streaming
arxiv.org·4d
📡Network Protocol Design
Should I pull the trigger on getting this server for virtualization?
i.redd.it·6d·
Discuss: r/homelab
🏠HomeLab
The Chilling: Identifying Strategic Antisocial Behavior Online and Examining the Impact on Journalists
arxiv.org·4d
🌐NetworkProtocols
CarPlay is about to get one of Apple’s best recent iPhone features
9to5mac.com·6d
🍎Apple
Integrated Sensing, Communication, and Computation for Over-the-Air Federated Edge Learning
arxiv.org·4d
⚙️Operating System Design
Meta poaches yet another AI researcher from Apple, the sixth in seven weeks
9to5mac.com·4d
🍎Apple
Building AI Products in the Probabilistic Era
giansegato.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving