Monome grid programmable tactile instrument
monome.org·2d·
Discuss: Hacker News
🍎XNU Internals
How the System Works
thenewatlantis.com·2d·
Discuss: Hacker News
⚙️Operating System Design
A satellite just used AI to make its own decisions in space
thenextweb.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Build a Parking sensor with ESP32 board, LEDs and Ultrasonic distance sensor
poeticoding.com·2d·
Discuss: Hacker News
📦Unikernel Systems
How I get people talking about my personal blog posts
developerwithacat.com·1d·
Discuss: Hacker News
🛡️seL4
Using Fortune to Reinforce Habits
judy.co.uk·1d·
Discuss: Lobsters, Hacker News
💾Retro Computing
AI coding agents in CI/CD pipelines create new attack vectors
stepsecurity.io·3d·
Discuss: Hacker News
🔄Reproducible Builds
Throughput Upgrade (With Train Illustrations)
blog.healthchecks.io·2d·
Discuss: Hacker News
📡Network Protocol Design
Vibe Coding Goes Wrong As AI Wipes Entire Database
hackaday.com·3d
🔄Reproducible Builds
For Now, AI Helps IBM’s Bottom Line More Than Its Top Line
nextplatform.com·2d·
Discuss: Hacker News
💾Retro Computing
Polarforming Design for Movable Antenna Systems
arxiv.org·4d
📡Network Protocol Design
AI, Expert or Peer? -- Examining the Impact of Perceived Feedback Source on Pre-Service Teachers Feedback Perception and Uptake
arxiv.org·4d
✓Automated Theorem Proving
Maybe (personal finance app) v0.6.0, post-mortem
github.com·1d·
Discuss: Hacker News, Hacker News
🍎Apple
Unposed 3DGS Reconstruction with Probabilistic Procrustes Mapping
arxiv.org·2d
➡️Category Theory
The value of chess pieces according to Stockfish
lichess.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Routine: A Structural Planning Framework for LLM Agent System in Enterprise
arxiv.org·5d
⚙️PL Implementation
Hacker inserts destructive code in Amazon Q as update goes live
csoonline.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
How big tech is force-feeding us AI
bloodinthemachine.com·3d·
Discuss: Hacker News
🔬Unikernels
Robust Control with Gradient Uncertainty
arxiv.org·5d
🧪Property-Based Testing
Hacker slips malicious 'wiping' command into Amazon's Q AI coding assistant
zdnet.com·2d·
Discuss: Hacker News
🔄Reproducible Builds