i make cool stuff!!

#1 systemd/Linux fan · web developer in denial · recovering Rust developer · also Haskell, OCaml & C99 nerd

follow @ap.brid.gy if you're on bluesky!

Occasional OCaml programmer, host of Signals and Threads podcast

I like programming using nice languages like OCaml, Haskell, F# and IO and I try to draw, with spray on walls.

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,

also #functionalprogramming languages like #haskell, #clojure, #elixir, #ocaml, #elm.

love #python, #go, #rust

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

Let's create the web we want today. Se habla español.

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

Aspiring long distance #runner

Wesh gro bi1? #OKLM #OCaml #MirageOS

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

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

git log -p -- @xameer

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge #noai
send messages , not metadata
> https://.sr.ht/~carnotweat/deltanix
#rust #nix , bits of #haskell #ocaml
DP - shamelessly stolen from a an fp video i watched

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

I'm working on the OCaml ecosystem @tarides.

I'm interested in {programing x language × eco-systems × theory}, broadly conceived.

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

#OCaml developer

Providing thought leadership since 1801. OCaml and Haskell programmer. Co-Organiser of FP-SYD.

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

Chief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure, Haskell, Elixir and OCaml, based in Vienna

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

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

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

Exilé de la recherche académique, touche-à-tout, gauchiste. J'aime aussi faire de la brioche. 🇫🇷 / 🇬🇧