programmer.

Interested in augmentation

Ocaml
Haskell
Racket

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

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

#Linux #FLOSS #Elixir #FSharp #OCaml #Rust #Anarchism #LiveView #MutualAid #TTRPG

(he/him)
Hobbyist Engineer.
SDE.
I ♡ to build.
Debian Contributor.
C, Rust, Go, Haskell, Ocaml.
Born to do System Programming, Fullstack dev by Profession.

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!

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

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

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

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

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

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.

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

Builds the social web 🚲 https://Seppo.Social with 🐫 @ocaml. Incubated by https://NLnet.nl/project/Seppo. Makes things deemed impossible.

Rents out long life 💻 laptops: https://mro.name/laptop

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

Reverse engineer. Firmware dissector. Rizin&Cutter developer. GitHub influencer. Foreign languages fanatic. OCamler and Rustacean. Loves to C into the void.

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

https://github.com/jasonperry/

Occasional OCaml programmer, host of Signals and Threads podcast

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

Aspiring long distance #runner

#OCaml developer

learning ocaml
music peaked at tally hall

https://seb.mondet.org
@ni3dance
#OCaml #Guitar #Coq #Bass