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

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

he/him

Computer Graphics & Programming Languages person.

I twoot about languages like C, C++, Rust, JS/TS, and OCaml.

I organize @graphicsmeetup

he/him

24 y.o
IT specialist, DevOps Engineer,
Rust and OCaml dev
Typst enjoyer, Frame.work user
she/they
Speaks 🇫🇷/🇬🇧/🔢

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

Big believer in the freedom of information.
Neurodivergent (AuDHD)
Queer (Bi, Ace, Enby)
Everyone's favourite fae fox girl 🦊

~~ Contact ~~

Signal: vanilla_extracts.48
DM: ou discord (vanilla_extracts)

XMPP (PRÉFÉRÉ) : [email protected]
Matrix: @me:faefox.dev

E-Mail: [email protected]

Postgraduate Computer Science student. Loves math and code. Obsessed with Linux, Rust, and FOSS in general.

When I’m not at my computer, I’m at some mountain or river. 🏔️

Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale. Once won a gold fish in a pool tournament. This is a private account, not representing my employer.

https://seb.mondet.org
https://linktr.ee/hocnyc
@ni3dance
#OCaml #Guitar #Rocq #Bass

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.

#OCaml developer