@edwintorok.bsky.social
Reposted
A new book on the history of control structures by the creator of #OCaml himself @camlist.bsky.social xavierleroy.org/control-stru...
Control structures in programming languages
Xavier Leroy
xavierleroy.org
November 5, 2025 at 12:00 PM
A new book on the history of control structures by the creator of #OCaml himself @camlist.bsky.social xavierleroy.org/control-stru...
Reposted
Every layer of the stack is getting faster. #Terraform isn't.
We're building Stategraph in #OCaml to change that.
stategraph.dev/blog/terrafo...
We're building Stategraph in #OCaml to change that.
stategraph.dev/blog/terrafo...
The Infrastructure Stack Is Getting Faster. Terraform Is Not.
Every part of the stack is accelerating except infrastructure. Terraform has the ecosystem but not the speed. That's fixable.
stategraph.dev
October 31, 2025 at 8:19 AM
Every layer of the stack is getting faster. #Terraform isn't.
We're building Stategraph in #OCaml to change that.
stategraph.dev/blog/terrafo...
We're building Stategraph in #OCaml to change that.
stategraph.dev/blog/terrafo...
Reposted
If you're interested in Oxidised OCaml (OCaml with lifetime features), see the tutorial we ran at @icfp-conference.bsky.social here: gavinleroy.com/oxcaml-tutor.... We could also use your help answering a quiz that will help us develop this further gavinleroy.com/oxcaml-icfp-... #icfpsplash25
Gavin Gray, Anil Madhavapeddy, KC Sivaramkrishnan, Richard Eisenberg, Chris Casinghino, Will Crichton, Shriram Krishnamurthi, Patrick Ferris, Max Slater, Megan Del Vecchio, Diana Kalinichenko, Nadia Razek
gavinleroy.com
October 17, 2025 at 1:37 AM
If you're interested in Oxidised OCaml (OCaml with lifetime features), see the tutorial we ran at @icfp-conference.bsky.social here: gavinleroy.com/oxcaml-tutor.... We could also use your help answering a quiz that will help us develop this further gavinleroy.com/oxcaml-icfp-... #icfpsplash25
Reposted
Extremely cool work on a mechanically verified garbage collector for OCaml using F* by Sheera Samsu, @kcsrk.info and colleagues at the OCaml Workshop #icfpsplash25
October 17, 2025 at 3:32 AM
Extremely cool work on a mechanically verified garbage collector for OCaml using F* by Sheera Samsu, @kcsrk.info and colleagues at the OCaml Workshop #icfpsplash25
Reposted
To be clear, @satnam6502.bsky.social is talking about chip design here but feel free to meme this as you wish #icfpsplash25
October 13, 2025 at 1:29 AM
To be clear, @satnam6502.bsky.social is talking about chip design here but feel free to meme this as you wish #icfpsplash25
Reposted
going to speak at Open Source Conference Luxembourg later today 🥹
about Gospel, the emerging specification language for OCaml that aims to enable a formally verified open source ecosystem
about Gospel, the emerging specification language for OCaml that aims to enable a formally verified open source ecosystem
October 1, 2025 at 5:12 AM
going to speak at Open Source Conference Luxembourg later today 🥹
about Gospel, the emerging specification language for OCaml that aims to enable a formally verified open source ecosystem
about Gospel, the emerging specification language for OCaml that aims to enable a formally verified open source ecosystem
Reposted
Reposted
Roadmap and project for OCaml/security !
September 15, 2025 at 7:54 AM
Roadmap and project for OCaml/security !
Reposted
Reposted
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.
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.
June 13, 2025 at 2:14 PM
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.
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.
Reposted
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
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
June 1, 2025 at 1:10 PM
Reposted
Using uniqueness mode for improving behavioural types: kcsrk.info/ocaml/modes/...
Uniqueness for Behavioural Types · KC Sivaramakrishnan
kcsrk.info
May 30, 2025 at 12:52 PM
Using uniqueness mode for improving behavioural types: kcsrk.info/ocaml/modes/...
Reposted
hazel of ocaml of hazel of ocaml of hazel of ocaml of hazel is my programming language of choice now @neurocy.bsky.social
I wrote up a quick post about the OCaml to Hazel transpiler I've been hacking on recently. Reusing OCaml's type inference to handle Hazel's explicit polymorphism has been pretty fun!
patrick.sirref.org/hazel-of-ocaml
patrick.sirref.org/hazel-of-ocaml
patrick.sirref.org
May 4, 2025 at 2:52 PM
hazel of ocaml of hazel of ocaml of hazel of ocaml of hazel is my programming language of choice now @neurocy.bsky.social
Reposted
Yay for the first unikernel paper getting the ASPLOS most influential paper award, and some reflections on it anil.recoil.org/notes/uniker...
Unikernels wins the ASPLOS most influential paper award
anil.recoil.org
April 13, 2025 at 12:47 PM
Yay for the first unikernel paper getting the ASPLOS most influential paper award, and some reflections on it anil.recoil.org/notes/uniker...
Reposted
Making OCaml Safe for Performance Engineering youtu.be/g3qd4zpm1LA?...
Making OCaml Safe for Performance Engineering
YouTube video by Jane Street
youtu.be
April 4, 2025 at 11:39 PM
Making OCaml Safe for Performance Engineering youtu.be/g3qd4zpm1LA?...
Reposted
Reposted
#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-...
Here's a summary of where the case stands: deno.com/blog/deno-v-...
March 30, 2025 at 11:46 PM
#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-...
Here's a summary of where the case stands: deno.com/blog/deno-v-...
Reposted
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
conf.researchr.org/home/icfp-sp...
functional-architecture.org/events/funarch
FUNARCH 2025 - ICFP/SPLASH 2025
The Third ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large
“Functional Software Architecture” refers to methods of construction and structure of large and long-lived softwar...
conf.researchr.org
March 19, 2025 at 9:18 PM
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
conf.researchr.org/home/icfp-sp...
functional-architecture.org/events/funarch
Reposted
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
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
OCaml 2025 - OCaml Users and Developers Workshop 2025 - ICFP/SPLASH 2025
The OCaml Users and Developers Workshop brings together industrial users of OCaml with academics and hackers who are working on extending the language, type system, and tools. Previous editions have b...
conf.researchr.org
March 25, 2025 at 1:19 AM
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
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
Reposted
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! 😄
github.com/ocaml-multic...
(as in: from defunct to decent)
It even works on OCaml 4 too! 😄
Improve context switching chance in `Lin_thread` and `STM_thread` modes by jmid · Pull Request #540 · ocaml-multicore/multicoretests
This fixes #338 - or at least gives it a good kick in the right direction.
Both Lin_thread and STM_thread are currently marked as experimental - and for good reason:
The chance of them triggering u...
github.com
March 23, 2025 at 4:12 PM
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! 😄
github.com/ocaml-multic...
(as in: from defunct to decent)
It even works on OCaml 4 too! 😄
Reposted
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.
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.
Semgrep | Upgrading Semgrep from OCaml 4 to OCaml 5
semgrep.dev
March 13, 2025 at 12:17 AM
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.
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.
Reposted
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...
Designing Data-Intensive Applications, 2nd Edition
Data is at the center of many challenges in system design today. Difficult issues such as scalability, consistency, reliability, efficiency, and maintainability need to be resolved. In addition, there...
www.oreilly.com
March 11, 2025 at 6:01 PM
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...
Reposted
March 10, 2025 at 10:51 AM
Reposted
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-...
Chosen as one of the distinguished papers at TACAS 2025.
Paper: janmidtgaard.dk/papers/Huber...
Code: discuss.ocaml.org/t/ann-ortac-...
March 10, 2025 at 4:18 AM
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-...
Chosen as one of the distinguished papers at TACAS 2025.
Paper: janmidtgaard.dk/papers/Huber...
Code: discuss.ocaml.org/t/ann-ortac-...
Reposted
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...
Socially self-hosting source code with Tangled on Bluesky
anil.recoil.org
March 8, 2025 at 9:27 PM
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...