🏗️ Dune

OCaml Build System, Package Management, Compilation, Monorepos

Kroxylicious
kroxylicious.io·17h·
Discuss: Lobsters
❄️NixOS
Flag this post
Developing desktop apps from scratch: A feature checklist
alek-tron.com·2d·
Discuss: Hacker News
📺Vintage Apple
Flag this post
Continuous Autoregressive Language Models
shaochenze.github.io·3d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·6d·
Discuss: Hacker News, r/rust
🏃Escape Analysis
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·5d·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
Build a System to Learn and Remember Technical Topics as a Developer
spin.atomicobject.com·16h·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Show HN: Solv – Stateless Offline-capable LiveView – Prototype 03
github.com·9h·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Assessing Climate Vulnerability Risk for Substations in Massachusetts Via Sensitivity Analysis
arxiv.org·1d
🩹Self-Healing Systems
Flag this post
Fixing failing health checks to ensure near 100% uptime/HA in K8s
reddit.com·1d·
Discuss: r/kubernetes
⎈Kubernetes
Flag this post
Show HN: Elden Stack – A mini game where your stack overflows in glorious combat
github.com·1d·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Managing long contexts in agentic coding systems
cto.new·2d·
Discuss: Hacker News
🔤Language Design
Flag this post
Tech With Tim: Is This the Fastest App Build Ever? (Base44 Demo)
dev.to·3h·
Discuss: DEV
💻Apple Virtualization
Flag this post
Code Never Lies, It Just Mirrors the Coder
dev.to·1d·
Discuss: DEV
🔬Static Analysis
Flag this post
A Practical Gemini-Integrated Debian Concept, Inspired by My Larger NeuroShellOS Vision
dev.to·16h·
Discuss: DEV
💻QEMU
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·3d
📡Network Protocol Design
Flag this post
Need advice: Building a home server / NAS to replace my Dropbox + rented server setup
reddit.com·11h·
Discuss: r/homelab
🏠HomeLab
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.org·4d
🔲Cellular Automata
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·4d
🧠Automated Reasoning
Flag this post
From Manual Testing to AI Agents: A 90-Day Transformation Roadmap
dev.to·3h·
Discuss: DEV
👁️System Observability
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
dev.to·3d·
Discuss: DEV
✓Automated Theorem Proving
Flag this post