David

David

@david2am.bsky.social

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

301 followers230 following63 posts

David reposted

Leanpub
@leanpub.bsky.social

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

David reposted

David Sancho
@david.sancho.dev

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.

David reposted

sabine 🐫🦀 / "use ocaml";
@sabine.sh

The OCaml Users Survey is still open until May 25 (Monday)! If you haven't taken it, please take it now! 🐫 🧡 https://docs.google.com/forms/d/e/1FAIpQLSet4a4y7TL7zv6uS6iQk27NoJGYjhz4ANQVMRQuZNoVSfroBA/viewform?usp=send_form

docs.google.comOCaml Users Survey 2026This 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).
David
@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

discuss.ocaml.orgPeel the Onion: Why OCaml Seems Difficult When it's so EasyPeel 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...

David reposted

daniel r(ooooooh) in nyc 🇺🇸
@danielroe.dev

🙌

Alvaro Sabu@alvarosabu.bsky.social

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?

David reposted

Yaron Minsky
@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...

signalsandthreads.comSignals and Threads PodcastListen 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...

David reposted

Jay 🦋
@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.

David reposted

Quanta Magazine
@quantamagazine.org

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.orgNew Method Is the Fastest Way To Find the Best Routes | Quanta MagazineA 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.

David reposted

FUN OCaml
@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.

David reposted

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

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

David reposted

OCaml
@ocaml.org

#OCaml #OCamlPlanet

dlvr.itIntroducing OxCamlAt 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.

David reposted

Yaron Minsky
@yminsky.bsky.social

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.

David reposted

Sarah Drasner
@sarahedo.bsky.social

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.