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.

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.

Format your brain with fedi's favorite perpetually seething cauldron of #generative #psychedelic #art, generated with code.

🏳️‍⚧️ 🏳️‍🌈 ✊🏿

Bicycle, bicycle, ♬ 🚲 remotee, Hamburg, cycling, electronics, DIY, working on XMPP stuff
and other legacy software (C++, Python, JS, Lua, …).

GardenState.social Admin

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

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

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.

Describe what's in this image.

https://en.wikipedia.org/wiki/Rorschach_test

Source code for the generator: https://editor.p5js.org/ajt521/sketches/qfwt30yWZ

.NET developer, JS dabbler, and dad in Central Oregon.

CTO & Co-Founder @ Hurben; Programmer; 🥑 OpenAPI
Studying , and NodeJS
Director PHP Conference Brasil, ConFLOSS, NodeConBR;
Guest Post Grad Professor

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

Web/HTML/CSS/JavaScript/ブラウザ/携帯/MVNO/Android/中日ドラゴンズ/響け！ユーフォニアム/リズと青い鳥/けいおん！/京アニ

I'm a software engineer who primarily does web dev but also some other stuff. I also 3D print and use Linux

Expect posts about my current projects from time to time and boosts from things I find interesting

#html #css #tailwind #js #javascript #alpinejs #python #django #gamedev #godot #linux #opensusetumbleweed #3dprinting #ender3

Hi, I'm Robert! I'm a life long #technologist with a background in #Linux #SystemsEngineering, #datacenter management & #operations, and #programming: #golang, #python, #javascript, and familiar with #C, #assembly, and #Pascal.

I've lived in #ATL for the past 25 years and consider it my home. I'm a #partnered 👬 #gay 🏳️‍🌈 #cis #man who's into #tech 💾, #outdoors 🥾, #music 👨‍🎤, #films 🎥.

I’m on a constant quest to find good veggie and vegan foods in ATL. Let’s swap lists!

Dev, Design, Startups, Creative Tech.
#Demoscene #LiveCoding #ByteJam #Pico8 #TIC80 #ThreeJS #RasPi #Strudel #Microcontroller tinkerer.
Newcastle, North East England.
Likes pretty pictures, timelapses, and coloured lights.
Serial cat befriender.
Code: #GoLang #JavaScript #Lua #Python #PHP and languages less known.

Staff Software Engineer by day. Computer, music, and computer music enthusiast by night. Programming, security, and UX aficionado. I drink lots and lots of tea.

Professional stuff: #programming, #csharp, #python, #javascript

Semi-professional stuff: #infosec, #ux

Personal stuff: #ukulele, #edm, #tea, #homelab, #homeautomation, #iot

Posts may not represent opinions of employer(s), self, or reality.

I am deliberately eclectic.

I write mostly about software engineering, and I also post #programminghumor, #gaming, #writing, #gamdev, and lots of other stuff.

I tend to write stuff in #python these days with bits of #js / #go / #rust tossed in. Playing with #godot too!

Engineer & Manager

He/him. Human. #WokeAF

Indie software dev, tinkerer, player of video games, husband, P.U.N.K., futurist, comical element. ⭐️ Alumnus CTO & co-founder of German sustainability startup RECUP 💚

I try to make a living creating #Shortcuts-centered, productivity-related tools for #macOS & #iOS.

From #Flensburg, Europe 🇪🇺

#ShortcutsApp #Developer #dev #SwiftUI #Swift #Typescript #Javascript #ObsidianMD #PKM #Germany #provene04241

Bluesky: https://bsky.app/profile/zottmann.dev

Topics: #JavaScript #TypeScript #fedi22

Other interests:
– Languages: German, English, French, Spanish, Dutch, Mandarin
– Sustainability, degrowth, permaculture, urbanism
– Tiny houses
– Education
– Psychology, getting out of one’s head, heart-centered living
– Minimalist spirituality: Advaita, Daoism, Buddhism, Christian mysticism, J. Krishnamurti, …

I live in Munich. http://pronoun.is/he

Non-tech:
– Photos: @rauschma
– 💬 Languages: @langtales

🦅

Anthony Bosio

Front-end and Python developer, librarian's husband, geek dad also interested in photography, graphic design, typography and filmmaking/vfx. You should probably be using Django for something. PixelCorps (ret.)

Team: @sixfeetup
Location: South Florida
Nationality: Virginian
Continent: Pangea
Origin: Big Bang

#fedi22 #Python #WebDev #Photography #VFX #GraphicDesign #Typography #Django #SelfHosting

Geospatial, #FOSS4G, open source. MapServer PSC member. Python, JavaScript, SQL.