Builds the social web typewriter https://Seppo.Social with 🐫 @ocaml supported by https://NLnet.nl/project/Seppo.

Former JEE and iOS developer, past 🌳 tree planter. Occasional lightning talker https://mro.name/talks. Netizen since the mid 90ies. https://SIGCHI.org, https://CCC.de, https://FIfF.de, https://NOYB.eu, https://Blaetter.de.

Likes 😈 https://mro.name/FreeBSD-XFCE 🐁 and 🏔️ https://AlpineLinux.org.

#permacomputing #digitalmonad. #tootfinder

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge
> i am not a book about me .
> https://git.sr.ht/~carnotweat/virt-nix
#rust #nix , bits of #haskell #ocaml

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

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

Développeur OCaml. J'aime les brioches et les blockchains. 🇫🇷 / 🇬🇧

Programming languages, compilers, #emacs, #ocaml, #linux, a little #retrocomputing, some music

https://github.com/jasonperry/

Software Developer, currently creating themes and templates for websites to sell and share my journey as entrepreneur

I'm interested in moving the web forward, so I read and share a lot about #HTML, #CSS, #SVG, #XML, #JS, #WebDev, and #WebDesign,

very interested in #functionalprogramming languages like #haskell, #clojure, #elixir, #ocaml and #elm.

love #python, #go, #rust

I'm a #indiedev, #indieweb believer, #indiehacker and #buildinginpublic advocate

Let's create the web we want today

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

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

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

Occasional OCaml programmer, host of Signals and Threads podcast

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

Aspiring long distance #runner

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.

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: https://gopiandcode.uk
Gitlab: https://gitlab.com/gopiandcode
Github: https://github.com/gopiandcode

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

learning ocaml
music peaked at tally hall

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

All Cats Are Beautiful

#OCaml developer

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

Full-stack web developer. Mostly TypeScript on Node and React, but play with Rust, ReScript, and OCaml.