Nice Pitch From Dieter Bohn for the Samsung Galaxy Z Fold 7
df4.us·3d·
Discuss: X
🍎Apple
A few dozen people in the world have a rare genetic mutation that gives them the ability to fight off all viruses
cuimc.columbia.edu·3d·
Discuss: Hacker News, r/science
📡Network Protocol Design
Google Calendar invites let researchers hijack Gemini to leak user data
bleepingcomputer.com·3d·
Discuss: Hacker News
📦Unikernel Systems
How Does a Blind Model See the Earth?
outsidetext.substack.com·6d·
Discuss: Substack
🔠Type-Level Programming
Stop Whispering Updates
updates.supanotice.com·6d·
Discuss: Hacker News, Hacker News
🍎Apple
No digital sovereignty without open source, warns OSBA
heise.de·5d·
Discuss: Hacker News, r/opensource, r/programming
🔬Unikernels
Bypass PostgreSQL catalog overhead with direct partition hash calculations
shayon.dev·6d·
Discuss: Lobsters, Hacker News, r/programming
💾Retro Computing
Say No to Venn Diagrams When Explaining JOINs (2016)
blog.jooq.org·4d·
Discuss: Hacker News
➡️Category Theory
It's Nothing But Its a Start
preview.redd.it·4d·
Discuss: r/homelab
🔬Unikernels
Building Safeguards for Claude
anthropic.com·6d·
Discuss: Hacker News
🛡️seL4
Zero-Shot Cellular Trajectory Map Matching
arxiv.org·5d
💻CS
ClimateSOM: A Visual Analysis Workflow for Climate Ensemble Datasets
arxiv.org·5d
✓Automated Theorem Proving
Evaluating Large Language Models as Expert Annotators
arxiv.org·5d
✓Automated Theorem Proving
Sensory robustness through top-down feedback and neural stochasticity in recurrent vision models
arxiv.org·5d
🏹Effect Systems
2025 One Hertz Challenge: A Game Of Life
hackaday.com·4d
🍎XNU Internals
Stack Overflow is trying to honeypot their data dump
meta.stackexchange.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Best way to backup information?
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab
Multimodal LLM-based Query Paraphrasing for Video Search
arxiv.org·3d
🐫OCaml
LEAVES: Learning Views for Time-Series Biobehavioral Data in Contrastive Learning
arxiv.org·3d
💻CS
Digital sovereignty and the FOSS-stack at school. (WHY2025)
cdn.media.ccc.de·6d
🔬Unikernels