GNU/Hurd on Debian. It has OCaml support with other languages. See all information from fosdem at fosdem.org/2026/schedul... and installation guideline from Debian www.debian.org/ports/hurd/h...

Had an amazing time setting up kakuone code editor with OCaml LSP support and the kitty terminal for development. OCaml lap worked right out of the box. I have not been able to figure out type annotations (int -> int) yet. Autocomplete and syntax highlighting are up.

The cinematography of Gangs of London S3 is awesome !!

Just lovely.

let me expand this. I've worked in flight safety for almost 20 years. Every regulation and rule MUST be unequivocal, clear and direct language no room for interpretation or people will sway from whats correct and people will get killed. if an LLM release a rule it would end up reviewed / rewritten

In my own interregnum, but: I’m open to new opportunities. If you’re looking for someone who can lead teams working in AWS/serverless, Typescript or OCaml, and/or take an observability or DevOps lens to their cloud infrastructure, I’d love to chat. I’m based in Sydney for onsite/hybrid/remote

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...

Hey slightly serious post, please share if you can: if you are a #software developer in the #Australia area and are looking for a #tech job, please reach out to me. I'm looking for mid or senior engineers who excel at constraint based optimizations, typescript, and k8s. Sound like you? Get in touch.

Attended the webinar, looks super cool. Looking forward to applying to my side-project

The link to my side project is available for all to try out. As the lyrics of Wait by m83 says, Send your dreams Where nobody hides Give your tears to the tide No time No time chaufr-app-bycwa9hzecdrarf3.uksouth-01.azurewebsites.net I would really love to hear your feedback on it.

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

Why is there so much indifference. Aren't we more powerful than we realize.

Doing good goes a long way

Hello, friends! I'm in a non-traditional work situation, so I'm starting up the machinery again. I'll ramp up to mailing things out if you're interested in that stuff! I thank you. patreon.com/robotkersey

Happy New Year to friends and followers. The struggle goes on. Even when all we have are words, words still matter. They can educate. They can agitate. They can persuade. Used well, they change more than we think. So words are never just words. They can shape what people see as possible.

War hums in the background now. Ukraine bleeds. Gaza burns. Strongmen test borders and nerves. We scroll past history like it’s weather. But peace doesn’t end with a bang. It thins. Quietly. Until one day we realise we were living on borrowed calm.

Happy New Year Everyone on Bluesky. Take care of yourself and allow your friends and family take care of you too.

On Dec 29th 2025. I deleted all copies of vs-code from my computer and switched to emacs. The hardest of decisions requires the strongest of wills.

Completed the rewrite of our type-level router, moving away from linear pattern matching to trie based lookup. I noticed it provides 1.5M to 3.1M reqs/sec perf depending on capture complexity. #OCaml

Been a minute since I wrote an article on chaufr. I redesigned the driver sign up process, rate limit all routes with strict and moderate values and learned about csrf in dream. I would love if you could read it and offer feedback. fearful-odds.rocks/blog/securin...

.

Slides are up, now that I've had the ability to iterate the talk three times in a row! #YOW25 drive.google.com/file/d/1J-nf...

“The goal of academic training is not to solve problems as efficiently and quickly as possible, but to develop skills for identifying and dealing with novel problems, which have never been solved before.” Open letter, consider signing 🖊️ if you haven’t yet 🙏 openletter.earth/open-letter-...

Day 10 part 2😶‍🌫️😮‍💨

Rather than advent of code, I’m bulk releasing the WIP OCaml libraries I’ve worked on since ICFP. Today it’s ctypes based Capstone bindings github.com/tmcgilchrist.... The project could use some demo applications but it does seem to work for ARM64 code I’ve thrown at it.

Hi everyone! I'm looking for a new role/project and would appreciate your support. If you hear of any relevant opportunities please reach out! 💼 Senior/Lead/Principal Engineer, Cloud Engineer or Engineering Manager 🌎 Hybrid in Munich or remote in Europe/UK 📅 Available from 15 Jan 2026

Good read. Code should be changed if and only if *a bug is being fixed or an actual user-facing feature is being implemented!* The risk of regression ALWAYS outweighs the benefit of refactoring UNLESS you’re actually changing something else. - dra27 www.dra27.uk/blog/platfor...

Got a new job, kotlin is the server side language. I start this monday. Hey OCaml I will write you professionally just wait and see 😁.

I'm sure it's a long developed bias, but I find it easier to write code in rust and other languages if I first think up the solution in ocaml — it's a great prototyping language — you can take its clear building blocks and then translate them into other PL structures.

radicalizing the youth

everyone forgets the full phrase “fuck around, find out, write it down” it’s only the scientific method if you write it down, otherwise it’s just sparkling curiosity

Curious about using functional programming for web development? This blog post gives you an overview of Ocsigen, a full web development framework for OCaml! tarides.com/blog/2025-10...

Its that time of the year for YT Music wrapped. My favourite music app because of the comments section.

Wow, I used matt.godbolt.org just now, to learn then optimise my ocaml code. Wow, this is mind blowing.

So, who else is doing #AdventOfCode in #OCaml this year? My solutions, using ocamllex as usual, will be posted there:

for instance, the c programming language teaches you not to want a computer that works

Hey everyone. If you interested in doing Advent of Code this year with a new language and are leaning towards FP. I have made an OCaml template repo to get you started. It also has NIX support to avoid dependency hell. I hope you have fun using the project just as I have. github.com/aguluman/adv...

Nice !!!

Fast mass transportation in dense environments benefits from constrained and coupled trajectories. That's why in cities, trains work better than cars and cars work better than helicopters (unless you have the sky to yourself, obviously).

Bro ocaml is so much superior yall r fucking missing OUT... I love this im currently learning about modules and its so cool

Deployed OCaml to Azure App Service with SSH access for prod migrations. Fought file ownership, Azure's SSH quirks, and PostgreSQL extensions. First driver signup successful! Full war story with code: fearful-odds.rocks/blog/azure-s...

Why a “simple” language feels so hard at first? I wrote some thoughts on how we can make the experience better for newcomers. 👉🏼 discuss.ocaml.org/t/peel-the-o... #OCaml #learning #programming

Coming out on the other side of these changes, I can say... 1. I am glad this is OCaml + TypeScript, the overall type safety here is very helpful in catching bugs

Interesting project.

ok, so when I'm done with this RSS->social media tool, the next things I might build are 1. a survey tool that helps with writing reports, and 2. a social media observation tool or API idk, maybe I can even bring myself to livestream those

there's Virtio network support, potential for multicore compatibility with OCaml 5, and future support for new hypervisors. The Unikraft community is exploring new targets!

the new backend leverages Unikraft's modular architecture while connecting to MirageOS interfaces. Performance tests show promising results - sometimes outperforming existing Solo5 backends depending on workloads and hardware.

Tarides is announcing Unikraft support for MirageOS unikernels! This new MirageOS backend offers performance benefits and future multicore compatibility 🤔