FediDevs

Marshall Abrams

Philosopher of science and occasional scientist. Mainly philosophy of evolutionary biology, philosophy of probability, implications of modeling and statistical inference in evolutionary biology. New book, Evolution and the Machinery of Chance, 2023. Sometimes I write biological or social science simulations to investigate or illustrate philosophical or other theoretical ideas in biology or anthropology. (Favorite languages: Clojure, Idris (learning), OCaml, Haskell, NetLogo, R.)

Haskell OCaml

1,744 729 3 weeks, 5 days ago

Lesley Lai

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

JavaScript Rust C++ OCaml

597 384 1 day, 12 hours ago

Maciej "XGQT" Barć

#Gentoo developer, #Scheme user, #Libre software enjoyer.

Current lead dev of .net project in Gentoo, second in command on the GNU Emacs Gentoo team.

In Gentoo I take care of #ELisp, #Scheme, #OCaml, #DotNET, #Nim and #Math libraries.
Writing #Java (and #Python) for the present, developing #Racket tools for the future.

He/Him, EN/PL, Europe/Poland

I have come here to chew bubble gum and have fun and I'm all out of bubble gum.

Python Java OCaml .NET

1,146 381 Less than a day ago

HoldMyType- main :: [Response]

:p lib.fixedPoints

On my desk functions are 1st class citizens
denotations of expressions may be functions from environments and stores to
expressible values-there is no need to return the current store, as it is unchanged.
overlay =A(e E Env, e' E Env). Ale EIde. [idov, AX E 0. e'(l)](e(I))
E Env xEnv --+Env
haskell fsf emacs ocaml

Haskell OCaml

4,685 380 Less than a day ago

Leandro

latinx immigrant 🇦🇷🇸🇪🏳️‍🌈🖖🏼 he/they • ex @spotify @klarna @walnutinc  

I toot about:
  🚀#buildinpublic #saas
 💾 #devtools #buildsystems #compilers (#rust #ocaml #erlang #elixir #rescript #javascript ) 

tho you'll also find 🫶🏼 #personal stuff, 🧭 #digitalnomad, 📸 #photography, and 🎼 #music here too.

JavaScript Rust OCaml

1,012 350 2 weeks, 4 days ago

Marcello Seri

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

OCaml

565 226 1 day, 12 hours ago