Amazon expands Kindle Colorsoft with 16 GB model for kids
aboutamazon.com·1d·
Discuss: Hacker News
🔬Unikernels
GNOME Calendar: A New Era of Accessibility Achieved in 90 Days
tesk.page·1d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
The unique human body part that evolution cannot explain
independent.co.uk·12h·
Discuss: Hacker News
➡️Category Theory
Testing an Event Ingestion Service: A Deep Dive into Our Approach
blog.scottlogic.com·2d·
Discuss: Hacker News
👁️System Observability
An Engineer's Guide to AI Code Model Evals
addyosmani.com·1d·
Discuss: r/programming, r/webdev
🤖Program Synthesis
The AIs Don't Agree
accelerateordie.com·3d·
Discuss: Hacker News
🍎XNU Internals
Build a Parking sensor with ESP32 board, LEDs and Ultrasonic distance sensor
poeticoding.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Show HN: An API for human-powered browser tasks
browser-work.com·4d·
Discuss: Hacker News
👁️System Observability
Interactive Programming in C (2014)
nullprogram.com·2d·
Discuss: Hacker News
🎮Verification Games
The Stripe Experience You Deserve
answer.ai·3d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Three Decades of OpenWindows (2024)
vcojot.blogspot.com·3d·
Discuss: Hacker News
💾Retro Computing
Oso Focuses on Fine-Grained Authorization To Thwart AI Risks
thenewstack.io·1d
🛡️seL4
Can't keep up with the latest in AI? Listen to any blog on your phone for free
github.com·4d·
Discuss: Hacker News
🍎XNU Internals
The Risk in AI Products: Fragmented Enterprise Knowledge
medium.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Vibecoding a High Performance System
andrewkchan.dev·3d·
Discuss: Hacker News
👁️System Observability
Amazon AI coding agent hacked to inject data wiping commands
bleepingcomputer.com·2h·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: Digital Twin Proxy – Turn web browsing into memory for AI agents
github.com·1d·
Discuss: Hacker News
🔬Unikernels
AI Telephone Surveying: Automating Quantitative Data Collection with an AI Interviewer
arxiv.org·1d
✓Automated Theorem Proving
TCM-Tongue: A Standardized Tongue Image Dataset with Pathological Annotations for AI-Assisted TCM Diagnosis
arxiv.org·22h
🐫OCaml
Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
arxiv.org·1d
📦Unikernel Systems