Advertisement ยท 728 ร— 90

Posts by sabine ๐Ÿซ๐Ÿฆ€ / "use ocaml";

So far really enjoying ocaml + dream

2 days ago 6 1 0 0

github.com/ocaml/ocaml.org can be a reasonable reference for these kinds of things

1 day ago 1 0 0 0

What's the best way to parse markdown frontmatter in ocaml? I tried frontmatter_extractor with yaml, but dune and opam are screaming at me saying Frontmatter_extractor_yaml isn't real ๐Ÿ˜ญ

1 day ago 1 2 1 0

If you have complaints about YAMLx, please direct them to me. #ocaml

1 day ago 2 2 1 0

Oh yes in that case it's fine to enable publish_all

1 day ago 2 0 0 0

we just had to merge the scraper's pull request

3 days ago 2 0 2 0

OCaml seems neat

3 days ago 13 2 0 0
Advertisement

Just finished Chapter 8, "Statements and State"! Wow that was longer and tougher than the previous chapters ๐Ÿ˜…

Kinda proud of running my first lox script

#OCaml

3 days ago 3 1 0 0

let me check when I'm back home

3 days ago 1 0 1 0

I feel like there's so much potential to build great ecosystem around these languages

3 days ago 1 0 0 0
[ANN] ATD 4.1.0 - now with YAML support ATD now has OCaml support for conveniently reading data from YAML files as well as from other formats with minimal effort. It means: You define a type for your config data. atdml --mode jsonlike app...

ATD now supports YAML! The key was to propagate source locations to produce useful error messages.

discuss.ocaml.org/t/ann-atd-4-...
#ocaml

5 days ago 3 2 0 0

nice!

4 days ago 2 0 0 0

And just finished Chapter 7 "Evaluating Expressions" of the book "Crafting Interpreters"

#OCaml

4 days ago 2 1 1 1

maybe something changed in the meantime, back the last time when it went down it would rebuild nicely

5 days ago 2 0 0 0

looks like I'll later today have to look into why it's only starting from here

5 days ago 1 0 1 0
Advertisement

hard to tell but there's still some obvious bot patterns on almost all bots today

the thing is indeed... when will we stop to notice ๐Ÿ˜‚

5 days ago 1 0 0 0

sorry about the OCaml feed going down, it's processing and bound to come up again soon

6 days ago 6 0 1 0

I mean I feel fine shooting my shot with humans.

But I don't want to manually write messages to bots, you know?

6 days ago 3 0 1 0

one of the most interesting questions when using social media: how do we distinguish between bots, people not interested in us, those who could become allies or friends, and non-bot followers?

don't want to waste time on who's not interested

idk, someone building this? I want to try it.

6 days ago 3 0 1 0

uhh pretty

1 week ago 3 0 0 0
three mugs, depicting the logos of Agda, OCaml, and Hazel, sitting on office desk

three mugs, depicting the logos of Agda, OCaml, and Hazel, sitting on office desk

Ordered Agda and OCaml mugs from the @ttforall.bsky.social merch store and Pedro threw in a little bonus! ๐Ÿ’š

1 week ago 27 4 2 0

it's an interesting consideration and I feel the post captures really well some thought I also have on what's a sensible way to use AI

but only time will tell

1 week ago 2 0 1 0
Preview
.plan-26-14: Tracking AI screen time and escaping to pen and paper Mythos Preview and the urgent need for internet immune systems, cognitive DDoS and AI screen time for code, a proposal for voluntary disclosure in OCaml, desktop focus and printed papers, iOS misery, GeoTessera 0.8, Ceph at 1.4PB, OCaml CI migration, hardware perf counters for OxCaml, and the FP Launchpad launch at IIT Madras.

Anil Madhavapeddy discusses AI screen time in coding workflows and proposes voluntary disclosure mechanisms in OCaml.

https://anil.recoil.org/notes/2026w14

Also covers GeoTessera 0.8 release with spatial indexing improvements and the FP Launchpad launch at IIT Madras.

1 week ago 6 1 1 0
Advertisement
Preview
Release v0.8.0 ยท bbatsov/neocaml New features #47: Add neocaml-backward-up-list, bound to C-M-u, for jumping out of the enclosing OCaml block (struct/sig/object, records, arrays, etc.). The built-in backward-up-list doesn't under...

neocaml 0.8 is out with several fixes and small improvements github.com/bbatsov/neoc...

neocaml is a modern #Emacs package for programming in #OCaml

1 week ago 4 1 0 1
You can pass generic arguments to a module path segment if the module reexports an enum variant ยท Issue #154962 ยท rust-lang/rust What the-. enum Enum<T> { Variant, Carry(T) } mod module { pub(super) use super::Enum::Variant; } fn scope() { let _ = module::<i32>::Variant; // OK! ๐Ÿ˜จ let _ = self::module::<()>::Variant {}; // OK...

did you know that rust has support for parameterized modules, just like ocaml: github.com/rust-lang/ru...

1 week ago 29 4 0 0
Preview
Thomas Gazagnaire :: Predicting Satellite Collisions in OCaml Open test data for predicting satellite collisions. I built the full screening pipeline in OCaml, validated it against the answer key, and put a 3D globe in the browser.

Predicting satellite collisions in OCaml!

The screening pipeline matches the TraCSS answer key, and the 3D globe runs in the browser via js_of_ocaml.

gazagnaire.org/blog/2026-04...

#space #OCaml

1 week ago 8 2 0 0
Preview
GitHub - mjambon/yamlx: Pure-OCaml YAML 1.2 & 1.1 Library Pure-OCaml YAML 1.2 & 1.1 Library. Contribute to mjambon/yamlx development by creating an account on GitHub.

I've created a complete, pure-OCaml YAML library called YAMLx (Yumyulack was too long). It will be suitable for reading config files in your applications as well as for analyzing YAML files used by other projects.

Aiming for a release by the end of this week.

github.com/mjambon/yamlx

#ocaml #YAML

1 week ago 5 2 1 0

there's a meaningful line to draw between using AI assistance for content creation and using AI to handle commenting and conversation

the latter is counterproductive

the former it's hard to justify doing things the slower way when you only have so many hours in the day

1 week ago 0 0 0 0

I'm struggling

like... it's tempting to delegate but there's definitely things that's better to at least look at and thoroughly review by myself so that I have the context!

and it took me a while to come to a clear conclusion for the social media automation part:

1 week ago 0 0 1 0

while the rest of the world is busy getting started with AI, you should be asking yourself the question of where to stop with AI

1 week ago 5 0 1 0