edwintorok.bsky.social - Profile | ThreadSky | a Reddit-style client for Bluesky

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.

submitted 6 hours ago • 4 comments

1994 (and earlier): select text in one “app”, copy, paste to another “app” 2025: select text in one app, copy, switch to other app and discover they’ve disabled paste on the input fields. Return to other app. Write information on piece of paper. Type into other app. #progress #modern

submitted 12 days ago • 2 comments

Using uniqueness mode for improving behavioural types: kcsrk.info/ocaml/modes/...

submitted 14 days ago • 3 comments

hazel of ocaml of hazel of ocaml of hazel of ocaml of hazel is my programming language of choice now @neurocy.bsky.social

submitted 40 days ago • 1 comment

Yay for the first unikernel paper getting the ASPLOS most influential paper award, and some reflections on it anil.recoil.org/notes/uniker...

submitted 61 days ago • 2 comments

Making OCaml Safe for Performance Engineering youtu.be/g3qd4zpm1LA?...

submitted 69 days ago • 0 comments

👀 Oleg Kiselyov's compilers course in OCaml 👀 okmij.org/ftp/tagless-...

submitted 69 days ago • 0 comments

#FreeJavaScript update: Oracle has just filed more on their motion to dismiss the Fraud claim. Here's a summary of where the case stands: deno.com/blog/deno-v-...

submitted 74 days ago • 3 comments

The Call for Papers for #FUNARCH2025 is open - deadline is June 16th. Send us research papers, experience reports, architectural pearls, or submit to the open category! conf.researchr.org/home/icfp-sp... functional-architecture.org/events/funarch

submitted 85 days ago • 1 comment

Calling for Presentations!!! The OCaml Workshop 2025 welcomes presentations on any topic related to OCaml (such as multicore, algebraic effects, testing, ppxs, etc.) Have fun!! Submissions due: July 3rd AoE Workshop: Oct 17th Here's the link to website: conf.researchr.org/home/icfp-sp... #OCaml

submitted 80 days ago • 1 comment

Scratching another old itch, I've utilized a wonderful hack by @edwintorok.bsky.social to get the Thread-modes of Lin and STM working much better 🤓 github.com/ocaml-multic... (as in: from defunct to decent) It even works on OCaml 4 too! 😄

submitted 82 days ago • 0 comments

SemGrep has migrated to OCaml 5 with negligible performance impact. semgrep.dev/blog/2025/up... They’ve had to do a bit of work to get a GC spacetime behaviour that matches OCaml 4. This feels like an issue with OCaml 5 GC scheduling. Needs investigation.

submitted 92 days ago • 1 comment

Chapters 1–7 of the second edition of Designing Data-Intensive Applications are now available in early release (sorry, O'Reilly subscribers only at this point). Among other changes, you may notice that we now talk about “sharding” rather than “partitioning” www.oreilly.com/library/view...

submitted 94 days ago • 9 comments

🚀🚀🚀 x.com/linoscope/st... #Wasm #OCaml

submitted 95 days ago • 1 comment

Great work from @tarides.com folks on pragmatic verification of OCaml software. Chosen as one of the distinguished papers at TACAS 2025. Paper: janmidtgaard.dk/papers/Huber... Code: discuss.ocaml.org/t/ann-ortac-...

submitted 95 days ago • 1 comment

The @tangled.sh Git hosting really does look like a viable alternative to central Git forges, even in its early alpha stage. I'm having a lot of fun playing with it; reminds me of the early Keybase from way back in the day! anil.recoil.org/notes/disent...

submitted 96 days ago • 4 comments

If you're still using the ancient OCaml 4.08 or not in production and depending on the OCaml infrastructure, we need to know. It's being deprecated! anil.recoil.org/notes/deprec...

submitted 100 days ago • 1 comment

just read Oleg Kiselyov's blog post "do-while loops have always been in OCaml" (https://okmij.org/ftp/ML/index.html#do-while), and laughed out loud when I got to the punchline. I haven't done any OCaml programming in a long time but it makes me want to try it again, surely a beautiful language […]

submitted 102 days ago • 1 comment

the great folks working on OCaml editor integrations need your feedback and feature ideas to make OCaml development even better! there's a short survey here: docs.google.com/forms/d/e/1F...

submitted 102 days ago • 4 comments

what impresses me a lot about Rust: somehow they managed to build an incredibly welcoming, hands-on, vibrant community that makes a good home for those who deeply care about correctness and performance and thanks to all the work of building a useful ecosystem, there's so much adoption of Rust now

submitted 104 days ago • 0 comments

Is it possible to build a formally verified GC for OCaml that can be plugged into the compiler? We should how to in: "A Mechanically Verified GC for OCaml" kcsrk.info/papers/verif... This has been accepted to the Journal of Automated Reasoning. Code: github.com/prismlab/ver...

submitted 108 days ago • 7 comments

Got pretty far with Zig/OCaml cross compilation in a couple of hours of messing around. I can now build binaries for my rPi from my mac with a dune build thanks to @chrisarmstrong.link's work! github.com/chris-armstr... for WIP

submitted 110 days ago • 2 comments

Do you want to compile OCaml to Wasm? We have you covered: tarides.com/blog/2025-02... This includes support for effect handlers: ocsigen.org/js_of_ocaml/...

submitted 111 days ago • 2 comments

curious... what languages have the best story for cross-compilation and what are the reasons why it's so great?

submitted 115 days ago • 6 comments

Have you read the OCaml Platform Newsletter, the OCaml Changelog, or other communications from the OCaml Platform? We are looking for feedback on how to make the updates and content we put out more useful to you! Here's a survey: docs.google.com/forms/d/e/1F... Thanks for your help! 🧡

submitted 116 days ago • 1 comment

OCaml GADTs for Authentication Tokens https://lobste.rs/s/gm5vhq #ml

submitted 119 days ago • 0 comments