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”.

he/him | de/en | #fedi22 #gamer #programmer #dev #java #javascript #php | #pottkind #Essen | #CoffeeIsLove

Founder of justBookmarks

"Erst wenn das letzte Blog verwaist, das letzte Forum geschlossen und der letzte Stack-Overflow-Beitrag verschwunden ist, werdet ihr verstehen, dass man KI nicht mit Müll trainieren kann." - magicmarcy

I write code (#JS, #VueJS, #PHP, #Laravel), take photos, and travel. I live in #Milwaukee, #Wisconsin. I created a bunch of mastodon bots and https://toot.works .

This is my main fediverse account. I am also @steinbring on Pixelfed and @steinbring on mbin/lemmy. You can follow my blog at @joe or my second account at @joe.

My opinions / shoes are my own.

<script>alert("X");</script>

tfr #fedi22

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.

GardenState.social Admin

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

he/him

Writer: original fiction of all genres and lengths
Artist: pencils, copics, watercolours
Musician: vocals, guitar, bass, djembe
Game Developer/Designer: HTML5, CSS, Javascript, PHP, Python

From the UK, living in Finland. Proudly unemployed and undocumented and living my best life!

FREE PALESTINE!

Maker of web things, sticker merchant, viral toot-based business man, blogger, podcaster, and pizzaiolo. Human dad.

“A very nice voice” - @keenan

@hemisphericviews UK Ambassador

Building @echofeed / #EchoFeed. Working with PHP/Javascript/Node or whatever solves the problem. Mostly #11ty

Metaphor, part of the lore

he/him

Programista z ponad 10-cio letnim doświadczeniem, głównie w językach webowych - PHP (WordPress), JS/TS (React).

Jeśli piszę o czymś krytycznie nie oznacza od razu, że jestem temu przeciwny.

Das Medienmagazin: übermedien.de

Apprenti papa, dev web (python/Django, HTML/CSS et surtout pas JS). J'ai l'impression d'avoir ma plaque à côté de la vie.

J'aime les petits sites internet créés par des vrais gens, les logiciels libres, l'auto-hébergement web, la randonnée, la photo, le dessin, la nature, la lecture et un peu les jeux vidéo.

(tags en vrac : #web, #rando, #hiking, #opensource, #photo, #photography, #nature, #knowledge, #partage, #chien, #dog, #baladeduchien)

Displaced Philly boy. Threat hunter. Educator. #infosec, #programming #rust , #python #haskell , and #javascript . #opensource advocate. General in the AI Resistance. Runs @thetaggartinstitute. Made https://wtfbins.wtf. Not your bro. All opinions my own. Dad. #fedi22 #searchable

Pronouns: He/him.

(mis)using technology, also known as engineer/graphics programmer/software developer

#coding #programming #softwaretools #research #security #hardware #compilers #rendering #demoscene #math #creativity

born in Poland, now splitting time between the sun-drenched south of France and the heart of Germany.

🇪🇺 (langs: DE, PL, FR, JP, EN, CHN, #Python, #JavaScript, #Swift, #Rust, #Go, #asm, #C, #cpp) #queer #prochoiceisprolife #childfree #outrovert #dorkyhumor

On the open web since 1993, still writes HTML by hand. Day job at Open Education Global plus side crafter of SPLOTs, WordPress jamming, javascript web toys, silly mashups, long winded blog posts, and 70k flickr photos licensed CC0. Typos are a trademark, an assurance that AI did not write my stuff.
Images: Cartoon icon of a multi colored dog head inside a cog on background of the real dog named Felix in profile gazing out over an open prairie.

Family man, amateur theatre director/performer, #PiWars organiser and #RaspberryPi fan, #CFML / #SQL / #Javascript programmer, Director of Systems Development for an educational charity. Christian but (fairly) Liberal. Politically a bit Left!

Potton, Bedfordshire, England - www.recantha.co.uk

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

Developer, Feminist, Liberal, Democrat.
Cloud Native, Dynamic Typing, Smalltalk, Lisp and JavaScript. Strong preference for GCP

Swedish 🇸🇪 coder who graduated as a .NET developer in May of 2024. Back on the job search grind since April 9, 2025. Planning to do some game projects in my free time eventually...

From the Internet. #RIT ‘16. Aspiring #minimalist. Love/hate relationship with #javascript. | Freelance Web Developer | 🇺🇸 🇸🇻

—————————

#IndieDev #Freelancer #WebDev #VideoGames #PrivacyAdvocate #ProCraft #PeopleOverProfit #NoAI

Community Manager @ Summon The JSON - Python/JS - APIs & JSON - Tech‑casual, feedback‑first.