#ocaml — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #ocaml, aggregated by home.social.
-
The #OCaml Weekly News for 2026-08-18 is out
https://alan.petitepomme.net/cwn/2026.08.18.html -
-
Another cool stuff is to take the advantage of CPU. #OCaml is pretty dumb about optimisation, your CPU is not. The idea is to load a 8-bytes word for smaller values (such as int16 or int32) and let the CPU to be smart enough to fusion this "mov" which can appears three or four times.
-
I found a rabbit-hole about encoding/decoding binary data in #OCaml, it results to a DSL which is the fastest about decoding things (like IPv4 packets). You can see the implementation here: https://github.com/robur-coop/bstr/tree/bin
I will make a release soon!
-
-
🇫🇷 l'année passée, au #capitoleDuLibre (2025) j'ai pu partager ma passion pour #ocsigen! Un framework futuriste qui vient du monde #ocaml dans "Restoring fun at every level of web programming" !
Voici la vidéo : https://www.youtube.com/watch?v=qD5D1jLJvm4
-
Ocaml's Utop is a very nice repl to use. We've decided to start switching from Poly/ml to Ocaml mainly so that we have a more stable FFI and documentation support. Can only do so much reverse engineering before it becomes tiring.
I learnt quite a bit about how SML works but I need to make steady progress on this project.
#ocaml -
The #OCaml Weekly News for 2026-08-11 is out
-
🚨 ALERT 🚨: Someone discovered how to over-engineer 🤓 a problem that #OCaml doesn't even want to solve, using words like "type equality witness" to confuse everyone into thinking it's important. 😂 Spoiler: it's not. Just more academic hand-waving 🤷.
https://xvw.lol/en/articles/oop-refl.html #overengineering #typeequalitywitnes #academicjargon #humor #HackerNews #ngated -
So happy to have my package listed here!
https://ocaml.org/p/ifs-fractals/1.1.0
The #OCaml community feels much friendlier than many others, and its release process is refreshingly centered on real human interactions. You don't simply push a new release and call it a day. Someone actually reviews it. It takes time. Something rare nowadays.
-
[ANN] New release 1.1.0 of ifs-fractals
https://discuss.ocaml.org/t/ann-new-release-1-1-0-of-ifs-fractals/18425?u=cedric
-
Haven't used #Haskell yet (only #OCaml) but #SimonPeytonJones is so delightful to listen to. Crystal clear explanations
https://www.youtube.com/watch?v=xcB_LF3cdqw
#PL #ProgrammingLanguages #FunctionalProgramming -
All I see is hipsters learning new hipster language like #Rust, #Haskell and #OCaml.
Why don't you learn a real hipster language instead: https://www.youtube.com/watch?v=rRbY3TMUcgQ
-
Always interested in hearing about #OCaml (and more) from #XavierLeroy
https://www.youtube.com/watch?v=9Cswiqrq6So
#PL #ProgrammingLanguages -
The #OCaml Weekly News for 2026-08-04 is out
-
Readings shared: July 27 – August 3, 2026. https://jaalonso.github.io/vestigium/posts/2026/08/03-readings_shared_08-03-26/ #AI #AI4Math #ATP #Autoformalization #CommonLisp #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #Math #Ocaml #PVS #RocqProver
-
🎉 Wow, a UI library for OCaml! Because what the world really needed was more esoteric tools for building websites in a language no one uses for web development. 👏 Bravo, Jane Street, you truly know how to pick 'em! 🚀
https://github.com/janestreet/bonsai #UIlibrary #OCaml #webdevelopment #esoterictools #JaneStreet #technews #HackerNews #ngated -
🐢🚀 Oh, look at me, I'm F*! A "proof-oriented" #language that's apparently too cool for school, bridging the gap between #functional and effectful like a glorious #unicorn 🦄. Just try not to trip over all those fancy words while desperately clinging to #OCaml as your lifeboat! 🌊👨💻
https://fstar-lang.org/ #proof-oriented #programming #tech #news #HackerNews #ngated
