🏗️ Dune

OCaml Build System, Package Management, Compilation, Monorepos

Firefox and Chromium
madaidans-insecurities.github.io·3h·
Discuss: Hacker News
🛡️macOS Security
Flag this post
Structured data access layer for AI agents
docs.pylar.ai·15h·
Discuss: Hacker News
🛡️seL4
Flag this post
Nimony v0.2 – early preview of Nim 3.0's compiler
nim-lang.github.io·2d·
Discuss: Hacker News
📦Opam
Flag this post
AI Native Architecture: Intelligence by Design
sumant.bearblog.dev·4h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Lowering in Reverse
buttondown.com·2d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
My Experience as a SDE Intern at AWS
simho.xyz·2d·
Discuss: Hacker News
🔧DevOps
Flag this post
The future of LLMs: cognitive core and cartridges?
killerstorm.github.io·10h·
Discuss: Hacker News
❓Existential Types
Flag this post
Understanding Value and Pointer Receivers in Go: Building a Crypto Tracker
dev.to·7h·
Discuss: DEV
λFunctional Programming
Flag this post
CharlotteOS – An Experimental Modern Operating System
github.com·4d·
Discuss: Hacker News, r/opensource
🔧Unikernel Development
Flag this post
Pint: Python library that makes units easy
github.com·5h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Automated Material Mixing Optimization for Large-Scale 3D Printed Concrete Structures via Bayesian Reinforcement Learning
dev.to·5h·
Discuss: DEV
🤖Robotics
Flag this post
Show HN: I'm open sourcing my Chrome extension that uses AI to modify websites
github.com·7h·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Why agents DO NOT write most of our code - a reality check
dev.to·2d·
Discuss: DEV
🧪Property-Based Testing
Flag this post
Using FreeBSD to make self-hosting fun again
dev.to·2d·
Discuss: DEV
🖥Self-Hosting
Flag this post
Pg_lake: Postgres with Iceberg and data lake access
github.com·1d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
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
Bringing locally running LLM into your NodeJS project
dev.to·2d·
Discuss: DEV
🐳Containerization
Flag this post
EQ-Negotiator: Dynamic Emotional Personas Empower Small Language Models for Edge-Deployable Credit Negotiation
arxiv.org·3h
🧩Parser Combinators
Flag this post
Load Balancing 100,000 WebSockets (and Somehow Surviving It)
dev.to·1d·
Discuss: DEV
🔧DevOps
Flag this post
Model Predictive Control with Multiple Constraint Horizons
arxiv.org·1d
🔍CBMC
Flag this post