logo FEDIDEVS

FEDIDEVS

7 of the best OCaml accounts on Mastodon that posted recently.

Best Recently posted ocaml OCaml
Header Image
Marcus Rohrmoser 🌻
@[email protected]

Builds the social web 🚲 Seppo.Social with 🐫 @ocaml. Supported by NLnet.nl/project/Seppo. Makes things deemed impossible.

Former JEE and iOS developer, past 🌳 tree planter. Occasional lightning talker mro.name/talks. Netizen since the mid 90ies. SIGCHI.org, CCC.de, FIfF.de, NOYB.eu, Blaetter.de.

Likes 😈 mro.name/FreeBSD-XFCE 🐁 and πŸ”οΈ AlpineLinux.org.

.

Last posted 1 day ago
Posts 388
Followers β–Ό 5
Following 420
Header Image

s='hello;'
echo "${s//;/\;}"

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0

time matters when it pays off
> git.sr.ht/~carnotweat/modshell
, bits of

Last posted Less than a day ago
Posts 7,842
Followers β–Ό 4
Following 159

Computer Graphics & Programming Languages person.

I twoot about languages like C, C++, Rust, JS/TS, and OCaml.

I organize two online meetups: @graphicsmeetup and Programming Languages Virtual Meetup

he/him

Last posted 1 day ago
Posts 1,431
Followers β–Ό 3
Following 605
jailandrade πŸ‰
@[email protected]

Software Developer, currently creating themes and templates for websites to sell and share my journey as entrepreneur

I'm interested in moving the web forward, so I read and share a lot about , , , , , , and ,

very interested in languages like , , , and .

love , ,

I'm a , believer, and advocate

Let's create the web we want today

Last posted 1 day ago
Posts 3,601
Followers β–Ό 1
Following 205
Header Image

I like:

Aspiring long distance

Last posted 1 day ago
Posts 2,463
Followers β–Ό 0
Following 233
Header Image

Likes high level abstractions and low level bit twiddling. Spends spare time on ASMotor, gateware and retro computing. Woke AF ♾️ πŸ³οΈβ€βš§οΈ πŸ³οΈβ€πŸŒˆ

All Cats Are Beautiful

Last posted 2 days ago
Posts 537
Followers β–Ό 0
Following 222
Header Image
Marcello Seri
@[email protected]

Maths, lambdas and rock'n'roll. Mathematical physicists, associate professor at Bernoulli Institute. Member of YAGroningen. OCaml enthusiast. Tweets are my own

Last posted 2 days ago
Posts 854
Followers β–Ό 0
Following 366