📦 Opam

OCaml Packages, Version Management, Dependencies, Repository

I am torn about using Lo
reddit.com·15h·
Discuss: r/golang
🔤Language Design
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
medium.com·22h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
CHERIoT 1.0 Released
cheriot.org·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Flag this post
Defeating KASLR by Doing Nothing at All
googleprojectzero.blogspot.com·1d·
Discuss: googleprojectzero.blogspot.com, Lobsters, Hacker News
🔧Unikernel Development
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·4d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·1d
📚Automata Learning
Flag this post
The Paranoid Guide to Running Copilot CLI in a Secure Docker Sandbox
gordonbeeming.com·17h·
Discuss: Hacker News
🐳Containerization
Flag this post
Free Functions Don't Change Performance (Much)
16bpp.net·1d·
Discuss: Hacker News, r/cpp
🏃Escape Analysis
Flag this post
Design-Based Supply Chain Operations Research Model: Fostering Resilience And Sustainability In Modern Supply Chains
arxiv.org·1h
🕸️Graph Theory
Flag this post
TypeScript Rewrote Itself in Go?! What That “10x Faster” Hype Really Means
dev.to·14h·
Discuss: DEV
🔧ppx
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·2d
🐫OCaml
Flag this post
iPod for Android
github.com·18h·
Discuss: Hacker News
🍎Apple
Flag this post
Show HN: I built a CLI tool to automatically break up large PRs
github.com·13h·
Discuss: Hacker News
💻CLI Tools
Flag this post
Building TransMonkey: Lessons Learned from Creating an AI Translation Platform
dev.to·3h·
Discuss: DEV
💎Refinement Types
Flag this post
SAIL-RL: Guiding MLLMs in When and How to Think via Dual-Reward RL Tuning
arxiv.org·1h
📚Automata Learning
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·2d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Pg_lake: Postgres with Iceberg and data lake access
github.com·14h·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Flag this post
Why agents DO NOT write most of our code - a reality check
dev.to·1d·
Discuss: DEV
🧪Property-Based Testing
Flag this post
RIS-Assisted 3D Spherical Splatting for Object Composition Visualization using Detection Transformers
arxiv.org·1h
🔧Microcontrollers
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
🔍Formal Verification
Flag this post