-
OCaml Platform Newsletter: February to April 2025
-
Ocamlfind will not build on OS X Catalina if CLICOLOR=1
-
Easy parsing with reasonable error messages in OCaml's Angstrom
-
Doom GPU Flame Graphs
-
I Was About to Run terraform apply - Then I Saw the Price Tag
-
SAST vs SCA: Choosing the Right Source Code Security Scanning Tools
-
Vibe Check: Securing AI-Generated Code Using MCP
-
Awe – Modern compiler for Algol W
-
Roguetype: The first ever roguelike written in the OCaml type system
-
Standard ML idiosyncrasies
-
GitOps Best Practices to Improve Your Workflows
-
Verification-First Development
-
Show HN: Natural Language theorem prover for Propositional Logic
-
Deploying an AWS EKS Cluster with Terraform and GitHub Actions
-
Ask HN: What less-popular systems programming language are you using?
-
Tsonnet #5 - Pretty-printing JSON
-
The Austral programming language. (linear types and capability security)
-
Análise Estática de Código com AST
-
Tsonnet #2 - Cram tests to the rescue
-
Hedy: Textual Programming Made Easy
-
Tsonnet #1 - JSON literals
-
Zero Install
-
ABEND dump #15
-
Opengrep – A Open Source Fork of Semgrep
-
Porting PFP from Haskell to OCaml
-
OCaml 5.3 Released
-
Transcendental Syntax
-
Non-temporal store heuristics on the Apple M2
-
MIT study explains why laws are written in an incomprehensible style
-
Non-temporal store heuristics on the Apple M2
-
Non-temporal store heuristics on the Apple M2
-
OCaml Syntax Sucks
-
Terrateam, a GitOps CI/CD Platform, Is Open Source Now
-
Show HN: An implementation of Spartan type theory
-
On Building Git for Lawyers
-
WASM_of_OCaml: WebAssembly Support for OCaml
-
Aerospec: A natural blend between functional and imperative programming
-
Open Source on its own is no alternative to Big Tech
-
What do you think of a new language as better OCaml?
-
Show HN: Lighthigher, highlighting while preserving the HTML hierarchy
-
The SQLite Amalgamation
-
Whence '\N'?
-
COBOL has been "dead" for so long, my grandpa wrote about it
-
OCaml-Xla: XLA (Accelerated Linear Algebra) Bindings for OCaml
-
My first experience with OCaml
-
Synchronize Files between devices
-
Riot: An actor-model multi-core scheduler for OCaml 5
-
(OCaml) dune developer preview
-
Pragmatic Category Theory | Part 2: Composing Semigroups
-
How the OCaml type checker works