🏗️ Dune

OCaml Build System, Package Management, Compilation, Monorepos

A few months with htmx
thomashunter.name·2d·
Discuss: Hacker News, r/htmx, r/webdev
🌐Network Protocols
Flag this post
Show HN: Why We're Building Creativity and Game Dev Clubs for Kids
breaka.club·1d·
Discuss: Hacker News
🎮Verification Games
Flag this post
Supercharging the ML and AI Development Experience at Netflix
netflixtechblog.medium.com·2d·
Discuss: Hacker News
💎Refinement Types
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·18h·
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·8h·
Discuss: DEV
📦OPAM
Flag this post
How to Containerize an Application.
dev.to·1d·
Discuss: DEV
🐋Docker
Flag this post
Why agents DO NOT write most of our code - a reality check
dev.to·4d·
Discuss: DEV
🧪Property-Based Testing
Flag this post
SSPO: Subsentence-level Policy Optimization
arxiv.org·6h
🧩Parser Combinators
Flag this post
Load Balancing 100,000 WebSockets (and Somehow Surviving It)
dev.to·2d·
Discuss: DEV
🔧DevOps
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·2d
📚Automata Learning
Flag this post
Bringing locally running LLM into your NodeJS project
dev.to·3d·
Discuss: DEV
🐳Containerization
Flag this post
2026 DSF Board Candidates
djangoproject.com·1d
🌐ActivityPub
Flag this post
EQ-Negotiator: Dynamic Emotional Personas Empower Small Language Models for Edge-Deployable Credit Negotiation
arxiv.org·1d
🧩Parser Combinators
Flag this post
Perceptions of AI Bad Behavior: Variations on Discordant Non-Performance
arxiv.org·6h
🔲Cellular Automata
Flag this post
**Bias-Free Data Curation: A Crucial Step in AI Ethics**
dev.to·19h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Mastering Logging in Python
dev.to·3h·
Discuss: DEV
📊Runtime Verification
Flag this post
Model Predictive Control with Multiple Constraint Horizons
arxiv.org·2d
🔍CBMC
Flag this post