Sign in

David

@david2am.bsky.social
296 followers 231 following 63 posts

match David with 🤓 -> web dev | 🐪 -> into #OCaml | ✏️ -> read him on dev.to/david2am | _ -> 🇨🇴, ✝️

PostsRepliesMedia
Reposted by David
Max @bernsteinbear.com · 26/08/2026
IIRC Austral borretti.me/article/intr...
borretti.me
Introducing Austral: A Systems Language with Linear Types and Capabilities
Introducing a new programming language.
052
Reposted by David
Evan Czaplicki @acadia.engineering · 18/08/2026
Acadia is out today! Bringing the benefits of Elm to SQLite and PostgreSQL: - Friendly error messages - Custom types for precise column data - Simple module system for easy reuse Check it out! acadia.engineering/blog/rethink...
acadia.engineering
Rethinking Database Programming
58931
Reposted by David
Leanpub @leanpub.bsky.social · 06/07/2026
The OCaml Handbook: A Complete Guide from First Program to Production Systems by Steve T. Publications is a new release on Leanpub! Discover the power and elegance of OCaml, from your very first program to production-ready applications. The OCaml Handbook … leanpub.com/theocamlhand...
0106
Reposted by David
David Sancho @david.sancho.dev · 02/01/2026
I built my own JavaScript runtime in OCaml I wanted to see how far OCaml could go against Bun and Node, and also also OCaml vs zig vs c++ in similar APIs. So I built `sirocco`. Uses JavaScriptCore (same engine as Bun and Safari). Event loop with libuv and it's written in OxCaml.
13611
Reposted by David
Earthling @ziyatong.bsky.social · 21/06/2026
🎯
@nluewmist / I’m finally reading Dune. This quote which in the first few pages hit hard; “once men turned their thinking over to machines in the hope that this would set them free. But that only let other men with machines to enslave them.”
407211606270
Reposted by David
sabine 🐫🦀 / "use ocaml"; @sabine.sh · 23/05/2026
The OCaml Users Survey is still open until May 25 (Monday)! If you haven't taken it, please take it now! 🐫 🧡 docs.google.com/forms/d/e/1FAIpQLSe…
docs.google.com
OCaml Users Survey 2026
This survey is configured to not use an existing Google Account to save your progress (which will be lost if you close your browser or click the back button before finishing the survey). None of the questions are mandatory. Please do not enter any personal information in the free-form text fields as the summary of the results and the raw data will be made available to the community (we will of course redact any personal information we detect, but we may still miss some). As an official OCaml online space, this survey has adopted the OCaml Code of Conduct. The free-form text fields are provided to gather constructive feedback from the community. Any comment that is a clear violation of the CoC will be expunged from the results before making them publicly available. Thank you in advance for your participation! This survey will be accepting answers until May 25th 2026 (AOE).
093
Reposted by David
tarides.com @tarides.com · 04/12/2025
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...
tarides.com
Ocsigen: A Full OCaml Framework for Websites and Apps
Discover the OCaml web development framework Ocsigen, from its origins to its many helpful features!
074
David @david2am.bsky.social · 19/11/2025
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
discuss.ocaml.org
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...
154
Reposted by David
Bozhidar Batsov (a.k.a. Bug) @batsov.net · 18/11/2025
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.
alicecaml.org
Introducing Alice
A radical, experimental OCaml build system and package manager
0102
David @david2am.bsky.social · 19/11/2025
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
forem.com
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. ...
020
Reposted by David
Annie Sexton @anniesexton.com · 21/10/2024
trying to use dynamically typed languages again
5978681
David @david2am.bsky.social · 17/10/2025
Does anyone else from the @ocaml.org community is going to be at @lambda_world next week? 👀
010
Reposted by David
sabine 🐫🦀 / "use ocaml"; @sabine.sh · 07/10/2025
OCaml is low-maintenance, I'm high maintenance it all cancels out
1161
Reposted by David
Marcello Seri @mseri.me · 01/10/2025
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
youtu.be
Veritasium: What Everyone Gets Wrong About AI and Learning – Derek Muller Explains
242
Reposted by David
sabine 🐫🦀 / "use ocaml"; @sabine.sh · 23/09/2025
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.
2161
Reposted by David
danielroe @danielroe.dev · 22/09/2025
🙌
0221
Reposted by David
Yaron Minsky @yminsky.bsky.social · 04/09/2025
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...
signalsandthreads.com
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...
2264
Reposted by David
sabine 🐫🦀 / "use ocaml"; @sabine.sh · 18/09/2025
if you're interested in the Raven project (machine learning for OCaml), you should 1000% join their discord: discord.gg/5ZhhN68Jja
discord.gg
Join the Raven ML Discord Server!
Check out the Raven ML community on Discord - hang out with 18 other members and enjoy free voice and text chat.
0131
Reposted by David
Jay 🦋 @jay.bsky.team · 10/09/2025
Violence is always unacceptable, and threats of violence have no place in public discourse. Our thoughts are with Charlie Kirk and his family.
21581938193
Reposted by David
Quanta Magazine @quantamagazine.org · 08/08/2025
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.
quantamagazine.org
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.
0296
Reposted by David
Yaron Minsky @yminsky.bsky.social · 01/08/2025
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...
inbox.vuxu.org
[Caml-list] Functorizing large collections of modules - Yaron M. Minsky
2304
Reposted by David
Loris Cro ⚡ @kristoff.it · 31/07/2025
My answer to the question "Why should I learn Zig?" www.youtube.com/watch?v=w9rkil0dotI
youtube.com
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...
131
Reposted by David
sabine 🐫🦀 / "use ocaml"; @sabine.sh · 28/07/2025
added some videos / playlists on www.youtube.com/@OCamlLang
youtube.com
OCaml
A curated collection of videos relating to the OCaml programming language.
182
Reposted by David
FUN OCaml @fun-ocaml.com · 28/07/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.
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.'
1156
Reposted by David
Loris Cro ⚡ @kristoff.it · 21/07/2025
Zig SHOWTIME #42 - Asynchrony is NOT Concurrency! w/ Andrew Kelley youtu.be/l8fDQdSjPQg
youtu.be
[#42] Asynchrony is NOT Concurrency! - Loris Cro & Andrew Kelley - YouTube
https://kristoff.it/blog/asynchrony-is-not-concurrency/
052
Reposted by David
Quanta Magazine @quantamagazine.org · 16/07/2025
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...
quantamagazine.org
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.
1289
Reposted by David
OCaml @ocaml.org · 09/07/2025
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...
ocaml.org
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.
194
Reposted by David
jbz @jbzfn.bsky.social · 08/07/2025
🐫 Writing a Game Boy Emulator in OCaml • linoscope #ocaml #gameboy #emulation #retrogaming
linoscope.github.io
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.
0106
Reposted by David
Brittany Ellich @brittanyellich.com · 08/07/2025
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)
0474
Reposted by David
(fun x -> x) myself @smdsousa.bsky.social · 01/07/2025
nice! rwmj.wordpress.com/2009/08/04/o...
rwmj.wordpress.com
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…
051
Reposted by David
Cassidy @cassidoo.co · 24/06/2025
Here's a little overview of my app PocketCal, if you haven't tried it yet! pocketcal.com
2143078
Reposted by David
GOTO Conferences @gotocon.com · 19/06/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.
youtu.be
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...
042
Reposted by David
OCaml @ocaml.org · 14/06/2025
#OCaml #OCamlPlanet
dlvr.it
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.
052
Reposted by David
Chukwuma @fearful-odds.rocks · 13/06/2025
Jane Street did drop this 2 years earlier. blog.janestreet.com/oxidizing-oc...
blog.janestreet.com
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.
031
Reposted by David
Yaron Minsky @yminsky.bsky.social · 13/06/2025
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.
510840
David @david2am.bsky.social · 13/06/2025
#ocaml 🐫 dev.to/david2am/whe...
dev.to
When Failure is Not an Option: A Practical Case for OCaml
Foto de Louis Hansel en Unsplash Sources Why Functional Programming Doesn't...
000
Reposted by David
Aws Albarghouthi @awsto.bsky.social · 12/06/2025
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
34713
Reposted by David
GOTO Conferences @gotocon.com · 04/06/2025
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.
youtu.be
How Scale Makes Distributed Systems Slower • Jonathan Magen • GOTO 2024
This presentation was recorded at GOTO Chicago 2024. #GOTOcon #GOTOchgohttps://gotochgo.comJonathan Magen - Computer Scientist with 1.5 Decades of Profession...
041
David @david2am.bsky.social · 05/06/2025
Today I gave my first talk about #OCaml in my current company, it was very well received, let’s see how it goes 🤗
020
Reposted by David
tarides.com @tarides.com · 29/05/2025
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...
tarides.com
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!
073
Reposted by David
Sarah Drasner @sarahedo.bsky.social · 26/05/2025
Nerd love is a very fun kind of love 🤓
11084
Reposted by David
Qwik @qwik.dev · 23/05/2025
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-...
qwik.dev
Qwik 1.14.0: Introducing the Preloader 📚 Qwik Documentation
No hydration, auto lazy-loading, edge-optimized, and fun 🎉!
2166
Reposted by David
Sarah Drasner @sarahedo.bsky.social · 12/05/2025
Documentation is the UI for many technical products. You can build, build, build, but if your docs are an afterthought, people won’t see the features clearly. It’s also helpful for AI to pick up in explanations.
814026
Reposted by David
patrick @patrick.sirref.org · 09/05/2025
You can try Janestreet's #OCaml with modes in your browser at patrick.sirref.org/oxcaml
patrick.sirref.org
Try OxCaml
An OCaml toplevel supporting Janestreet's Modes
285
Reposted by David
Marieke van Vugt @mvugt.bsky.social · 09/05/2025
How does hiring work for different science jobs? www.nature.com/articles/d41...
nature.com
Curiosity, drive, willingness to learn: three qualities to display at science job interviews
Recruiters want to see evidence of your potential to grow and develop, learn from mistakes, and how well you will fit into the team, says entrepreneur Ilana Wisby.
021
Reposted by David
Chris Armstrong @chrisarmstrong.link · 08/05/2025
Two people have submitted this article of mine to HN and I’m not sure why it’s so interesting www.chrisarmstrong.dev/posts/ocaml-...
chrisarmstrong.dev
OCaml cross-compilation: an experiment
OCaml has no official solution to cross-compilation, with many disparate options developed for different use cases. In this article I describe my own experiments with cross-compilation and attempts to...
011
Reposted by David
owais @desertthunder.dev · 07/05/2025
I wrote an essay about algebraic data types and pattern matching! #OCaml #FSharp #FunctionalProgramming
open.substack.com
Algebraic Data Types
An overview of ADTs with F# & OCaml
1146
Reposted by David
tarides.com @tarides.com · 01/05/2025
Check out the latest update from the Dune team, building all Dune packages in opam-repository using Dune package management. tarides.com/blog/2025-04...
tarides.com
Expanding Dune Package Management to the Rest of the Ecosystem
Explanation of our learnings from attempting to build all Dune packages in opam-repository using Dune package management.
051
David @david2am.bsky.social · 01/05/2025
I’m learning Alcotest now, not doing alcohol test, but the OCaml’s testing package 🤭, so far I think I love it
020
David @david2am.bsky.social · 25/04/2025
🚀 Dive into functional programming with my latest article on "Practical OCaml"! 📚💻 From tail recursion to error handling and mutable data structures. Learn how to write efficient and beautiful OCaml code. #OCaml #FunctionalProgramming #CodingJourney dev.to/david2am/pra...
dev.to
Practical OCaml
Welcome to the second part of Basic OCaml, where we dive into writing practical OCaml code! This...
040