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.

(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

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

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/

Web developer & hobby blogger interested in climate and social justice. Location: Vienna, Austria. Personal transformation from Ossi to Wessi to Piefke.

#OpenSource #GreenWeb #a11y 💚

#Nuxt #SvelteKit #Svelte #JavaScript
#DDEV #CraftCMS #WordPress

Portfolio:

https://mandrasch.dev

Current side project:

https://karenz-wizard.at

Privat hier.

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

All kinds of tech nerd, software engineer and consultant, startup founder. From Assembly to Javascript. Always bet on the web!

I love text. I hate pooptoots, memes or any other viral bs.

Header image by https://unsplash.com/de/@dth_knight

Software Engineer / HATEOAS nerd / CTO / Toronto resident! | he/him

Fixing the javascript package ecosystem at vlt.sh.

Cofounder of Depfu. Dreams in MIDI (the protocol, not the music). Writes Ruby, JavaScript, CSS and other things (In order of preference). Would prefer to keep this planet livable for all instead of building homes for billionaires on Mars. He/Him.

#DependencyManagement
#Music
#ClimateAction
#IStandWithUkraine
#BlackLivesMatter

Internet software developer

#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz

I write (Python|Django|JavaScript|HTML|CSS) and sometimes it's useful.

- 1/2 of https://beesocial.dev & https://djangostickers.com & https://djangobrew.com 🧠
- For perfectionists with deadlines: https://alldjango.com 📖
- Reactive component framework for Django: https://www.django-unicorn.com 🦄
- So much code: https://github.com/adamghill 🛠️
- All the links: https://adamghill.com 💥

✈️ / 📍🪩 / 👻 / ☕️ / 🎥

Hi!



I work on the Review Board code review software (https://reviewboard.org — @reviewboard) at Beanbag (https://beanbaginc.com). CEO, developer, sales, support, janitor. I work with #Python, #JavaScript, #Django a lot.

I do COVID reporting for Butte County, CA at https://bc19.live / https://twitter.com/bc19live.



In a previous life I was a developer in the Linux space, working on GAIM/Pidgin, GNOME, and on Workstation/Player/WSX at VMware.

I sometimes post pics of squirrels and bees.

I'm an engineer 🤓 Professionally I build cloud native software and I'm interested in #agile, #scrum, #azure, #typescript, #dotnet, #ai, #ml, #terraform, #devops, #iot etc.

Outside of work, I'm interested in #GameDev, #Godot - I also build stuff with #fusion360, #3dprinter, #raspberrypi, #python, #react, #typescript, #js and any technologies I can find. Always keen to learn and build new stuff.

At night, I might be crafting dark #techno tunes with #modularsynth, #tracker or other musical gear.

#moodlebande #FediLZ #GMS #inklusion #eduBW 📚 #opensource #FOSS #CSS #JS #PHP #python #linux #KDE 💙 #vegan 🌱

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.

Environmental historian of the North American West, Great Plains, & Canadian Prairies • Senior developer, Roy Rosenzweig Center for History and New Media (https://rrchnm.org) • Building the history web with #JavaScript #Golang #Django.

Book: SILICON VALLEY AND THE ENVIRONMENTAL INEQUALITIES OF HIGH-TECH URBANISM (Univ of Oklahoma Press, 2024). Working on my next book project on #GreatPlains #PublicLands #Ranching.

Nebraska homesteader.

Prøver å bli tospråklig. Episcopalian. he/him.

I write open-source Python and JavaScript goodies to make computers go brrrr

I made Shareon and Share2Fedi

In my free time: YouTube, Cooking, Cycling

#Python #Django #TypeScript #JavaScript

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

SysAdmin, DevOps, Bash, Python, PHP, Go), along with some front-end js/css hacking. Also Ansible, Docker/Podman. Interested in FOSS, and in a previous lifetime.. travelling, and riding a motorcycle.
Husband. Dad.

Update Seeker
Opener of tabs

Pronouns: he/him
I use arch, btw. j/k it's EndeavourOS
New to Hachyderm, on Fediverse since 2017
#Toronto 🇨🇦
#Linux #DevOps #Security #Coffee #nobot
Post auto deletion enabled

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