David

New Method Is the Fastest Way To Find the Best Routes | Quanta Magazine A canonical problem in computer science is to find the shortest route to every point in a network. A new approach beats the classic algorithm taught in textbooks.

For the past four decades, finding the fastest route to every destination in a network involved sorting the routes by distance. This meant that algorithms could only work as quickly as they could sort. No longer.

We've finally landed a full version internally (coming to an OxCaml near you soon!) of a new feature called parameterized libraries.

It's basically an answer to a problem I first ran into 23 years ago. Here's a thread about it on the caml-list.

inbox.vuxu.org/caml-list/10...

Sometimes you hear about the amazing escapades of systems programmers who delve into the depths of a niche subject and save the day by fixing impossible bugs... Hello Systems by Loris Cro - YouTube

My answer to the question "Why should I learn Zig?"
https://www.youtube.com/watch?v=w9rkil0dotI

OCaml A curated collection of videos relating to the OCaml programming language.

added some videos / playlists on www.youtube.com/@OCamlLang

Conference slide for FUNOCaml 2025 event in Warsaw, Poland on September 15-16. Features a circular photo of Leandro Ostera, a man with curly hair wearing a gray t-shirt, smiling outdoors. The slide announces his talk titled 'State of the OCaml Ecosystem 2025' with description: 'This talk breaks down how the OCaml ecosystem is actually growing by digging into real GitHub data - repo activity, contributor trends, and which libraries are gaining traction. We'll look at the numbers behind OCaml's momentum and what they tell us about where the community and tooling are headed in 2025.'

🐫 Don't miss Leandro Ostera at FUN OCaml 2025 in Warsaw, Sept 15-16!

"State of the OCaml Ecosystem 2025" digs into real GitHub data - repo activity, contributor trends, and which libraries are gaining traction.

See the numbers behind OCaml's momentum and where it's headed.

https://kristoff.it/blog/asynchrony-is-not-concurrency/ [#42] Asynchrony is NOT Concurrency! - Loris Cro & Andrew Kelley - YouTube

Zig SHOWTIME #42 - Asynchrony is NOT Concurrency! w/ Andrew Kelley

https://youtu.be/l8fDQdSjPQg

A New Geometry for Einstein’s Theory of Relativity | Quanta Magazine A team of mathematicians based in Vienna is developing tools to extend the scope of general relativity.

The universe is not always smooth. At the centers of black holes, for instance, the math of space-time falls apart. New geometric tools might help reckon with this reality. www.quantamagazine.org/a-new-geomet...

Financial Compliance with Automated Reasoning · Success Stories Imandra leverages OCaml to develop automated reasoning tools that enable financial institutions to mathematically verify their trading algorithms meet regulatory requirements.

New OCaml Success Story: Imandra - Financial Compliance with Automated Reasoning 🐫

OCaml's type system and functional programming make an impact in financial compliance - preventing errors and handling complex logic where correctness isn't optional.

Full case study: ocaml.org/success-stor...

Writing a Game Boy Emulator in OCaml For the past few months, I have been working on a project called CAMLBOY, a Game Boy emulator that runs in the browser.

🐫 Writing a Game Boy Emulator in OCaml • linoscope

#ocaml #gameboy #emulation #retrogaming

A 5-part cycle: Don't nap for two months, take a mid-day nap, realize how incredible you feel, vow to nap every day from now on, get busy and forget about napping (repeat forever)

Based on a true story 👀

A beginners guide to OCaml internals In this 6 part series, I’m going to introduce the internals of the OCaml programming language (tutorial and other references here). This isn’t going to be very comprehensive or in-depth…

nice! rwmj.wordpress.com/2009/08/04/o...

This is also my take 👌🏼

Here's a little overview of my app PocketCal, if you haven't tried it yet!

pocketcal.com

This interview was recorded for the GOTO Book Club. #GOTOcon #GOTObookclubhttp://gotopia.tech/bookclubRead the full transcription of the interview here:https... Infrastructure as Code • Kief Morris & Abby Bangser • GOTO 2025

‪. @abangser.bsky.social‬ & @kief.com‬ discuss infrastructure as code evolution: from server configs to cloud architectures, emerging tools, and AI's future impact on the field.

#OCaml #OCamlPlanet

Oxidizing OCaml: Locality OCaml with Jane Street extensions is available from our public opam repo. Only a slice of the features described in this series are currently implemented.

Jane Street did drop this 2 years earlier.
blog.janestreet.com/oxidizing-oc...

I'm pleased to announce OxCaml!

OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.

When Failure is Not an Option: A Practical Case for OCaml Foto de Louis Hansel en Unsplash Sources Why Functional Programming Doesn't...

#ocaml 🐫
dev.to/david2am/whe...

Here's a paper describing quantum computing using standard programming constructs, w/o the linear algebra!

The hope is that this will demystify quantum computing and serve as a formal foundation for reasoning about quantum programs.

paper eprint.iacr.org/2025/1091.pdf
code github.com/qqq-wisc/qwla

🐫 BTW

This presentation was recorded at GOTO Chicago 2024. #GOTOcon #GOTOchgohttps://gotochgo.comJonathan Magen - Computer Scientist with 1.5 Decades of Profession... How Scale Makes Distributed Systems Slower • Jonathan Magen • GOTO 2024

Why don’t some systems speed up with more machines? Jonathan Magen explores how coordination overhead kills performance—and how better models can help distributed systems truly scale.

Today I gave my first talk about #OCaml in my current company, it was very well received, let’s see how it goes 🤗

I have no big complaims but for me these seems weird: extra parens when could be avoided; remembering `let () =` or `;;` to executive code; and the ordering of type parameters, in the reverse order

OCaml Web Development: Essential Tools and Libraries in 2025 Are you curious about using OCaml for web development? We outline some of the biggest tools and libraries you'll want to check out!

Is OCaml on the web? Absolutely! Our latest post introduces some of the top libraries and tools for web development in OCaml tarides.com/blog/2025-05...

🤣

Nerd love is a very fun kind of love 🤓

Qwik 1.14.0: Introducing the Preloader 📚 Qwik Documentation No hydration, auto lazy-loading, edge-optimized, and fun 🎉!

Thanks @wmertens.bsky.social @maiieul.bsky.social and @shairez.bsky.social for investing your free time and making this a reality

Enjoy the read! (and the ride) 😊

qwik.dev/blog/qwik-1-...

👀

Curiously React is everything but Reactive, have you tried Solidjs? This one is how React should behave

I end up in #ocaml 🐫🤭