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.

Migas con miga. ¿Es posible la reflexión en 140 caracteres? Pues entonces en 500 también.

Me interesan cosas de lengua, literatura (cualquier tipo), antropología, programación sencilla (macros VBA, javascript, bash, batch) y educación.

Mi cuenta incluye posts automaticos desde mis blogs diversos.

Mi foto de perfil actual es un señor con frente amplia con arrugas, gafas grandotas y perilla, calco de una foto real.

Mi imagen de fondo es un par de garzas en Madrid-Río.

#NoAI #NoBridge

こるもJSです。
https://nayukana.info の管理とかしてます！自分の鯖をメインにしつつ、たまにアイマストドンにも来ます。

櫻井桃華さんを担当するどころか櫻井桃華さんに担当されているタイプのどうしようもないわんちゃんです

🙋‍♂️ They/Them

JavaScript fanboy and expert in bug creation. I also do Nix things.

Be excellent to each other.

• Ingé web depuis 2007: #javascript, #html, #css, #java
• Biologiste de formation
• #libre et #linux depuis 2003
• #SFFF
• https://omacronides.com

Me grok write code. Rust, Typescript, Python, JavaScript. Created: Xee, Xot, Morepath, lxml. Also: gardener, science & history fan, living life fan.

I post a lot about programming as well as gardening pictures. If you come for just the gardening pictures the programming talk may baffle you. If you're a programmer, I invite you to enjoy the flowers!

Oh and I post poems now

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

Indoor European. I know #regex. I write #code (in #C or #Haskell or #Perl or #JavaScript or #bash). 100% OPSEC.

Software developer in Sydney, Australia.

Works with PHP, Javascript, Typescript, Laravel, Vue, AngularJS, Inertia, Livewire, Vapor

Enjoys TDD, CI, Algorithmic Art, Mathematics, Languages, Music Creation, Coffee

Father of 2, husband to 1. Software Developer (C#, JS, Typescript, SQL). Too many hobbies and interests. California. he/him

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

#bike, #perl, some js, #python, #mastaj, #xmpp

Displaced Philly boy. Threat hunter. Streamer. Educator. #infosec, #programming #rust , #python #haskell , and #javascript . #opensource advocate. Runs @thetaggartinstitute. Made https://wtfbins.wtf. Co-creator of https://github.com/mttaggart/OffensiveNotion. Not your bro. All opinions my own. Dad. #fedi22 #searchable

Pronouns: He/him.

M.Ed | Sec+ | CISSP | eCTHPv2 | eWPT | CRTO

Wenn Sie sich schon über den Tisch ziehen lassen, wischen Sie vorher wenigstens den Kakao darauf auf.

Schreibe Songs. Repariere #Synthesizer. Bastelkram.
#Berlin/Germany

tfr

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!

Professional web programmer since 2002. BSc(Eng) Software Engineering.

Scrum Master at http://gofore.com

Interests:
- #Scrum
- #Angular
- #React
- #TypeScript
- #Javascript
- #PHP
- #HTML
- #CSS

Hobbies:
- #BoardGames
- #WH40k
- #RPG

Hello, I'm Henry Hiles, a developer specializing in flutter and web development. I'm proficient with Dart, Astro, Node.JS, and TypeScript. I build high-performance, intuitive applications with clean, efficient code and modern design principles.

Always eager to learn, I’ve earned certifications from Microsoft, Google, and Meta in cloud computing, AI, and cybersecurity. Whether I'm optimizing mobile apps or designing websites, I’m passionate about delivering innovative digital solutions.

I am into #foss, #linux, #nixos, #selfHosting and #postmarketOS.

I occasionally boost posts without alt text (mostly of raccoons or cats, nothing important).

JavaScript coder. RPG Fan. Writer. Dad. Vibe Coder #fedi22 #javascript #gamedev #storytelling #webdev #indiegame #writer #gamer #smallweb

Background image by Kemco - I'm playing Spirit Valor right now

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

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