📦 OPAM

OCaml Packages, Dependency Management, Package Repository

Viruses of the Mind
grokipedia.com·21h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Announcing the Lean TDD book
pythontest.com·1d
🔄Reproducible Builds
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·1d·
Discuss: Hacker News, Hacker News
🏃Escape Analysis
Flag this post
Revisiting interface segregation in Go
rednafi.com·2d·
Discuss: Hacker News, r/golang
💎Refinement Types
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·3d·
Discuss: Lobsters, Hacker News
🔍Type Inference
Flag this post
Pressure to change
maryrosecook.com·1d·
Discuss: Hacker News
🧪Concolic Testing
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Part 2: Building MCP Servers to Control a Home Coffee Roaster - An Agentic Development Journey with Warp Agent
dev.to·19h·
Discuss: DEV
🏠HomeLab
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·4d·
Discuss: Hacker News, r/rust
🏗️Dune
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·3d
➡️Category Theory
Flag this post
Building a Message-to-SQL AI Agent with Mastra and Telex.im
dev.to·14h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Create your first MCP server
dev.to·55m·
Discuss: DEV
💬Mach Messages
Flag this post
Circular dependency check in Python
dev.to·2d·
Discuss: DEV
🔬Static Analysis
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
Music in rust with tunes
reddit.com·9h·
Discuss: r/rust
💎Refinement Types
Flag this post
Walkie Talkie, an open source peer-to-peer iOS communicator
github.com·11h·
Discuss: Hacker News
🍎Apple
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.org·5h
📐Linear Algebra
Flag this post
Why AI Needs Human Oversight for Architecture: A Real Refactoring Story
dev.to·1d·
Discuss: DEV
🏃Escape Analysis
Flag this post
Show HN: AI Resource Manager
github.com·3d·
Discuss: Hacker News
📦Opam
Flag this post