un-inquiry-finds-top-israeli-officials-incited-genocide-gaza-2025-09-16 at Reuters
reuters.com·6h·
Discuss: Hacker News
🛡️seL4
Honolulu engineer creates fabric of the future out of chicken feathers
khon2.com·2h·
Discuss: Hacker News
🤖Program Synthesis
White House MAHA Report (Make Citations Great Again)
aidarwinawards.org·1d·
Discuss: Hacker News
🤖Program Synthesis
PauseR – Open-Source Plugin: Pause Minority Mode for RabbitMQ with Khepri
seventhstate.io·5d·
Discuss: Hacker News
⎈Kubernetes
Gauss, an Agent for Autoformalization
math.inc·4d·
Discuss: Hacker News, Hacker News, Hacker News
✓Automated Theorem Proving
Auth Migration Hell: Why Your Next Identity Project Might Keep You Up at Night
securityboulevard.com·5d·
Discuss: Hacker News
🛡️seL4
Upgradable Laptop GPUs Have Arrived
spectrum.ieee.org·3d·
Discuss: Hacker News, Hacker News, r/technews
💾Retro Computing
2025 Lasker Award Winners
laskerfoundation.org·3d·
Discuss: Hacker News
🐫OCaml
Linux 6.17 Fix Lands To Address Regression With "Serious Breakage" In Hibernation
phoronix.com·4d·
Discuss: Lobsters, r/cachyos
🔧Unikernel Development
Half of tech firms plotting restructures as AI hype bites
theregister.com·22h·
Discuss: Hacker News
🧗Climbing Tech
Domain-Driven Design with TypeScript Decorators and Reflection
auslake.vercel.app·4d·
Discuss: r/programming
💎Refinement Types
Apple Says Installing iOS 26 Might Impact Battery Life
macrumors.com·21h·
Discuss: Hacker News, r/technews
🍎Apple
How Maintainer Burnout Is Causing a Kubernetes Security Disaster
thenewstack.io·4d·
Discuss: Hacker News
⎈Kubernetes
How the EU’s Cyber Act Burdens Lone Open Source Developers
thenewstack.io·4d
🔧Unikernel Development
3D Modeling with Paper as an Alternative to 3D printing
hackaday.com·2d
📝Term Rewriting
Scaffolding for production vibe coding
interjectedfuture.com·6d·
Discuss: Hacker News
🔬Static Analysis
Pragmatic Frames Evoked by Gestures: A FrameNet Brasil Approach to Multimodality in Turn Organization
arxiv.org·1d
📐Denotational Semantics
SSL-AD: Spatiotemporal Self-Supervised Learning for Generalizability and Adaptability Across Alzheimer's Prediction Tasks and Datasets
arxiv.org·1d
📚Automata Learning
Deep Global Model Reduction Learning in Porous Media Flow Simulation
arxiv.org·4d
🐫OCaml
Breaking the Statistical Similarity Trap in Extreme Convection Detection
arxiv.org·4d
💎Refinement Types