logo FEDIDEVS

FEDIDEVS

8 of the best OCaml accounts on Mastodon.

Best ocaml OCaml

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,468
Followers 519
Following β–Ό 607
Header Image
Marcus Rohrmoser 🌻
@[email protected]

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

Rents out long life πŸ’» laptops: mro.name/laptop

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 414
Followers 235
Following β–Ό 426
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 1 day ago
Posts 863
Followers 297
Following β–Ό 369
Header Image
Felipe O. Carvalho
@[email protected]

SWE @VoltronData / @ApacheArrow. Past: @Spotify. Databases/Compilers/DistSys. C++/OCaml/TLA+. πŸ‡§πŸ‡· β†’ πŸ‡ΈπŸ‡ͺ β†’ 🌎

Last posted 3 months ago
Posts 55
Followers 163
Following β–Ό 300
Header Image

I like:

Aspiring long distance

Last posted 3 days ago
Posts 2,471
Followers 170
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 1 week ago
Posts 539
Followers 120
Following β–Ό 222
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 Less than a day ago
Posts 3,689
Followers 176
Following β–Ό 206
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

chose life not Google
> git.sr.ht/~carnotweat/modshell
, bits of

Last posted 1 day ago
Posts 7,989
Followers 579
Following β–Ό 161