Testo 0.3 is out! discuss.ocaml.org/t/ann-testo-... #ocaml

This doesn't work as expected but on the bright side, the error message is very readable. #ocaml #windows #crlf

when content comes with 10 hooks and 5 CTAs, this is a strong signal it's not worth reading 🤷

when I found out Yegge’s Gas Town is 190k lines of code, I was alarmed but also kind of jealous. maybe it’s time to build my own 200k line monument to man’s hubris. in OCaml because that’s the only really good type system that also compiles fast?

Is there a way to estimate the number of top-level identifiers in an OCaml program?

What's the funniest pds implementation I could #selfhost my account at The lighter the better. I am eyeing the OCaml one

Stepped away from learning ocaml for a month and already ‘opam update’ found 7 packages to upgrade. The ecosystem is active.

It's kind of funny that due to AI/LLMs these days another metric to rate #programming languages on has become "token efficiency". On the bright side - some of the beloved languages like #Clojure, #Ruby, #FSharp and #OCaml fared pretty well due to their expressive and compact syntax.

The time has arrived, styled-ppx won't support ReScript v11/v12 going forward Incompatible ppxlib, massive maintenance work and uncertainty about the future of ppx are enough reasons to pull the trigger Melange and native OCaml remain fully supported 😭😭😭

Losing my mind that the OCaml REPL is called utop like it sounds like two vers bottoms fighting over whose turn it is 😏

Your proof assistant is strict. Your type system is expressive. Your coffee mug should be too ☕ FP & ITP mugs (OCaml, Haskell, Lean, Rocq, Isabelle, Agda): store.typetheoryfora...

just spent half an hour answering questions about the intended state of the architecture specs and the implementation, to align them this is where decisions happen and simplicity can follow

I'm either doing something very wrong about this entire Ralph loop thing or it's just as dumb as it sounds

anil.recoil.org/ocaml-atp ATProto bits and pieces in OCaml with CLIs for Bluesky, Tangled, Standard.Site ⭐️ 2

this is very cool! I've implemented my own @standard.site publisher in OCaml, but I'm not seeing my document show up in your surf index; pdsls.dev/at://did:plc... -- it's passing validation on site-validator.fly.dev though

ok an update from the solid-ml experiment: trying to use that LLM-generated port of SolidJS went pretty much as to be expected: incomplete implementation 😂 but it brought up steps to fix forward and add missing functionality (component sharing, template compiler)

Following the keynote, #BOBkonf2026 talks track A starts off with @xvw.lol 's "A crash course on the OCaml module language", a talk that explores OCaml’s powerful module system as a core language feature. For more information, see bobkonf.de/2026/woestyn...

I feel like a lot of codebases would greatly benefit from a LLM going over them just to rename the variables and functions to what they actually do - like.... not touching the implementation at all, just renaming stuff to what it actually means

I was never a horse girl but does being a HTMX CEO make me one? 🤔

if your codebase needs extensive comments to be understood, you wrote bad code good code is self-documenting. Variable names explain intent. Function names describe behavior. Structure reveals architecture comments stating the obvious are admissions of failure

Finally I have a working prototype all logic implemented in #OCaml except for css and js for browser manipulation. chaufr-app-bycwa9hzecdrarf3.uksouth-01.azurewebsites.net I look forward to your usage and continued feedback on the application. Huge thanks to Yawaramin, Brandon and Nic for comments.

Built with dream(fe&be) in OCaml. Huge thanks to Antron and Dream Maintainers, you all are the best.

status update on my projects: FeedMansion.com: - it listens to RSS / Calendar / Email / GitHub and creates drafts of posts, based on the stored prompts - can schedule and publish to X, Bluesky, LinkedIn (personal acc), and Mastodon

GLM feels really dumb compared to Claude Opus, which I had gotten used to. But people say it's workable when you let Opus / GPT-5 / Gemini 3 Pro plan and then let GLM execute. So I'm curious how that will turn out

Building in OCaml doesn’t have to be a purity test. Sabine breaks down a pragmatic stack (OCaml + a mainstream frontend) and why that choice matters in the LLM era.

Hello from OCaml world!

It’s stuff like this that makes me a true believer in the power of defining domain problems within constraint systems. “It’s faster to code in dynamic typing systems” you don’t hate types, you hate WRITING types out – have you tried writing in something with good inference, like OCaml?

OCaml exercise for enjoyers of mutability: write a program that parses the command line using the standard Arg module but without using globals. Note that in practice, you might want to prefer the cmdliner library since its UI is more attractive. Arg is easier to grasp, though.

ok so since my Claude Max subscription is running out tomorrow: what's my best options at this point? today I'm using Claude Code CLI but what about tomorrow? 🤔 context: I was hitting the limits and in an ideal world I could continue with opencode

Whenever someone asks me what I coded that in, I always feel proud telling people it's #oCaml, over any other language. If you're proud of your PHP code, you're a North Korean spy.

Helping a dear friend move from C to OCaml for work. He’s got a manual, but I want to gather extra resources: tutorials, repos, example projects, tips, gotchas, everything that makes the jump less brutal. Ready to pack up all your advice and ship it ASAP 🤟 Anyone here using OCaml? 🐫 Thanks!

I had a bunch of people ask how to replicate my advent of agentic humps setup, so I've published the OCaml and OxCaml devcontainers to let you run unattended Claude with permissions bypass and container sandboxing. It hasn't deleted all my data yeNOSIGNAL anil.recoil.org/notes/ocaml-...

I had a bunch of people ask how to replicate my advent of agentic humps setup, so I've published the OCaml and OxCaml devcontainers to let you run unattended Claude with permissions bypass and container sandboxing. It hasn't deleted all my data yeNOSIGNAL […]

second attempt at getting access to LinkedIn Community Management API, after establishing a properly registered company

hummm... solid-ml does appear to work... but can we trust it? 🤔 I now have a karaoke directory with Google login running entirely on OCaml with Melange compiling solid-ml to JavaScript - that's pretty wild, considering solid-ml didn't exist three days ago

LSPs are overrated unless the language has a very well structured build system. Rust using cargo and OCaml using dune are good examples. C using makefiles however... (though tbf, C doesn't really need an LSP if you're writing C properly, vim+ctags do the job rather well) Also, LSPs are mem hogs 🤮

idk why you are starring this, but I have to admit I can feel the appeal of having something like this in OCaml I mean, otherwise I wouldn't go down this rabbit hole https://github.com/makerprism/solid-ml

OCaml has great content. Like, actually great content. Sabine's building a tool to stop community links from being posted like dead fish—no context, no teaser, no reason to care. If you’ve ever tried to grow a technical community & felt the friction, you’ll want this convo.

what are app passwords meant for now such that oauth is p much widely used? like I saw the ocaml implementation just skipped them I use one for my 'lol there's a moon emoji after my name' script on my pds box but that feels a bit hacky

The following .envrc file at the root of your git repository make `dune tool install` works well with your editor export PATH=$(git rev-parse --show-toplevel)/$(dirname `dune tool which ocamlformat`):$PATH export PATH=$(git rev-parse --show-toplevel)/$(dirname `dune tool which ocamllsp`):$PATH

maybe my future self from next week will call me crazy, but my present self just had to try and make Claude Opus implement a SolidJS-inspired OCaml framework, so I don't feel like I have to run JavaScript on the server 🤷

I mean, this data is decaying, but if I can make it a social space to hang out, find friends, and keep each other updated on when and where the karaoke is, I would love to see that happen

OCaml > Haskell???? change my mind

Some people learn a language because they planned to. Sabine Schmaltz got pulled into OCaml because a job post nudged her into a whole ecosystem and she ran with it. This episode is a reminder that “I’m new to this” is not a disqualifier if your fundamentals & curiosity are real.

#OCaml and #Haskell folks, have you used topiary to format your code? How does the mileage vary? Is it good enough?

i've been somewhat consistently journaling and habit-tracking for the past few years, and i want to try mood-tracking this year! unclear if this is actually meaningful in any way. took me an afternoon of revising ocaml! rigged it up to prompt me when i open a new shell. tangled.org/oppi.li/mood

if you're thinking about using Rust for a web app, you should probably use OCaml instead 🤔

I was implicitly referred to as a “hoary greybeard” the other day… my son just innocently asked how long I’ve worked on/in OCaml and I realised the answer is half my life 👴🏻 #old #greybeard

minikv: A little KV store implementation in OCaml to practice DB systems things https://lobste.rs/s/7f58yw ##databases ##ml

today i went into my "Archive" dir that has my old harddrive contents from 2021. then went into the "Archive" subdir there that had my even older harddrive contents from 2008. there i found a "backup" directory with stuff from 2002. inside that i found some OCaml code for music stuff.