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
time matters when it pays off
> https://git.sr.ht/~carnotweat/modshelltovm
#rust #nix , bits of #haskell #ocaml

i make cool stuff

#1 systemd/Linux fan · web developer in d̶e̶n̶i̶a̶l̶ a̶n̶g̶e̶r̶ b̶a̶r̶g̶a̶i̶n̶i̶n̶g̶ d̶e̶p̶r̶e̶s̶s̶i̶o̶n̶ acceptance · recovering Rust developer · also Haskell, OCaml & C99 nerd
will teach you higher kinded polymorphism and you will enjoy it

follow requests okay!!

Anika 💜

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

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

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

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

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

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

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

Aspiring long distance #runner

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

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

#OCaml developer

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

All Cats Are Beautiful

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

Trying to decide who’s good and who’s just rich.
Tokyo
OCaml, MirageOS, Rust, Embedded, DDD, Category Theory, Coffee, Watercolor

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.

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

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

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

Grad student + Software Engineer + Programmer | Programming / CS / ML | Arch btw | Neovim btw | Rustacean 🦀 + Pythonista 🐍 | Trying Zig ⚡️🦎 & OCaml 😯🐫

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