logo FEDIDEVS

FEDIDEVS

6 awesome OCaml accounts on Mastodon that posted recently.

Recently posted ocaml OCaml
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

Last posted 5 days ago
Posts 8,605
Followers ▼ 575
Following 169
Header Image

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

Last posted 6 days ago
Posts 892
Followers ▼ 301
Following 373
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last posted 3 days ago
Posts 1,652
Followers ▼ 248
Following 839
Header Image

i make cool stuff!!

#1 systemd/Linux fan · web developer in denial · recovering Rust developer · also Haskell, OCaml & C99 nerd

follow @ap.brid.gy if you're on bluesky!

Last posted 5 days ago
Posts 4,929
Followers ▼ 193
Following 182

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 2 days ago
Posts 3,855
Followers ▼ 183
Following 216
Header Image

(he/him) SDE
I ♡ to build.
Debian Contributor.
C, Rust, Go, Haskell, Ocaml.
Born to do System Programming, Fullstack dev by Profession

Last posted 4 days ago
Posts 176
Followers ▼ 41
Following 99