Chukwuma

😅😅

Looks cool.

It is really cool.
Pattern matching etc.

Yeah.
I do that, the feedback is priceless.

Nice.

Awesome.

🥂🥳

Mega job Martin.

😅

Emacs was a steep learneing curve. I switched my caps lock to control button. Its was a relief.
But now I am using kakuone on kitty terminal for code editing and ocaml support is really great there. The keybinding are good too

Cool, code editor.

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.

Lovely.

Amazing.

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

Emacs vs vs-code

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

Keep swinging.
All you need is one yes.

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.

I spoke with my engineer buddy, he uses bare metal to host his side project on azure.
I was speechless.

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

In my reality, architecture documentation is the code base.

Well, extensive comments is bad.
But comments is good, for knowledge transfer as one won't work on one codebase forever.

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.

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.