📦 Opam

OCaml Packages, Version Management, Dependencies, Repository

Real-time stock volatility prediction with deep learning on a time-series DB
medium.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
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
CHERIoT 1.0 Released
cheriot.org·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Flag this post
The Paranoid Guide to Running Copilot CLI in a Secure Docker Sandbox
gordonbeeming.com·20h·
Discuss: Hacker News
🐳Containerization
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·1d·
Discuss: Lobsters, Hacker News
🎯GADT
Flag this post
Why AI Can't Write Good Software
blog.jpillora.com·19h·
Discuss: Hacker News
🔤Language Design
Flag this post
Free Functions Don't Change Performance (Much)
16bpp.net·1d·
Discuss: Hacker News, r/cpp
🏃Escape Analysis
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·17h·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Flag this post
RIS-Assisted 3D Spherical Splatting for Object Composition Visualization using Detection Transformers
arxiv.org·4h
🔧Microcontrollers
Flag this post
Show HN: I built a CLI tool to automatically break up large PRs
github.com·17h·
Discuss: Hacker News
💻CLI Tools
Flag this post
Building TransMonkey: Lessons Learned from Creating an AI Translation Platform
dev.to·7h·
Discuss: DEV
💎Refinement Types
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
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
🔍Formal Verification
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.org·4h
🎮Verification Games
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
Building an AI Code Helper Agent with Mastra Framework and Telex.im Integration
dev.to·2d·
Discuss: DEV
🔧DevOps
Flag this post
Gamma convergence for a phase-field cohesive energy
arxiv.org·1d
🔲Cellular Automata
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
github.com·17h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Octocode MCP – AI Researcher for Smart, Deep Multi-Repo Code Context
github.com·2d·
Discuss: Hacker News
💬Mach Messages
Flag this post