FT columnist, BBC journalist, author, host of Cautionary Tales, professional nerd.
Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.
catgirl shaped object
"A cat is valued for companionship and its ability to kill vermin."
Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff.
๐ฆ๐บ ๐ณ๏ธโ๐
Blog: https://www.chrisarmstrong.dev
Running since 2009, the biggest Open Source community event in the UK. Find out more at https://oggcamp.org
he/him https://mastodon.online/@khady
Artist
https://martinj.art
https://mjambon.com
What's going on?
- programming: github.com/TheLortex
- pictures: instagram.com/elpluvina
- weblog: lortex.org
Formerly known as twitter.com/TheLortex
Weโre an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS ๐ซ
We are the Energy and Environment research group at Cambridge Computer Science. You can find our homepage at https://www.cst.cam.ac.uk/research/eeg, and all videos from our seminar series at https://watch.eeg.cl.cam.ac.uk
Cambridge University Computer Science & Technology Department (aka the Computer Lab). We built the 1st usable programmable computer, offered the UK's 1st Computer Science degree, created the 1st webcam - and continue to advance the field today.
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
PhD Student @ Uni of Cam
https://patrick.sirref.org
https://github.com/patricoferris
I work on Programming Languages at Microsoft Research
Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. โ๐ฎ๐ณ โง โ๐ฌ๐ง โง โ๐ช๐บ โง โ๐บ๐ธ #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
๐ฉโ๐ป Software eng
๐คช Creator of cringe tech videos
๐ฅบ The funniest girl in us-east-1
beacons.ai/albertatech
Singing, cycling and cricket.
(For NCDs/health stuff, hop over to @healthkaty.)
Corecursive tinkerer, camler, globetrotter
OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery.
More at https://lambdafoo.com
"Not quite a bass" (as described by my teacher). Yorkshireman in exile. Have vocal cords, will travel.
Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale.
Mastodon account: https://types.pl/@jmid
Some kind of nerd by day and goblin by night.
Cyclophosphamide connoisseur.
๐ Glasgow, Scotland
๐ข FR/EN/DE
๐จ Avatar by @chordbug.bsky.social
๐ exn.st
See also:
๐ mastodon.social/@kit_ty_kate
๐ https://cohost.org/kit-ty-kate
Founder GPShopper (successful exit)
ex-Jane Street (pre-SBF)
ex-Google (pre-Sundar)
occasional shitpoaster
Software Engineering #ocaml , Music, etc.
https://seb.mondet.org https://ni3.dance
FUN OCaml 2024 is an open source hacking event dedicated to OCaml enthusiasts and professionals
September 15+16, 2025 - Warsaw, Poland
https://www.youtube.com/@FUNOCaml
The need for independent journalism has never been greater. Become a Guardian supporter https://support.theguardian.com
๐บ๐ธ Guardian US https://bsky.app/profile/us.theguardian.com
๐ฆ๐บ Guardian Australia https://bsky.app/profile/australia.theguardian.com
Recent escapee from that other social media platform with a musky smell
Husband, Actor, Activist, Uncle George to the Internet ๐
Broadcaster @lbc.co.uk
Author: https://www.waterstones.com/book/how-they-broke-britain/james-obrien/9780753560365
Musician | Real Tennis Player | Forgetter of Hotel Room Numbers
OCaml developer advocate, ๐ซ OCaml.org maintainer, RFC 3339 dating coach, web developer โจ
twitch.tv/sabine_sh
github.com/sabine
๐งโ๐ป Senior Software Engineer at Bloomberg using C++
๐ฝ Content: https://youtube.com/c/chshersh
All opinions are my own.
Hacking on OCaml stuff at Tarides.
Previously - Research Engineer at IIT Madras, Tech at Northern Arc Capital, Undergrad at SSNCE. Interests - open source software, test cricket, books, ARR music, functional programming.
Associate prof at Bernoulli Institute, Groningen. Proud dad, mathematical physicist, #OCaml enthusiast, LEGO aficionado, amateur photographer, mushroom lover, fresh podcaster
#mathsky #physics #scicomm #ocaml #edusky
Also @mseri@mathstodon.xyz
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Allo. I'm Xavier Van de Woestyne from ๐ง๐ช, living in Nantes. I'm a wannabe software engineer who tweets in rough ๐ซ๐ท and catastrophic ๐ฌ๐ง! I'm interested in functional programming (with statically typed languages).
๐ซ๐ท https://xvw.lol, ๐ฌ๐ง https://xvw.lol/en
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
#ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co
ex Docker, Unikernel Systems, Citrix
DMs open for collaboration on OCaml, Irmin or MirageOS projects!
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
official Bluesky account (check username๐)
Bugs, feature requests, feedback: support@bsky.app