Cambridge computer science professor and OCaml compiler core maintainer Anil Madhavapeddy reported that AI agents can convert public vulnerability clues into working exploits within minutes, citing a …
Anil Madhavapeddy's NPTEL course "Functional Programming with OCaml" has enrolled 1,227 students in its first run, using a browser-based textbook that lets students edit and execute OCaml examples wit…
University of Michigan Associate Professor of Computer Science and Engineering Cyrus Omar presented a vision for a "live type-theoretic computational commons," a shared monorepo where humans and swarm…
Researchers at Microsoft Research, led by Nik Swamy, used AI coding agents to port and evolve a verified mark-and-sweep garbage collector for OCaml into a generational garbage collector, integrating i…
Google's blog post argues that Go is ideal for AI-assisted software engineering because its compiler provides a deterministic feedback loop for code verification, shifting the bottleneck from writabil…
As of late 2025, AI agents integrated into coding environments such as Claude Code, OpenAI Codex, and GitHub Copilot CLI have made automated formal proofs a reality, according to researchers who have …
Developer bneb released Zimple, a library of persistent data structures for Zig, including Vector, HAMT, and HashSet, using arenas for memory management and lazy iterators with anytype callables. The …
A developer argues that the 'boring tech stack' philosophy, which prioritizes reliability and risk minimization, is becoming obsolete in 2026 due to AI and LLMs. The author claims that costs for refac…
Eduardo Bellani argues that deep knowledge of programming languages remains essential in the age of AI-assisted coding because languages embody fundamental ideas about structuring thought and managing…
Pricklypear, a Lisp-like web framework written in OCaml that stores functions in a PostgreSQL database, allows users or AI agents to write and reload functions that render web pages. The creator repor…
Jacquard 0.1, a research prototype programming language designed for AI-written, human-reviewed code, has been released with a compact surface syntax, an OCaml checker and CPS interpreter, a C-emittin…
A Hacker News user asks whether renowned open-source software projects have begun allowing AI-generated pull requests, known as "vibe-coding," to be merged. The question references a rejected AI-gener…
A tutorial series on type inference begins, covering the Damas-Hindley-Milner type system, unification, bidirectional type-checking, Algorithm J, row polymorphism, newtype declarations, type annotatio…
After two years of using OCaml to rewrite the Austral compiler, the author shares a critical assessment of the language, highlighting its syntactic flaws and pragmatic shortcomings while acknowledging…
Developer Anil Madhavapeddy released ocaml-deepseek, an OCaml library that integrates DeepSeek's open-weight LLM directly into applications via a native inference engine, enabling local, dependency-fr…
Jane Street developed PyOCaml, a bridge between OCaml and Python, but faced memory management issues where Python objects represented in OCaml were deallocated late. Using OxCaml language extensions, …
A new OCaml course book for the NPTEL MOOC platform runs code directly in the browser with no installation or server, aiming to eliminate the setup barrier that has long plagued beginners. The book, w…
Developer Anil Madhavapeddy released TESSERA v1.1 and GeoTessera 0.9, improving temporal embeddings and S3+Zarr support, while also advancing io-uring libraries for OCaml. The updates address performa…
Orcaset, a framework for building financial statement models, resolves circular import errors in Python by using local import statements that delay module loading until functions are executed. This ap…
A new open-source ecosystem called Riot launched for the OCaml programming language, providing a complete stack with a multi-core actor-model runtime, package registry, and standard library. The proje…