Tessera
Folgen

sabine 🐫🦀 / "use ocaml";

@sabine.sh

OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨ twitch.tv/sabine_sh github.com/sabine

2678 Posts3898 Follower1165 Folgt
Impure Pics@impurepics.bsky.social · 2mo ago

- The purpose and design of Alexandrite - Differences between "normal" compilers and "analyzers" - Reasons to choose Rust or OCaml for compiler development - Internals of compilers, some optimizations and tradeoffs - Importance of clarity and posterity

Impure Pics@impurepics.bsky.social · 2mo ago

@purefunctor.me is building Alexandrite – a PureScript analyzer – designed for interactive editing. Wonder why languages need multiple compilers? How do language servers work? And how long does it take to compile a hundred thousand lines of PureScript? youtu.be/XSv5B9yI6F4

sabine 🐫🦀 / "use ocaml";@sabine.sh · 2mo ago

my life always seems to bring me back to building a social network of some kind and this karaoke site is the most glorious yet and I'm actually shipping things and able to respond to bug reports and feature requests fast enough to keep up

b@mrrp.place · 2mo ago

my wiki software is terrifyingly close to being finished,, it's now about 150 lines of ocaml plus a few hundred lines of liquid templates. i'm trying to keep complexity down as much as possible and i've found that doing layout stuff entirely in liquid templates is a good way to achieve that

Anil Madhavapeddy@avsm.amok.recoil.org.ap.brid.gy · 2mo ago

superb piece of work getting merlin's typing recovery upstreamed into the OCaml compiler; it might even make 5.5! "the typer won't stop at the first error. Instead it will continue typing as much as possible, reporting other errors along the way" https://github.com/ocaml/ocaml/pull/14241

Add Merlin's Typing recovery by xvw · Pull Request #14241 · ocaml/ocaml

This PR upstreams Merlin's typing recovery to the OCaml Typechecker. This new mechanism can be enabled with the -typing-recovery cli flag. When running in that mode, the typer won't stop at...

github.com

Anil Madhavapeddy@avsm.amok.recoil.org.ap.brid.gy · 2mo ago

.plan-26-21: some amazing undergraduate projects completed this week on TESSERA and OxCaml, speaking at Pint of Science, and a grab bag of hacking https://anil.recoil.org/notes/2026w21

.plan-26-22: Pint of Science, OxCaml dissertations, and TESSERA 1.1 stirring

After the BBC/ITV media run we had a talk at Pint of Science, two cracking Part II dissertations on CE/TESSERA and OxCaml vector RAG, and put TESSERA v1.1 weights on HuggingFace.

anil.recoil.org

Kett‮@racc.at · 2mo ago

decided to install and play around with OCaml and it seems pretty neat. pretty *different*, i assumed it would be more similar to F# than it really is, but i think I'm getting the hang of the differences. it's got a way faster cold start than F# and can also compile to tiny native executables :o

sabine 🐫🦀 / "use ocaml";@sabine.sh · 2mo ago

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

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

docs.google.com

@mohanradhakrishnan.bsky.social · 3mo ago

I ported a Static Analyzer from Python to #OCaml . This Python code is part of the Spring 2020 edition of CSC255/455 Software Analysis and Improvement taught by Prof. Sreepathi at the University of Rochester. www.linkedin.com/feed/update/.... My #OCaml is improving but may not be up to the mark.

#ocaml #ocaml #ocaml #ocaml | Mohan Radhakrishnan

Static Analyzers are programs that analyze other programs based on Mathematical properties. Apart from the book by Xavier Rival which also has #OCaml code(I didn't follow that) the most recent motivat...

linkedin.com