logo FEDIDEVS

FEDIDEVS

10 of the best OCaml accounts on Mastodon.

Best ocaml OCaml

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 ,

also languages like , , , , .

love , ,

I'm a , believer, and advocate

Let's create the web we want today. Se habla español.

Last posted 1 day ago
Posts 4,833
Followers ▼ 1
Following 255
Header Image

Wesh gro bi1?

Last posted 1 week ago
Posts 409
Followers ▼ 0
Following 167
Header Image
Marcus Rohrmoser 🌻
@[email protected]

Rents out Linux laptops 💻 mro.name/laptop

Builds the social web 🚲 Seppo.mro.name with 🐫 @ocaml. Generously incubated 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.

Member of SIGCHI.org, CCC.de, FIfF.de, GI.de, NOYB.eu, Blaetter.de, ADFC.de.

Likes 😈 mro.name/FreeBSD-XFCE 🐁 and 🏔️ AlpineLinux.org.

.

Last posted 1 day ago
Posts 481
Followers ▼ 0
Following 480
Header Image

I like:

Aspiring long distance

Last posted 1 day ago
Posts 2,643
Followers ▼ 0
Following 245
Header Image
Xavier Van de Woestyne
@[email protected]

I like programming using nice languages like OCaml, Haskell, F# and IO and I try to draw, with spray on walls.

Last posted 1 day ago
Posts 1,141
Followers ▼ 0
Following 166

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 3 days ago
Posts 1,649
Followers ▼ 0
Following 621
Header Image

Likes high level abstractions and low level bit twiddling. Spends spare time on ASMotor, gateware and retro computing.

Last posted 2 days ago
Posts 568
Followers ▼ 0
Following 222
Header Image
Felipe O. Carvalho
@[email protected]

SWE @VoltronData / @ApacheArrow. Past: @Spotify. Databases/Compilers/DistSys. C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎

Last posted 7 months ago
Posts 55
Followers ▼ 0
Following 300
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 985
Followers ▼ 0
Following 384
Header Image

git log -p -- @xameer

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

send messages , not metadata
> https://.sr.ht/~carnotweat/deltanix
, bits of
DP - shamelessly stolen from a an fp video i watched

Last posted Less than a day ago
Posts 9,798
Followers ▼ -1
Following 190