I like: #linux #vim #ocaml #racket #clojure #malamute #zen #camping

Aspiring long distance #runner

J'aime les #Maths, l'#Informatique, les #JeuxVidéo #JeuxDeSociété, les #JeuxDeRôle, la #SF et la #Fantasy
Je suis en M1 d'informatique à l'École normale supérieure (ENS Ulm)
Je code en #Rust #RustLang, en #OCaml et en #Python
J'utilise #NixOS, ou Windows avec #WSL

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.

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.

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

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

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

I write a lot of #OCaml for the #JavaScript ecosystem!

DMs open; indexed on tootfinder.ch; other keywords: #PLT #Rust #TypeScript #ML #Haskell #FunctionalProgramming

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

I write a lot of #OCaml for the #JavaScript ecosystem!

DMs open; indexed on tootfinder.ch; other keywords: #PLT #Rust #TypeScript #ML #Haskell #FunctionalProgramming #DevOps

Forbes 8 billion under 8 billion.
Former Youngest Person in the World.
Olympic Hopeful.

#Linux #FLOSS #Elixir #FSharp #JavaScript #TypeScript #React #WebDev #OCaml #Rust #LiveView #MutualAid #TTRPG

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.

Trying to decide who’s good and who’s just rich.
Tokyo
OCaml, MirageOS, Rust, Embedded, DDD, Category Theory, Coffee, Watercolor

22 y.o
IT specialist, DevOps Engineer,
State Civil Servant
OCaml & Rust dev
Typst enjoyer, supporter, and official member of the lobby (/j)
she/they
Speaks 🇫🇷/🇬🇧/maths

Everyone's favourite fae fox girl 🦊
English only, see my old account for the French stuff

Background: Carina Nebula, Credits: NASA, ESA, CSA, STScI

Big believer in the freedom of information.
Neurodivergent (AuDHD)
Queer (Lesbian, Ace, Demi romantic)

Python & OCaml Programmer / Visual Studio Code & Debian Linux User.

programmer.

Interested in augmentation

Ocaml
Haskell
Racket