Philosopher of science and occasional scientist. Mainly philosophy of evolutionary biology, philosophy of probability, implications of modeling and statistical inference in evolutionary biology. New book, Evolution and the Machinery of Chance, 2023. Sometimes I write biological or social science simulations to investigate or illustrate philosophical or other theoretical ideas in biology or anthropology. (Favorite languages: Clojure, Idris (learning), OCaml, Haskell, NetLogo, R.)

> 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/virt-nix
#rust #nix , bits of #haskell #ocaml

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

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

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.

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

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.

Emacs fan, NetBSD and GNU/Linux user - openSUSE CentOS / Fedora - Floorp (Firefox) OcaML Lisp Ruby Nim PHP

I try to eat more vegetables and less meat. Trains enthusiast, fountainpen user

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

programmer.

Interested in augmentation

Ocaml
Haskell
Racket