Advertisement · 728 × 90

Posts by David

Preview
Ocsigen: A Full OCaml Framework for Websites and Apps Discover the OCaml web development framework Ocsigen, from its origins to its many helpful features!

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

4 months ago 7 4 0 0
Peel the Onion: Why OCaml Seems Difficult When it's so Easy Peel the Onion: Why OCaml Seems Difficult When it’s so Easy —— OCaml is not inherently complex. It’s actually one of the simplest languages I’ve ever used — much easier to reason about than JavaScrip...

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

5 months ago 5 4 1 0
Preview
Introducing Alice A radical, experimental OCaml build system and package manager

Alice is an experimental #OCaml build tool and package manager from one of Dune's developers www.alicecaml.org/blog/introdu...

The whole blog is quite interesting.

5 months ago 10 2 0 0
Preview
OCaml in 5 Minutes: From Zero to 'Hello' Tired of the OCaml setup rabbit hole? In 5 minutes, you’ll have a fully working OCaml project. ...

Take a look at my new tutorial on how to create a brand new OCaml project in 5 minutes

forem.com/david2am/oca...

#ocaml #learning #programming #dune

5 months ago 2 0 0 0
Post image

trying to use dynamically typed languages again

1 year ago 574 67 55 12

I actually like it 👍🏼

6 months ago 2 0 0 0

Does anyone else from the @ocaml.org community is going to be at @lambda_world next week? 👀

6 months ago 1 0 0 0

OCaml is low-maintenance, I'm high maintenance

it all cancels out

6 months ago 16 1 1 0
Advertisement

I don’t dislike it 👍🏼

6 months ago 1 0 0 0
Veritasium: What Everyone Gets Wrong About AI and Learning – Derek Muller Explains
Veritasium: What Everyone Gets Wrong About AI and Learning – Derek Muller Explains

The best thing about education isn’t access to information, it’s being in a room with a good teacher, likeminded engaged peers, and time to talk. Education is a social activity. Tech hype misses the point: the real challenge isn’t delivering info, but creating meaning together

youtu.be/0xS68sl2D70

6 months ago 4 2 2 0
A three-panel boardroom meme. In the first panel, a businessman asks "how do we prevent bugs?" to a meeting room full of people. In the second panel, three people offer suggestions: "more tests!", "code reviews!", and "Use OCaml!" In the third panel, the person who suggested OCaml is shown being thrown out of a building window while the angry businessman watches from inside.

A three-panel boardroom meme. In the first panel, a businessman asks "how do we prevent bugs?" to a meeting room full of people. In the second panel, three people offer suggestions: "more tests!", "code reviews!", and "Use OCaml!" In the third panel, the person who suggested OCaml is shown being thrown out of a building window while the angry businessman watches from inside.

6 months ago 16 1 2 0

🙌

6 months ago 22 1 0 0
Preview
Signals and Threads Podcast Listen in on Jane Street’s Ron Minsky as he has conversations with engineers working on everything from clock synchronization to reliable multicast, build systems to reconfigurable hardware. Get a pee...

A new episode of Signals and Threads just dropped! This one is an interview with Chris Lattner talking about Mojo, a new-ish language for GPU programming that's aiming to be an alternative to the CUDA stack.

signalsandthreads.com/why-ml-needs...

7 months ago 27 4 2 0

if you're interested in the Raven project (machine learning for OCaml), you should 1000% join their discord:

discord.gg/5ZhhN68Jja

7 months ago 13 1 0 0

Violence is always unacceptable, and threats of violence have no place in public discourse. Our thoughts are with Charlie Kirk and his family.

7 months ago 1959 188 2190 1511
Preview
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.

8 months ago 29 6 0 1
[Caml-list] Functorizing large collections of modules - Yaron M. Minsky

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

8 months ago 30 4 2 2
Advertisement
Hello Systems by Loris Cro - YouTube
Hello Systems by Loris Cro - YouTube 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...

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

8 months ago 3 1 1 0
Preview
OCaml A curated collection of videos relating to the OCaml programming language.

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

8 months ago 8 2 1 0
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.'

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.

8 months ago 15 6 1 0
[#42] Asynchrony is NOT Concurrency! - Loris Cro & Andrew Kelley - YouTube
[#42] Asynchrony is NOT Concurrency! - Loris Cro & Andrew Kelley - YouTube https://kristoff.it/blog/asynchrony-is-not-concurrency/

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

https://youtu.be/l8fDQdSjPQg

8 months ago 5 2 0 0
Preview
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...

9 months ago 29 9 1 0
Preview
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...

9 months ago 9 4 1 0
Preview
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

9 months ago 11 6 0 0
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)

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 👀

9 months ago 47 4 0 2
Advertisement
Preview
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...

9 months ago 5 1 0 0

This is also my take 👌🏼

9 months ago 1 0 0 0
Video

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

pocketcal.com

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

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

10 months ago 4 2 0 0
Introducing OxCaml At Jane Street, we’ve been actively making improvements to OCaml for a long time. Over the last few years, we’ve started to build some fairly ambitious extensions to the language. Our aim is to make OCaml a great language for performance engineering. This work has always been open source, and our hope is to contribute these extensions to upstream OCaml, but we’re still iterating on their design as we gain experience using them. As such, we think the time has come to make it easier for people to use our extensions in the outside world. That starts with giving our branch of the compiler the three most important components of a modern programming language: a cool name, a cute logo and a snazzy website. So, without further ado, we are excited to announce OxCaml.

#OCaml #OCamlPlanet

10 months ago 5 2 0 0