🏗️ Dune

OCaml Build System, Package Management, Compilation, Monorepos

Async/Await is finally back in Zig
charlesfonseca.substack.com·1d·
Discuss: Substack
⚡Process Calculi
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·16h·
Discuss: Substack
📐Linear Algebra
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·11h·
Discuss: Hacker News
🛡️seL4
Flag this post
A Senior Engineer's Guide to the Model Context Protocol
dev.to·1d·
Discuss: DEV
💬Mach Messages
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·3d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·3d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
The Collapse of Centralized AI Discovery
aivojournal.org·3h·
Discuss: Hacker News
👁️Observability
Flag this post
Pressure to change
maryrosecook.com·1d·
Discuss: Hacker News
🧪Concolic Testing
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
dev.to·1d·
Discuss: DEV
🧮Lambda Calculus
Flag this post
MS-DOS Development with GCC
hackaday.com·21h·
Discuss: Hacker News
💾Retro Computing
Flag this post
Reactive Tree Management in Nuxt 4: How I Modeled Complex Hierarchies with Pinia
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
From product to system network challenges in system of systems lifecycle management
arxiv.org·5h
🧱Immutable Infrastructure
Flag this post
Deploy AI Applications on Google Colab - No Cost, No Server Needed
dev.to·35m·
Discuss: DEV
🖥Self-Hosting
Flag this post
Show HN: Calque, Snapshot Testing in Elixir
github.com·12h·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·21h·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
I built an faster Notion in Rust
imedadel.com·5d·
Discuss: Lobsters, Hacker News, r/rust
🏃Escape Analysis
Flag this post
Teach your RAG to learn from its mistakes — the smart way
dev.to·4h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
ClipTagger-12B VLM: Frame Captioning Tutorial
dev.to·18h·
Discuss: DEV
🔀OCaml Multicore
Flag this post
A portable picokernel for async I/O
ryansepassi.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post