🏗️ 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·1d·
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·23h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Data Engineering in the Age of AI
oreilly.com·15h
🛡️Privacy Engineering
Flag this post
React and Svelte had a secret love child…
youtube.com·9h
🎯GADT
Flag this post
I Built a Local Dev Tool for ChatGPT Apps SDK
itsnikhil.github.io·1d·
Discuss: Hacker News
🔌IOKit
Flag this post
Lowering in Reverse
buttondown.com·3d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Structured data access layer for AI agents
docs.pylar.ai·1d·
Discuss: Hacker News
🛡️seL4
Flag this post
The future of LLMs: cognitive core and cartridges?
killerstorm.github.io·1d·
Discuss: Hacker News
❓Existential Types
Flag this post
Load Balancing 100,000 WebSockets (and Somehow Surviving It)
dev.to·2d·
Discuss: DEV
🔧DevOps
Flag this post
Model Predictive Control with Multiple Constraint Horizons
arxiv.org·1d
🔍CBMC
Flag this post
Towards Transparent Stance Detection: A Zero-Shot Approach Using Implicit and Explicit Interpretability
arxiv.org·22h
📚Automata Learning
Flag this post
Balancing Cost, Power, and AI Performance
oreilly.com·2d
🧠Automated Reasoning
Flag this post
Screeps: MMO RTS sandbox game for programmers
github.com·15h·
Discuss: Hacker News
🔧DevOps
Flag this post
SAIL-RL: Guiding MLLMs in When and How to Think via Dual-Reward RL Tuning
arxiv.org·1d
📚Automata Learning
Flag this post
Language-Enhanced Generative Modeling for PET Synthesis from MRI and Blood Biomarkers
arxiv.org·1d
📚Automata Learning
Flag this post
How AI Coding Agents Are Reshaping Developer Workflows
dev.to·1d·
Discuss: DEV
🔧DevOps
Flag this post
A Simple and Repeatable Approach to Evaluating LLM Outputs
dev.to·1d·
Discuss: DEV
💎Refinement Types
Flag this post
How reliable are AI agents?
dev.to·16h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post