s='hello;'
echo "${s//;/\;}"

> 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

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!

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

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

Aspiring long distance #runner

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

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

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

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

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

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

All Cats Are Beautiful

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

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

#OCaml developer

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

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

I'm working on the OCaml ecosystem @tarides.

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