Transition to using 16 KB page sizes for Android apps and games using Android Studio
android-developers.googleblog.com·1d·
Discuss: android-developers.googleblog.com, Hacker News
🔬Unikernels
A Mental Model for C++ Coroutine
uvdn7.github.io·12h·
Discuss: Hacker News
🏹Effect Systems
Struggling with light weight audio routing container
i.redd.it·2d·
Discuss: r/homelab
🏠HomeLab
Publish all your crates everywhere all at once
tweag.io·2d·
Discuss: Hacker News
⎈Kubernetes
Do You know how to batch?
blog.frankel.ch·5d·
Discuss: r/SoftwareEngineering, r/programming
👁️System Observability
Program for Framework 16 LED Matrix
boyne.dev·2d·
Discuss: Hacker News
💾Retro Computing
Claude Code vs Gemini CLI: Which One’s the Real Dev Co-Pilot?
milvus.io·3d·
Discuss: Hacker News
🤖Program Synthesis
Breaking down the Zero-Click AI Vulnerability Enabling Data Ex-filtration Through Calendar Invites in Eleven-labs Voice Assistants
repello.ai·1d·
Discuss: Hacker News, Hacker News, r/programming
✓Automated Theorem Proving
At my wits end..
i.redd.it·14h·
Discuss: r/homelab
💾Retro Computing
Reinforcement Learning with Action Chunking
arxiv.org·1d
🎮Verification Games
Libpostal: C library for parsing/normalizing street addresses around the world
github.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
The hidden cost of AI reliance
codebytom.blog·2d·
Discuss: Hacker News, r/programming
✓Automated Theorem Proving
VisioPath: Vision-Language Enhanced Model Predictive Control for Safe Autonomous Navigation in Mixed Traffic
arxiv.org·2d
🔄Finite State Machines
KeyKnowledgeRAG (K^2RAG): An Enhanced RAG method for improved LLM question-answering capabilities
arxiv.org·1d
🎮Verification Games
Nvidia Unveils Helix Parallelism: 32x Faster AI Inference
storagereview.com·11h·
Discuss: Hacker News
⚙️Operating System Design
Linux 6.15.6, 6.12.37 LTS & Other Stable Kernels Deliver TSA Mitigations
phoronix.com·1d·
Discuss: Hacker News
🔬Unikernels
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.org·1d
✓Automated Theorem Proving
Ask HN: What's blocking your AI agents from moving beyond proof-of-concept?
news.ycombinator.com·18h·
Discuss: Hacker News
🛡️seL4
How Unified Orchestration Helps Cut Cloud Costs by 40%
thenewstack.io·17h
🔄Reproducible Builds
5 Underappreciated JavaScript Libraries To Try in 2025
thenewstack.io·1d
🔬Unikernels