David's Avatar

David

@david2am

match David with πŸ€“ -> web dev | πŸͺ -> into #OCaml | ✏️ -> read him on dev.to/david2am | _ -> πŸ‡¨πŸ‡΄, ✝️

282
Followers
212
Following
60
Posts
21.11.2023
Joined
Posts Following

Latest posts by David @david2am

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

04.12.2025 11:28 πŸ‘ 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

19.11.2025 16:57 πŸ‘ 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.

18.11.2025 05:38 πŸ‘ 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

19.11.2025 00:13 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image

trying to use dynamically typed languages again

21.10.2024 20:05 πŸ‘ 568 πŸ” 67 πŸ’¬ 53 πŸ“Œ 12

I actually like it πŸ‘πŸΌ

20.10.2025 18:03 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Does anyone else from the @ocaml.org community is going to be at @lambda_world next week? πŸ‘€

17.10.2025 12:46 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

OCaml is low-maintenance, I'm high maintenance

it all cancels out

07.10.2025 11:42 πŸ‘ 16 πŸ” 1 πŸ’¬ 1 πŸ“Œ 0

I don’t dislike it πŸ‘πŸΌ

02.10.2025 12:03 πŸ‘ 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

01.10.2025 08:22 πŸ‘ 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.

23.09.2025 20:42 πŸ‘ 16 πŸ” 1 πŸ’¬ 2 πŸ“Œ 0

πŸ™Œ

22.09.2025 16:42 πŸ‘ 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...

04.09.2025 00:55 πŸ‘ 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

18.09.2025 08:22 πŸ‘ 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.

10.09.2025 20:24 πŸ‘ 1961 πŸ” 188 πŸ’¬ 2204 πŸ“Œ 1519
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.

08.08.2025 19:05 πŸ‘ 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...

01.08.2025 13:27 πŸ‘ 30 πŸ” 4 πŸ’¬ 2 πŸ“Œ 2
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

31.07.2025 14:00 πŸ‘ 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

28.07.2025 13:33 πŸ‘ 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.

28.07.2025 11:39 πŸ‘ 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

21.07.2025 22:05 πŸ‘ 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...

16.07.2025 15:10 πŸ‘ 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...

09.07.2025 08:26 πŸ‘ 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

08.07.2025 11:03 πŸ‘ 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 πŸ‘€

08.07.2025 18:20 πŸ‘ 47 πŸ” 4 πŸ’¬ 0 πŸ“Œ 2
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...

01.07.2025 16:31 πŸ‘ 5 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0

This is also my take πŸ‘ŒπŸΌ

28.06.2025 01:24 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Video thumbnail

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

pocketcal.com

24.06.2025 21:26 πŸ‘ 431 πŸ” 79 πŸ’¬ 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.

19.06.2025 12:02 πŸ‘ 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

14.06.2025 14:38 πŸ‘ 5 πŸ” 2 πŸ’¬ 0 πŸ“Œ 0