David
LightNews LightNews
banner
david2am.bsky.social
David
@david2am.bsky.social
280 followers 210 following 60 posts
match David with 🤓 -> web dev
| 🐪 -> into #OCaml
| ✏️ -> read him on dev.to/david2am
| _ -> 🇨🇴, ✝️
Posts Replies Media Videos
david2am.bsky.social
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
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...
discuss.ocaml.org
November 19, 2025 at 4:58 PM
Reposted by David
batsov.net
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.
Introducing Alice
A radical, experimental OCaml build system and package manager
www.alicecaml.org
November 18, 2025 at 5:38 AM
david2am.bsky.social
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
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. ...
forem.com
November 19, 2025 at 12:13 AM
Reposted by David
anniesexton.com
trying to use dynamically typed languages again
October 21, 2024 at 8:05 PM
david2am.bsky.social
Does anyone else from the @ocaml.org community is going to be at @lambda_world next week? 👀
October 17, 2025 at 12:46 PM
Reposted by David
sabine.sh
OCaml is low-maintenance, I'm high maintenance

it all cancels out
October 7, 2025 at 11:42 AM
Reposted by David
mseri.me
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
Veritasium: What Everyone Gets Wrong About AI and Learning – Derek Muller Explains
youtu.be
October 1, 2025 at 8:22 AM
Reposted by David
sabine.sh
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.
September 23, 2025 at 8:42 PM
Reposted by David
danielroe.dev
🙌
alvarosaburido.dev Alvaro Sabu @alvarosaburido.dev · Sep 22
Announcing TresJS v5.0 🎉

Our proudest release so far. Declarative
@threejs.org for @vuejs.org gets a major upgrade:

✨ WebGPU experimental support
🛠️ New create-tres CLI tool
⚡ Re-imagined context
🔧 Refactored composables

Ready to build the future of 3D on the web?
September 22, 2025 at 4:42 PM
Reposted by David
yminsky.bsky.social
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...
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...
signalsandthreads.com
September 4, 2025 at 12:55 AM
Reposted by David
sabine.sh
if you're interested in the Raven project (machine learning for OCaml), you should 1000% join their discord:

discord.gg/5ZhhN68Jja
September 18, 2025 at 8:22 AM
Reposted by David
jay.bsky.team
Violence is always unacceptable, and threats of violence have no place in public discourse. Our thoughts are with Charlie Kirk and his family.
September 10, 2025 at 8:24 PM
Reposted by David
quantamagazine.bsky.social
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.
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.
www.quantamagazine.org
August 8, 2025 at 7:05 PM
Reposted by David
yminsky.bsky.social
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...
[Caml-list] Functorizing large collections of modules - Yaron M. Minsky
inbox.vuxu.org
August 1, 2025 at 1:27 PM
Reposted by David
kristoff.it
My answer to the question "Why should I learn Zig?"
https://www.youtube.com/watch?v=w9rkil0dotI
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...
www.youtube.com
July 31, 2025 at 12:00 PM
Reposted by David
sabine.sh
added some videos / playlists on www.youtube.com/@OCamlLang
OCaml
A curated collection of videos relating to the OCaml programming language.
www.youtube.com
July 28, 2025 at 1:33 PM
Reposted by David
fun-ocaml.com
🐫 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.
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.'
July 28, 2025 at 11:39 AM
Reposted by David
kristoff.it
Zig SHOWTIME #42 - Asynchrony is NOT Concurrency! w/ Andrew Kelley

https://youtu.be/l8fDQdSjPQg
[#42] Asynchrony is NOT Concurrency! - Loris Cro & Andrew Kelley - YouTube
https://kristoff.it/blog/asynchrony-is-not-concurrency/
youtu.be
July 21, 2025 at 8:05 PM
Reposted by David
quantamagazine.bsky.social
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...
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.
www.quantamagazine.org
July 16, 2025 at 3:10 PM
Reposted by David
ocaml.org
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...
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.
ocaml.org
July 9, 2025 at 8:26 AM
Reposted by David
jbzfn.bsky.social
🐫 Writing a Game Boy Emulator in OCaml • linoscope

#ocaml #gameboy #emulation #retrogaming
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.
linoscope.github.io
July 8, 2025 at 11:03 AM
Reposted by David
brittanyellich.com
Based on a true story 👀
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)
July 8, 2025 at 6:20 PM
Reposted by David
smdsousa.bsky.social
nice! rwmj.wordpress.com/2009/08/04/o...
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…
rwmj.wordpress.com
July 1, 2025 at 4:31 PM
Reposted by David
cassidoo.co
Here's a little overview of my app PocketCal, if you haven't tried it yet!

pocketcal.com
June 24, 2025 at 9:26 PM
Reposted by David
gotocon.com
‪. @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.
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...
youtu.be
June 19, 2025 at 12:02 PM