Need help with security headers
phocoservices.com·5d·
Discuss: r/programming
💾Retro Computing
Firefox bug that's 24 years old
bugzilla.mozilla.org·1d·
Discuss: Hacker News
🧪Property-Based Testing
CRDT: Text Buffer by Evan Wallace
madebyevan.com·2d·
Discuss: Hacker News
📡Network Protocol Design
New Text Emphasis Methods for the Web
alexanderbass.com·3d·
Discuss: Hacker News
🏹Effect Systems
I guess I was wrong about AI persuasion
dynomight.net·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Apple Watch helps user discover brain tumor after unusual heart rate alerts
9to5mac.com·23h
🍎Apple
Alphabet of Human Thought
en.wikipedia.org·1d·
Discuss: Hacker News
➡️Category Theory
Microsoft Workers Protesting Israel Ties Say They’ve Occupied HQ
bloomberg.com·2d·
Discuss: Hacker News
⎈Kubernetes
Why we should thank pigeons for our AI breakthroughs
technologyreview.com·4d·
Discuss: Hacker News, Hacker News
🎮Verification Games
We used AI to analyse three cities. It’s true: we now walk more quickly and socialise less | Carlo Ratti
theguardian.com·3d·
Discuss: Hacker News
🎮Verification Games
Microsoft and Asus’ answers to SteamOS and the Steam Deck launch on October 16
arstechnica.com·1d·
Discuss: Hacker News
📦Unikernel Systems
A Global Dataset of Location Data Integrity-Assessed Reforestation Efforts
arxiv.org·4d
🧱Immutable Infrastructure
From Smartphone to a Home Server
hackaday.com·5d
🔬Unikernels
SeamlessFlow: A Trainer Agent Isolation RL Framework Achieving Bubble-Free Pipelines via Tag Scheduling
arxiv.org·4d
⚙️Operating System Design
M3PO: Multimodal-Model-Guided Preference Optimization for Visual Instruction Following
arxiv.org·3d
🐫OCaml
Group Fair Matchings using Convex Cost Functions
arxiv.org·3d
🔠Type-Level Programming
The PC In Your Pico
hackaday.com·3d
💾Retro Computing
Mitigating Easy Option Bias in Multiple-Choice Question Answering
arxiv.org·2d
✓Automated Theorem Proving
The VLF Transformation
hackaday.com·2d
💾Retro Computing
iOS 26 makes Apple’s killer autofill code feature even better
9to5mac.com·1d
🍎Apple