I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.

I like categories, domains, and vintage computing.

Cycling, designing,
coding, over-thinking.
Bit sweary.
Portsmouth, UK.

Luddite trying not to be po-faced
in the face of so much po💩

A JS trying to make his JS, CSS and HTML lean and kind.

“The times are urgent.
Let’s slow down.”
—Bayo Akomolafe

Header image is a panoramic view of Southsea seafront from the groyne built from imported Norwegian granite to protect the beach from longshore drift.

Profile image is a 50-something me behind a card box that says “Fragile, this way up”.

opinionated lurker of the intarwebs.

Used to write code, still do. c/c++, java, php, js, c#, gdscript, gnawed on sql, sparql, unix/windows etc etc billions of years ago.

tech, graphics, anything STEM
anything anthropology, history, linguistics
anything blender, gimp (although i scream using it), audacity
prefers not to be run over by cars

I drink Philz.

I do a (non-monetized) video or so a week on yt.

Tyranny and poverty are everywhere a mainstream economics phenomenon.

Fronty-front-end dev and techy generalist, mum of 2, euro-mongrel (🇩🇪 🇬🇧 🇸🇪), cyclist, lapsed swing dancer & DJ, erstwhile tall ship and dingy sailor, crocheter, lefty.

Work with , but ❤️ vanilla ✨✨

Cis het - she/her, supporting 🏳️‍🌈 🏳️‍⚧️

day-dreamer
night-timer, party-crasher

Current Location
📍 Cairo, Egypt

Standard #nerd that brought #JavaScript & #p5js to MS-DOS
 called #DOjS
Creator of #DOStodon, the Mastodon client for MS-DOS
Learning the #HurdyGurdy 🎼
Collecting #RetroComputers
#CreativeCode wannabe
Drives #Brompton 🚲 & #Fiat500e 🚙⚡
Covered with 🌲#tattoos

🐈💕
#goth & #metalhead
40+
💘💍@flyingsilk
Likes dressing up (#kilt, #corset, #medieval, #nailpolish)
Loves Finland 🇫🇮 & Ireland 🇮🇪
pro🦄🏳️‍🌈🏳️‍⚧️
#BLM

🐧 Expert Linux | BlablaLinux
Passionné par le logiciel libre et le matériel durable. Ici, on discute de :
💻 Distributions #Debian et #Mint
🌐 Navigateur #Vivaldi
⚙️ Virtualisation & auto-hébergement avec #Proxmox
♻️ Réemploi d'ordinateurs avec le collectif #Emmabuntüs
Engagé pour une informatique plus sobre et accessible à tous. Bienvenue dans l'aventure ! 🚀
#Libre #SelfHosted #Linux #OpenSource

GardenState.social Admin

he/him #javascript #nj #indiepop #developer #memes #feministAdvocate #tv #progressive #NewJersey #GardenState #cryptoSkeptic #tfr #fedi22

It says "Reginald Scott Braithwaite-Lee" on my 🇨🇦 passport. You may know me from a book called "JavaScript Allongé" or from my work at companies like PagerDuty, Sitraka, and GitHub.

Shipping software feeds my family; creating “wow!” feeds my soul.

#Canada #Ontario #Ajax #Lakeside

Loves @NicoleAbuhakmeh. #OSS supporter. #software developer. He/Him. Living the simulation lifestyle. #dotnet #java #javascript #html

searchable

#UX Research, #Design, Science and Technology Studies (#STS), #Anthropology.
Some coding (JS, Python) and software architecture
Pronouns: he/him or they/them.

Nerd. Freelance Software Dev. Relationship Anarchist. Sometimes lives in a van. Queer White cis dude, promotes anti-capitalism, anti-fascism, intersectional feminism, the fight against climate change, and thoughtful, ethical behavior in general.

Toots in English or German about software development (mainly Python, JavaScript, Shell), Linux, Vim, electronics/µCs, van life, politics, sex, (inter)personal & emotional things, music, Star Trek, beverages.

May contain awful puns.

🤖 #webdev, #designer & #librarian. Doing #frontend, #UI, and #graphics stuff for local Danish TV station TV MIDTVEST.

🛠️ #vuejs #nuxt #tailwind #html #css #javascript #Applicaster etc.
🍼 Born at #333ppm

#FridaysForFuture I'm a German scientist for future. Very concerned about dangers to coming generations through CO2, nuclear waste, nuclear war, mass extinction. Sustainability dear to my heart since reading "limits to growth" in 1978, never owned a car in my life. #hamradio #AmateurRadio QRP 5W inner city apartment amateur radio station. Enjoy #MorseCode, rag chewing, mining RBN / PSKreporter data, #JS8, low-mountain hiking (#GMA). You can see me at German #AfuBarcamp if you take part in those.

#FLOSS+#GIS+#JavaScript+#WebGL nerd. #OSGeo charter member, #OpenStreetMap old-timer.

In other words: I do maps on websites, maintaining the Leaflet JS library when I can, but working on Gleo (my own JS+WebGL library) otherwise.

Long-time supporter of Free/Libre/Open-Source Software, as well as Open Data and adjacent subjects.

Solarpunk | software engineer, author | dealing with world affairs & digital life | #Energiewende | #EnergyTransition | #EnergyMastodon | #Erneuerbare | #Renewables | #Klimakrise | #ClimateCrisis | born a 318.99 ppm
Und selbstverständlich #noAfD!
#Javascript #PHP #SQL #Python #HTML #CSS #WebDevelopment #FullStack #WebDesign #WordPress #Docusaurus

Computer Graphics & Programming Languages person.

I twoot about languages like C, C++, Rust, JS/TS, and OCaml.

I organize @graphicsmeetup

he/him

Programming, tech, gaming & other geeky topics from Sherri Wheeler.

Occasional business, handiwork, electronics, parenting and fitness content.

🐘 PHP/JS developer with miles to go before I sleep();

All posts are my own - never AI generated.

Ally & anti-racist. Bigoted or harassing replies get blocked & reported.

----
Available for part-time contract work.
----

🇨🇦💻🎮☸️🎲🔨💪

(she/her)

#nobridge #nobot

By way of #introduction, I'm an inveterate hacker of markup (XML, HTML, SGML, TeX, JSON, DocBook, RELAX NG, XML Schema, Schematron) and wrangler of bits (XProc, XSLT, XQuery, Java, Scala, Python, JavaScript, C#). Author. Photographer. Occasional cook. Frequent bottle washer. Employed by Saxonica. Resident of Wales. Website tinkerer, https://norm.tovey-walsh.com/

I'm a software developer working mostly in #JavaScript and #TypeScript. I like to grow food, bake bread, walk, climb, and run.

I also write #Scheme, #Zig, #Python, and #Rust.

huge #nerd and cool-ass #bitch. #vegan #transhumanist, lefty market #anarchist, moral realist and friend of #entropy.

does #graphics and #language and #math and software (mostly #js) sometimes, speaks #english, #german and neglegable amounts of #lojban.

🅮

#fedi22: #philosophy #leftLibertarian #webDev #vectorGraphics #yesbot #searchable