On the Screen, Libyans Learned About Everything but Themselves (2021)
newlinesmag.com·1d·
Discuss: Hacker News
💾Retro Computing
Ricoh Released GR IV
news.ricoh-imaging.co.jp·6d·
Discuss: Hacker News
📦Unikernel Systems
The Great French Fry Mystery
longreads.com·5d·
Discuss: Hacker News
🍎Apple
7 years later, Valve's Proton has been a game-changer for Linux
gamingonlinux.com·5d·
Discuss: Hacker News, r/SteamDeck
🔬Unikernels
The ROI of exercise
herman.bearblog.dev·4d·
Discuss: Hacker News
🏔️climbing
A Deep Dive into Apple's DNG Processing Vulnerability
msuiche.com·3d·
Discuss: Hacker News
💾Retro Computing
When AI optimizations miss the mark: A case study in array shape calculation
questdb.com·5d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Accelerating life sciences research
openai.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
AUR Chaos Malware: An Analysis
mh4ckt3mh4ckt1c4s.xyz·5d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
What's Good About Children's TV (1969)
theatlantic.com·5d·
Discuss: Hacker News
💾Retro Computing
Nvidia Introduces Spectrum-XGS Ethernet to Connect Distributed Data Centers
nvidianews.nvidia.com·3d·
Discuss: Hacker News
🏠HomeLab
My take: Myers-Briggs is a useful tool with evidence behind it
news.ycombinator.com·3d·
Discuss: Hacker News
➡️Category Theory
Sensors Could Permanently Fly in the mesosphere using photophoresis
universetoday.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Third Algorithm (AI, After Google and Social Media Feeds)
arcdigital.media·3d·
Discuss: Hacker News
🎮Verification Games
Vibe Debugging: Enterprises' Up and Coming Nightmare
marketsaintefficient.substack.com·4d·
Discuss: Substack, r/programming
👁️System Observability
Shillelagh: Query APIs Using SQL
github.com·6d·
Discuss: Hacker News
🐫OCaml
DOGE uploaded live copy of Social Security database to ‘vulnerable’ cloud server, says whistleblower
techcrunch.com·12h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
JavaScript lib for exchanging selective disclosure proofs
github.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Do What? Teaching Vision-Language-Action Models to Reject the Impossible
arxiv.org·2d
🔍Formal Verification
Automated surgical planning with nnU-Net: delineation of the anatomy in hepatobiliary phase MRI
arxiv.org·6d
✓Automated Theorem Proving