🏗️ Dune

OCaml Build System, Package Management, Compilation, Monorepos

Show HN: Why We're Building Creativity and Game Dev Clubs for Kids
breaka.club·1d·
Discuss: Hacker News
🎮Verification Games
Flag this post
Coding on Paper
thepalindrome.org·16h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Protecting Against Open-Source Malicious Packages: What Doesn't Work
xygeni.io·21h·
Discuss: Hacker News
🔬Reverse Engineering
Flag this post
Make Cargo & Rust Analyzer Nice to Keep Your Machine Snappy
positron.solutions·4d·
Discuss: r/rust
❄️Nix Flakes
Flag this post
Do I want Coders to Code?
yeikoff.xyz·3d·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Reasoning with Sampling: Your Base Model Is Smarter Than You Think
aakaran.github.io·13h·
Discuss: Hacker News
📚Automata Learning
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·5d·
Discuss: Lobsters, Hacker News
💻CLI Tools
Flag this post
Enhanced Targeted Drug Delivery via Bio-Responsive Mesoporous Silica Nanoparticles with Dynamic Ligand Release
dev.to·3h·
Discuss: DEV
📦OPAM
Flag this post
How to Containerize an Application.
dev.to·19h·
Discuss: DEV
🐋Docker
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·4d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Building an AI Code Helper Agent with Mastra Framework and Telex.im Integration
dev.to·3d·
Discuss: DEV
🔧DevOps
Flag this post
CharlotteOS – An Experimental Modern Operating System
github.com·5d·
Discuss: Hacker News, r/opensource
🔧Unikernel Development
Flag this post
Natural Building Blocks for Structured World Models: Theory, Evidence, and Scaling
arxiv.org·2d
🔲Cellular Automata
Flag this post
Create a Text Editor With Go - Enter raw mode
dev.to·1d·
Discuss: DEV
🍎Mach-O Format
Flag this post
Show HN: I'm open sourcing my Chrome extension that uses AI to modify websites
github.com·1d·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Hemorica: A Comprehensive CT Scan Dataset for Automated Brain Hemorrhage Classification, Segmentation, and Detection
arxiv.org·1h
🧩Separation Logic
Flag this post
Why agents DO NOT write most of our code - a reality check
dev.to·3d·
Discuss: DEV
🧪Property-Based Testing
Flag this post
SSPO: Subsentence-level Policy Optimization
arxiv.org·1h
🧩Parser Combinators
Flag this post
Load Balancing 100,000 WebSockets (and Somehow Surviving It)
dev.to·2d·
Discuss: DEV
🔧DevOps
Flag this post
Accelerating MySQL Query Optimization via Reinforcement Learning & Hypergraph Analysis
dev.to·11h·
Discuss: DEV
🧠Automated Reasoning
Flag this post