MySQL to MariaDB migration story of Switch.ch, Switzerland’s Open Source IT Backbone for Universities and Research
mariadb.org·4d·
Discuss: r/programming
📦Unikernel Systems
Using terminal-notifier in Claude Code to get custom notifications
andreagrandi.it·2d·
Discuss: Hacker News
❄️Nix
Show HN: A modern alternative to traditional fantasy name generators
nomenus.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
The Covert Hardware Implant: Part 1
rift.stacktitan.com·2d·
Discuss: Hacker News
💾Retro Computing
Google Cloud Creates 3 Levels Of Agentic Software Coding
forbes.com·3d·
Discuss: r/programming
🖥️Self-hosted Infrastructure
Rollback UX: What Fighting Game Netcode Can Teach AI Tool Designers
medium.com·6d·
Discuss: Hacker News
🎮Verification Games
Hono Shows the Way for Microframeworks in a Post-React World
thenewstack.io·1d
🖥️Self-hosted Infrastructure
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org·4d
🧪Property-Based Testing
Microbeam Decision Pathways for Goal-Aligned Autonomous Agents
news.ycombinator.com·4d·
Discuss: Hacker News
🔠Type-Level Programming
Coding Triangle: How Does Large Language Model Understand Code?
arxiv.org·4d
🤖Program Synthesis
Systemd's Nuts and Bolts
medium.com·4d·
Discuss: r/programming
⚙️Operating System Design
We solved AI API interoperability
supermemory.ai·5d·
Discuss: Hacker News
🐫OCaml
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·3d
✓Automated Theorem Proving
Reinforcement Learning with Action Chunking
arxiv.org·2d
🎮Verification Games
Libpostal: C library for parsing/normalizing street addresses around the world
github.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
I need help.
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Just got my first rack
reddit.com·14h·
Discuss: r/homelab
🏠HomeLab
AI coding tools make developers slower but they think they're faster, study finds
theregister.com·2d·
Discuss: Hacker News
👁️System Observability
VisioPath: Vision-Language Enhanced Model Predictive Control for Safe Autonomous Navigation in Mixed Traffic
arxiv.org·3d
🔄Finite State Machines
KeyKnowledgeRAG (K^2RAG): An Enhanced RAG method for improved LLM question-answering capabilities
arxiv.org·2d
🎮Verification Games