sabine 🐫🦀 / 'use ocaml'; @sabine_s_ X Profile

sabine 🐫🦀 / 'use ocaml';

@sabine_s_

Followers

5K

Following

103K

Media

1K

Statuses

29K

https://t.co/qqe2A35K5y

in Raven's Progressive Matrix

Joined April 2014

Don't wanna be here? Send us removal request.

sabine 🐫🦀 / 'use ocaml';

@sabine_s_

2 hours

I'm still in love with the FUN OCaml stage

1

0

6

Thibaut Mattio

@tmattio_

5 hours

Join Raven Discord!

sabine 🐫🦀 / 'use ocaml';

@sabine_s_

6 hours

btw if you're interested in the Raven project (machine learning libraries for OCaml), you should 1000% join their discord! 👇

0

2

5

sabine 🐫🦀 / 'use ocaml';

@sabine_s_

6 hours

https://t.co/Z4QiWhPvpJ Raven ML discord

discord.com

Check out the Raven ML community on Discord - hang out with 18 other members and enjoy free voice and text chat.

0

2

sabine 🐫🦀 / 'use ocaml';

@sabine_s_

6 hours

btw if you're interested in the Raven project (machine learning libraries for OCaml), you should 1000% join their discord! 👇

sabine 🐫🦀 / 'use ocaml';

@sabine_s_

2 days

Thibaut's LLM workshop at FUN OCaml uses Dune package management 🥹🐫

2

3

19

teej dv 🔭

@teej_dv

2 days

race conditions doesn't bugs cause bugs cause conditions race

Low Level

@LowLevelTweets

2 days

C doesn't cause bugs. C causes bugs

26

21

530

Dmitrii Kovanikov

@ChShersh

2 days

YouTube knows me too well

3

1

34

Dmitrii Kovanikov

@ChShersh

3 days

I’m going to disappoint all people who attended @FunOCaml because of me But this is not me!

Dmitriy Kovalenko

@neogoose_btw

3 days

I think this should be my cover picture lol. Everything in this picture is just perfectly make sense lol

5

2

72

KC Sivaramakrishnan

@kc_srk

1 day

Interesting post from Mike Doods. https://t.co/dA1FniTG7s I've been writing lots of OCaml 5, TeX and Lean with Claude, and I feel super-productive. Claude is suprisingly good at OCaml way (interfaces, docs, implementation, dune, opam, testing, debugging type errors, etc).

galois.com

1

5

16

FUN OCaml

@FunOCaml

2 days

more OCaml

OCaml

@ocaml_org

3 days

Upcoming OCaml Events: * OCaml Users and Developers Workshop 2025 // Singapore, Singapore // Oct 17, 2025 https://t.co/IqwfvbAW9T #OCaml #OCamlPlanet

0

1

11

Dmitriy Kovalenko

@neogoose_btw

2 days

Finally implemented prebuilt binaries for fff.nvim (yes during Fun OCaml) - No need in rust toolchain at all - All platforms are supported (even android and arm windows) - Installed only via package manager (no runtime checks) - Works for every commit (not just releases) -

10

4

108

The Institute for Type Safe Memetic Research

@typememetics

6 days

Don't be like Tim.

7

43

The Institute for Type Safe Memetic Research

@typememetics

5 days

How typesafe are you? ✅🟨❌ Total functions ✅🟨❌ Referential transparency ✅🟨❌ Parametric polymorphism ✅🟨❌ Separation of pure and impure effects ✅🟨❌ Strong normalization ✅🟨❌ Totality by construction ✅🟨❌ Linear types ✅🟨❌ Dependent types ✅🟨❌

4

3

48

sabine 🐫🦀 / 'use ocaml';

@sabine_s_

1 day

big if true

The Institute for Type Safe Memetic Research

@typememetics

2 days

We are happy to report that our talk at @FunOCaml was well-received and attendees reported 73% increase in memetic protection.

0

19

One Happy Fellow

@onehappyfellow

2 days

@FunOCaml 2025 came to an end (at least for me, I have a 6am flight to catch tomorrow) I had an amazing time! It was my first conference in over 10 years and it made me feel foolish for not joining FunOCaml last year :) A small personal recap:

1

3

23

sabine 🐫🦀 / 'use ocaml';

@sabine_s_

2 days

Thibaut's LLM workshop at FUN OCaml uses Dune package management 🥹🐫

1

22

David Abram 🐊

@devabram

3 days

I am starting a @FunOCaml thread. @neogoose_btw realized that I am uneducated, so I will be asking some questions to educate myself: 🧵

1

2

12

sabine 🐫🦀 / 'use ocaml';

@sabine_s_

3 days

and what is this?

3

0

13

sabine 🐫🦀 / 'use ocaml';

@sabine_s_

3 days

uhhh, this time Jane Street sent T-Shirts! 🥹🐫 so we're having two T-Shirts at FUN OCaml!

7

3

50

sabine 🐫🦀 / 'use ocaml';

@sabine_s_

4 days

sitting at the gate waiting for boarding, making last minute schedule changes

2

0

10

sabine 🐫🦀 / 'use ocaml';

@sabine_s_

4 days

curious if we'll reach 700 subscribers before FUN OCaml starts, or after

1

0

4