🏗️ Dune

OCaml Build System, Package Management, Compilation, Monorepos

Show HN: I built a way to debug your deployed code on Vercel from your AI IDE
getreturn0.com·19h·
Discuss: Hacker News
👁️System Observability
Flag this post
Deploying Temporal on AWS ECS with Terraform
papnori.github.io·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Flag this post
Nimony v0.2 – early preview of Nim 3.0's compiler
nim-lang.github.io·3d·
Discuss: Hacker News
📦Opam
Flag this post
AI Native Architecture: Intelligence by Design
sumant.bearblog.dev·14h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Data Engineering in the Age of AI
oreilly.com·5h
🛡️Privacy Engineering
Flag this post
I Built a Local Dev Tool for ChatGPT Apps SDK
itsnikhil.github.io·1d·
Discuss: Hacker News
🔌IOKit
Flag this post
The future of LLMs: cognitive core and cartridges?
killerstorm.github.io·20h·
Discuss: Hacker News
❓Existential Types
Flag this post
Pint: Python library that makes units easy
github.com·14h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
pygixml — The Fastest XML Parser for Python (Beating lxml at Its Own Game)
dev.to·6h·
Discuss: DEV
📝Nix Language
Flag this post
Automated Material Mixing Optimization for Large-Scale 3D Printed Concrete Structures via Bayesian Reinforcement Learning
dev.to·14h·
Discuss: DEV
🤖Robotics
Flag this post
Bringing locally running LLM into your NodeJS project
dev.to·2d·
Discuss: DEV
🐳Containerization
Flag this post
⚡ Rethinking Prompt Engineering: How Agent Lightning’s APO Teaches Agents to Write Better Prompts
dev.to·6h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
**Bias-Free Data Curation: A Crucial Step in AI Ethics**
dev.to·1h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Load Balancing 100,000 WebSockets (and Somehow Surviving It)
dev.to·1d·
Discuss: DEV
🔧DevOps
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·1d
📚Automata Learning
Flag this post
EQ-Negotiator: Dynamic Emotional Personas Empower Small Language Models for Edge-Deployable Credit Negotiation
arxiv.org·13h
🧩Parser Combinators
Flag this post
Balancing Cost, Power, and AI Performance
oreilly.com·1d
🧠Automated Reasoning
Flag this post
Screeps: MMO RTS sandbox game for programmers
github.com·5h·
Discuss: Hacker News
🔧DevOps
Flag this post
Model Predictive Control with Multiple Constraint Horizons
arxiv.org·1d
🔍CBMC
Flag this post
How AI Coding Agents Are Reshaping Developer Workflows
dev.to·1d·
Discuss: DEV
🔧DevOps
Flag this post