🏗️ Dune

OCaml Build System, Package Management, Compilation, Monorepos

Kroxylicious
kroxylicious.io·14h·
Discuss: Lobsters
❄️NixOS
Flag this post
How to set up Emacs as an SVG editor
monospace.games·8h·
Discuss: Hacker News
💾Classic Mac OS
Flag this post
CHERIoT 1.0 Released
cheriot.org·4d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
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·2d·
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·13h·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Show HN: Solv – Stateless Offline-capable LiveView – Prototype 03
github.com·6h·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Assessing Climate Vulnerability Risk for Substations in Massachusetts Via Sensitivity Analysis
arxiv.org·21h
🩹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
📚Enterprise Design Patterns: Table Module with Python Example
dev.to·2d·
Discuss: DEV
📦Module Systems
Flag this post
Code Never Lies, It Just Mirrors the Coder
dev.to·1d·
Discuss: DEV
🔬Static Analysis
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·2d
📡Network Protocol Design
Flag this post
Need advice: Building a home server / NAS to replace my Dropbox + rented server setup
reddit.com·8h·
Discuss: r/homelab
🏠HomeLab
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·3d
🧠Automated Reasoning
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.org·3d
🔲Cellular Automata
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
Understanding New-Knowledge-Induced Factual Hallucinations in LLMs: Analysis, Solution, and Interpretation
arxiv.org·2d
🛡️seL4
Flag this post