📦 Opam

OCaml Packages, Version Management, Dependencies, Repository

Jetpack Compose Stability Analyzer: real-time IDE insights, runtime tracing and CI stability checks
github.com·16h·
Discuss: r/opensource, r/programming
📊Runtime Verification
Flag this post
Building an AI Code Helper Agent with Mastra Framework and Telex.im Integration
dev.to·17h·
Discuss: DEV
🔧DevOps
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·10h·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
Ansible Release 12: the Windows Vista Moment
blog.ipspace.net·18h·
Discuss: Hacker News
🌐Network Protocols
Flag this post
State of Terminal Emulators in 2025: The Errant Champions
jeffquast.com·2d·
Discuss: Lobsters, Hacker News, Hacker News
🔧Darwin Internals
Flag this post
Open Sourcing Kubetorch
run.house·8h·
Discuss: Hacker News
⎈Kubernetes
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·7h·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
The Geographic Imperative: How CockroachDB Turns Maps into Architecture
hackernoon.com·19h
🖥Self-Hosting
Flag this post
[D][P] PKBoost v2 is out! An entropy-guided boosting library with a focus on drift adaptation and multiclass/regression support.
reddit.com·13h·
Discuss: r/MachineLearning
🎯Hindley-Milner
Flag this post
Writing a DOS Clone in 2019
medium.com·20h·
Discuss: Hacker News
🔧Darwin Internals
Flag this post
The Development of Pie
terathon.com·2d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·2d·
Discuss: Lobsters, Hacker News
💻CLI Tools
Flag this post
Show HN: Calque, Snapshot Testing in Elixir
github.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·1d·
Discuss: Hacker News
🔍Formal Verification
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·4d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
A Friendly Tour of Process Memory on Linux
0xkato.xyz·1h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Do I want Coders to Code?
yeikoff.xyz·2h·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·19h
🔍CBMC
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·3d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post