Header Image

Cief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure and OCaml

Last seen 2 days ago
Posts 385
Followers 43
Header Image

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

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

Last seen 3 days ago
Posts 61
Followers 6
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 6 months, 2 weeks ago
Posts 414
Followers 181
Header Image
Edwin Török
@[email protected]

developer

Last seen 2 days ago
Posts 211
Followers 15
Header Image

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

Last seen 1 month, 3 weeks ago
Posts 30
Followers 21
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 2 days ago
Posts 186
Followers 34
Header Image

Occasional OCaml programmer, host of Signals and Threads podcast

Last seen 1 week, 2 days ago
Posts 155
Followers 1,197
Header Image
Jason P 🇺🇦
@[email protected]

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

github.com/jasonperry/

Last seen 2 days ago
Posts 655
Followers 52
Header Image

I like:

Aspiring long distance

Last seen 2 days ago
Posts 2,263
Followers 157
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 month, 1 week ago
Posts 13
Followers 54
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 2 months ago
Posts 1,032
Followers 63
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 1 week, 6 days ago
Posts 68
Followers 8
Header Image
Felipe O. Carvalho
@[email protected]

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

Last seen 5 months, 1 week ago
Posts 54
Followers 152
Header Image

he/him, software engineer, tokyo

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

Last seen 1 month, 3 weeks ago
Posts 23
Followers 22

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 month ago
Posts 749
Followers 239

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 4 days ago
Posts 1,310
Followers 497
Header Image

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last seen 2 days ago
Posts 1,391
Followers 228

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 ago
Posts 2,910
Followers 140
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, 4 weeks ago
Posts 1,722
Followers 747
Header Image
Patrick Ferris
@[email protected]

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

Last seen 3 weeks, 5 days ago
Posts 67
Followers 53
Header Image

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

Last seen 7 months, 1 week ago
Posts 269
Followers 2
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, 4 weeks ago
Posts 63
Followers 214
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 2 months, 2 weeks ago
Posts 13
Followers 9
Header Image

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



I toot about:


🚀

💾 ( )


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

Last seen 2 months 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 2 days ago
Posts 768
Followers 277
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 2 months, 2 weeks ago
Posts 518
Followers 122
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 7 months ago
Posts 154
Followers 29