Occasional OCaml programmer, host of Signals and Threads podcast
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.)
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
latinx immigrant 🇦🇷🇸🇪🏳️🌈🖖🏼 he/they • ex @spotify @klarna @walnutinc
I toot about:
🚀#buildinpublic #saas
💾 #devtools #buildsystems #compilers (#rust #ocaml #erlang #elixir #rescript #javascript )
tho you'll also find 🫶🏼 #personal stuff, 🧭 #digitalnomad, 📸 #photography, and 🎼 #music here too.
Maths, lambdas and rock'n'roll. Mathematical physicists, assistant professor at Bernoulli Institute. Member of YAGroningen. OCaml enthusiast. Tweets are my own
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
programmer.
Interested in augmentation
Ocaml
Haskell
Racket
Programmer. Interests include: Free Software, OCaml, MirageOS unikernels, Nix, Wayland, Capability-based security, formal methods (TLA+, Coq).
Builds the social web typewriter https://Seppo.Social with 🐫 https://OCaml.org with grant 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.
SWE @VoltronData / @ApacheArrow. Past: @Spotify. Databases/Compilers/DistSys. C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎
Software Developer, currently creating theme and template websites for sale and sharing what I've learned about it.
I am interested in moving the web forward, so I read and share a lot about #HTML, #CSS, #SVG, #XML, #JS, #WebDev, and #WebDesign.
I am also interested in #functionalprogramming languages like #haskell, #clojure, #elixir, #ocaml, and #elm.
I like languages like #python, #go, #rust too.
I am a #indiedev, #indieweb believer, #indiehacker and #buildinginpublic advocate.
Likes high level abstractions and low level bit twiddling. Spends spare time on ASMotor, gateware and retro computing. ♾️ 🏳️⚧️ 🏳️🌈
All Cats Are Beautiful
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
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.
PhD-ing Department of Computer Science and Technology, Cambridge and probably doing something in OCaml
Programming languages, compilers, #emacs, #ocaml, #linux, a little #retrocomputing, some music
Cief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure and OCaml
Recent transplant from #boston to the #washingtondc metro area. I'm a Software Engineer. My current Interests are in OCaml, network protocols, RPC systems, Observability and data platforms.
I am a slightly malfunctioning robot.
Dad nerd, software engineer by day, and also by night. #commonlisp #ruby #ocaml #typescript
I binge a lot of #physics, #math, #engineering and #retrocomputing youtube.
I collect #rpg books, but play approximately twice a year.
#callofcthulu #forgedinthedark #dungeonworld #minid6
I listen to a lot of podcasts.
I don't participate too much.
he/him, software engineer, tokyo
OCaml, MirageOS, Rust, Embedded, DDD, Category Theory, Coffee, Watercolor
When I don't go down rabbit holes, I sometimes do something useful. OCaml.org maintainer.
#OCaml developer
Reverse engineer. Firmware dissector. Rizin&Cutter developer. GitHub influencer. Foreign languages fanatic. OCamler and Rustacean. Loves to C into the void.
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.
cat /dev/urandom | base64 | grep "WEED"
I use Python, bash, SQL; interested in OCaml, functional programming, lambda calculus.