's Avatar

@randyisrandom

Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix Investigating the illusion of discreetness

6
Followers
60
Following
1
Posts
29.12.2025
Joined
Posts Following

Latest posts by @randyisrandom

Did You Know? ๐Ÿฆ€

In its early days (2006โ€“2009), Rust's compiler was implemented in about 38,000 lines of OCaml code before transitioning to self-hosting on LLVM by 2012.

21.02.2026 18:38 ๐Ÿ‘ 7 ๐Ÿ” 4 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Outreachy May 2026 Hello everyone, The OCaml community has signed up to Outreachy May 2026 (see past posts)! What is Outreachy? Outreachy is a paid, remote internship program. Outreachy promotes diversity in open sou...

The #OCaml community will be taking part in #outreachy in May 2026. You can read more about it and consider signing up as a mentor at the following link ๐Ÿซ

discuss.ocaml.org/t/outreachy-...

02.03.2026 15:26 ๐Ÿ‘ 3 ๐Ÿ” 3 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
FLoC 2026: The 9th Federated Logic Conference

โˆ€ researchers. โˆƒ registration.

FLoC 2026 registration is now open!
๐Ÿ‘‰ www.floc26.org/registration
Early bird rates end on May 15th.

QED.

See you in Lisbon. ๐Ÿ‡ต๐Ÿ‡น
#FLoC2026 #LogicInCS #Lisbon

24.02.2026 14:56 ๐Ÿ‘ 1 ๐Ÿ” 2 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
The Missing Semester of Your CS Education Master powerful tools that will make you a more productive computer scientist and programmer.

More stuff like this should be published. Maybe something for language specific ecosystems.

missing.csail.mit.edu

21.01.2026 04:14 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Following the keynote, #BOBkonf2026 talks track A starts off with @xvw.lol 's "A crash course on the OCaml module language", a talk that explores OCamlโ€™s powerful module system as a core language feature.

For more information, see bobkonf.de/2026/woestyn...

13.01.2026 09:05 ๐Ÿ‘ 8 ๐Ÿ” 5 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
BOB Conference logo: a smiling stick figure face that seems to look over a line, drawn in black lines on a white background. The figurine has three red hairs. The writing right of the image says "BOB Konferenz 2026"

BOB Conference logo: a smiling stick figure face that seems to look over a line, drawn in black lines on a white background. The figurine has three red hairs. The writing right of the image says "BOB Konferenz 2026"

We're back! Mark your calendars: BOBkonf returns on 13 March 2026 โ€ฆ

โ€ฆ and our Call for Contributions is up, with a submission deadline of 17 Nov 2025.

Find out more here:
bobkonf.de/2026/cfc.html

02.10.2025 11:49 ๐Ÿ‘ 9 ๐Ÿ” 6 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 2

In 2026 you WILL start Haskell!

01.01.2026 11:07 ๐Ÿ‘ 106 ๐Ÿ” 12 ๐Ÿ’ฌ 15 ๐Ÿ“Œ 4