📦 OPAM

OCaml Packages, Dependency Management, Package Repository

MS-DOS Development with GCC
hackaday.com·14h·
Discuss: Hacker News
💾Retro Computing
Flag this post
AWK technical notes (2023)
maximullaris.com·8h·
Discuss: Lobsters
🔀Brzozowski Derivatives
Flag this post
Bold Devlog - October Summary
bold-edit.com·1d·
Discuss: r/programming
🔬Static Analysis
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·3d·
Discuss: Hacker News, r/rust
🏗️Dune
Flag this post
Show HN: AI Resource Manager
github.com·3d·
Discuss: Hacker News
📦Opam
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·3d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Flag this post
Circular dependency check in Python
dev.to·2d·
Discuss: DEV
🔬Static Analysis
Flag this post
Building a Message-to-SQL AI Agent with Mastra and Telex.im
dev.to·7h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
ClipTagger-12B VLM: Frame Captioning Tutorial
dev.to·11h·
Discuss: DEV
🔀OCaml Multicore
Flag this post
🚀 Exploring Go’s Core Features in Depth
dev.to·14h·
Discuss: DEV
λFunctional Programming
Flag this post
Building Code Mentor: An AI Agent That Creates Learning Roadmaps Using Mastra & Telex
dev.to·1d·
Discuss: DEV
🌐ActivityPub
Flag this post
Why AI Needs Human Oversight for Architecture: A Real Refactoring Story
dev.to·16h·
Discuss: DEV
🏃Escape Analysis
Flag this post
Vercel AI SDK 6 Beta
v6.ai-sdk.dev·2d·
Discuss: Hacker News
💎Refinement Types
Flag this post
Evaluating the effectiveness of LLM-based interoperability
arxiv.org·4d
📦Opam
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·12h·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·16h·
Discuss: Substack
🔀OCaml Multicore
Flag this post
Chain of Pattern: Rethink
dev.to·7h·
Discuss: DEV
🔤Language Design
Flag this post
Predictive Model-Based Design Validation via Dynamic Bayesian Network Fusion
dev.to·1d·
Discuss: DEV
🔍CBMC
Flag this post
Reactive Tree Management in Nuxt 4: How I Modeled Complex Hierarchies with Pinia
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Flag this post