Header Image

Occasional OCaml programmer, host of Signals and Threads podcast

Last seen 1 month ago
Posts 154
Followers 1,174
Header Image
Marshall Abrams
@[email protected]

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.)

Last seen 3 months ago
Posts 1,722
Followers 747

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 seen 1 week ago
Posts 1,300
Followers 492
Header Image

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



I toot about:


🚀

💾 ( )


tho you'll also find 🫶🏼 stuff, 🧭 , 📸 , and 🎼 here too.

Last seen 1 month, 1 week ago
Posts 1,020
Followers 382
Header Image
Marcello Seri
@[email protected]

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

Last seen 3 days, 20 hours ago
Posts 734
Followers 274

Queery {PL,Q}T; my gender is carbohydrates & the colour pink. 💝

I write a lot of for the ecosystem!

DMs open; indexed on tootfinder.ch; other keywords:

Last seen 1 week, 2 days ago
Posts 749
Followers 239
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last seen 1 day, 20 hours ago
Posts 1,388
Followers 225
Header Image
Thomas Leonard
@[email protected]

Programmer. Interests include: Free Software, OCaml, MirageOS unikernels, Nix, Wayland, Capability-based security, formal methods (TLA+, Coq).

Last seen 1 month ago
Posts 63
Followers 214
Header Image
Marcus Rohrmoser 🌻
@[email protected]

Builds the social web typewriter Seppo.Social with 🐫 OCaml.org with grant NLnet.nl/project/Seppo.

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.

. via tootfinder.ch

Last seen 5 months, 2 weeks ago
Posts 414
Followers 181
Header Image

I like:

Aspiring long distance

Last seen 1 day, 20 hours ago
Posts 2,225
Followers 156
Header Image
Felipe O. Carvalho
@[email protected]

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

Last seen 4 months, 1 week ago
Posts 54
Followers 152

Software Developer, currently creating theme and template websites for sale and sharing what I've learned about it.

I am interested in moving the web forward, so I read and share a lot about , , , , , , and .

I am also interested in languages like , , , , and .

I like languages like , , too.

I am a , believer, and advocate.

Last seen 2 days, 20 hours ago
Posts 2,683
Followers 137
Header Image

Likes high level abstractions and low level bit twiddling. Spends spare time on ASMotor, gateware and retro computing. ♾️ 🏳️‍⚧️ 🏳️‍🌈

All Cats Are Beautiful

Last seen 1 month, 3 weeks ago
Posts 518
Followers 122
Header Image

Programming Languages Researcher/PhD student at NUS/British Indian 3rd Generation Immigrant (TCK)

I'm 100% lost... ... :(

I also have an account at [email protected]!

Website: gopiandcode.uk
Gitlab: gitlab.com/gopiandcode
Github: github.com/gopiandcode

Last seen 1 month ago
Posts 1,032
Followers 63
Header Image

Open-source platform dedicated to the analysis of source code written in C, featuring:
- an abstract interpretation based analysis (Eva);
- a program proof framework based on deductive verification (WP);
- a runtime verification tool (E-ACSL);
- many tools for code base exploration, dependency analysis, slicing…

Based on formal methods, developed mainly in OCaml.

This account is used by Frama-C team members for technical (and not so technical) discussions, announcements, user support, etc.

Last seen 1 week, 5 days ago
Posts 13
Followers 54
Header Image
Patrick Ferris
@[email protected]

PhD-ing Department of Computer Science and Technology, Cambridge and probably doing something in OCaml

Last seen 2 weeks, 1 day ago
Posts 66
Followers 52
Header Image
Jason P 🇺🇦
@[email protected]

Programming languages, compilers, , , , a little , some music

github.com/jasonperry/

Last seen 1 day, 20 hours ago
Posts 595
Followers 49
Header Image

(functional) programming, mainly Clojure and OCaml

Last seen 6 days, 20 hours ago
Posts 374
Followers 43
Header Image

Recent transplant from to the metro area. I'm a Software Engineer. My current Interests are in OCaml, network protocols, RPC systems, Observability and data platforms.

Last seen 1 day, 20 hours ago
Posts 177
Followers 34
Header Image
Jon Raphaelson
@[email protected]

I am a slightly malfunctioning robot.

Dad nerd, software engineer by day, and also by night.

I binge a lot of , , and youtube.

I collect books, but play approximately twice a year.

I listen to a lot of podcasts.

I don't participate too much.

Last seen 6 months ago
Posts 154
Followers 29
Header Image

he/him, software engineer, tokyo

OCaml, MirageOS, Rust, Embedded, DDD, Category Theory, Coffee, Watercolor

Last seen 3 weeks, 5 days ago
Posts 23
Followers 22
Header Image

When I don't go down rabbit holes, I sometimes do something useful. OCaml.org maintainer.

Last seen 3 weeks, 5 days ago
Posts 30
Followers 21
Header Image
Edwin Török
@[email protected]

developer

Last seen 2 days, 20 hours ago
Posts 188
Followers 16
Header Image
Anton Kochkov
@[email protected]

Reverse engineer. Firmware dissector. Rizin&Cutter developer. GitHub influencer. Foreign languages fanatic. OCamler and Rustacean. Loves to C into the void.

Last seen 1 month, 2 weeks ago
Posts 13
Followers 9
Header Image

Software Engineer who lives in NYC. Spent 8 years using Go but I use OCaml now. Linux user since the last millennium (but also a Mac user since 2003). Vim user since 2000. Internet user since 1996. Coder since 1992.

Last seen 3 days, 20 hours ago
Posts 66
Followers 8
Header Image

cat /dev/urandom | base64 | grep "WEED"

I use Python, bash, SQL; interested in OCaml, functional programming, lambda calculus.

Last seen 1 month, 3 weeks ago
Posts 58
Followers 7
Header Image

💻 Tech
🐹 Go
🦀 Rust
📜 JavaScript
🐫 OCaml
🤪 Bobagens
🤯 Verdades
🧙🏻 FOSS contributor!

Last seen 6 months, 2 weeks ago
Posts 269
Followers 2