tttardigrade

Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.

🤠 Philosopher at Purdue 🚂 • Mind, neuro, cognitive science, AI • 🧠 @socphilneuro.bsky.social 📚 daniellejwilliams.com

Philosopher of computation, neuroscience, and AI. Associate professor at Purdue University. https://coreymaley.net

Complexity Theorist

I work on Rhystic Studies • team @basilisk.gg • rhysticstudies.com

Blood, terror and bass: the heavy return

MP for Islington North

Psicóloga. Feminista. Madre de 3. Eurodiputada de @PODEMOS. Yo por ellas, madre, y ellas por mí 💜🏳️‍🌈🏳️‍⚧️

Órgão de comunicação social / Apoia-nos pelo Patreon: https://www.patreon.com/comunidadeculturaearte

Escritor e realizador (do premiado Appaixonados). Game Designer. Ícone por Pedro Days, header por Joana Afonso.

Deputada do Bloco de Esquerda ao Parlamento Europeu e Co-presidente da European Left Aliance 🔗 Links: https://linktr.ee/catarinamartinsmep

Notícias e opinião de Portugal e do Mundo: publico.pt Siga-nos em: - http://fb.com/publico - instagr.am/publico.pt - https://twitter.com/publico - tiktok.com/@publicopt - threads.net/@publico.pt

Lagarto na bola. Canhoto na política. Tuga sem orgulho nem vergonha. Jornalista e colunista

Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible. ocasiocortez.com

Resented 🇨🇱 ✈️ 🇳🇴 immigrant. Also a middle aged woman literally yelling to The cloud https://social.vivaldi.net/@RosaCtrl

PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Gleam and Erlang programmer. Occasional content creator linktr.ee/chiroptical. Fencing enjoyer.

Physicist and mathematician working on consciousness. Based at Munich Center for Mathematical Philosophy, LMU Graduate School of Systemic Neurosciences, and University of Bamberg's Institute for Psychology. https://jkleiner.de/

Philosopher at VU Amsterdam PI of ERC-funded project 'Social Epistemology of Argumentation' (2018-2024) Author of 'The Dialogical Roots of Deduction' (CUP, 2020) and 'Formal Languages in Logic' (CUP, 2012) 🇧🇷 🇳🇱 (she/her)

they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. Femme presenting apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan. @pigworker@types.pl on fedi Don't call me Sir.

Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com

Jornalista e fundador do Opera Mundi

I’m not like the other Bayesians. I’m different. Thinks about philosophy of science, AI ethics, machine learning, models, & metascience. postdoc @ Princeton.

software engineer | "that one kotlin girl" | i’m just a cat ᓚᘏᗢ 🎀 | cat mom (Lucy(white) and Lily(black))

Compiler engineer and co-host of the feeling of computing podcast https://jimmyhmiller.com https://feelingof.com/episodes/

i criticize the tech industry 🎙️ @techwontsave.us 📬 https://disconnect.blog 📖 https://roadtonowherebook.com

Applied Compositional Thinking 🌉 bridged from ⁂ https://mathstodon.xyz/@julesh, follow @ap.brid.gy to interact

Actress & Writer. Currently playing Sophie in BLINK https://kingsheadtheatre.com/whats-on/blink-df19 Lohar in HOUSE OF THE DRAGON; Eurus in STAR WARS; Nocturne in BALDUR’S GATE 3; Hotspur in THE PRINCE; Philosophy Tube & @KillJamesBond ✨👑

Nice Communist. Often YouTuber. It/Them. My links: https://linktr.ee/spice8rack

Committed to a welcoming, vibrant & flourishing #Haskell community! Here we talk about community updates, software engineering and the joy of programming. Find us on https://haskell.org and https://blog.haskell.org

Sponsor Gleam development and support the project!: https://gleam.run/sponsor/

writer ∞ lusus naturae ∞ adult orcish female ∞ acct managed by @hypv.bsky.social ∞ it/she

👨🏼‍💻 Senior Software Engineer 🦥 Haskell/Elm at Scrive ♟️ First #chesspunks on this app 🏯 日本語を勉強中(N3) 🏁 On a mission to reach 2000 FIDE before 2031

#haskell #categorytheory #lumatone 👫 @boekencurator.bsky.social 🏠 https://w3future.com 💼 https://tweag.io 🗣️ https://strijpskamerkoor.nl

Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil. https://adolfoneto.elixiremfoco.com/ https://ko-fi.com/adolfoneto Posts mostly in English. #ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang). Podcaster.

🧑‍💻 Senior Software Engineer at Bloomberg using C++ 📽 Content: https://youtube.com/c/chshersh All opinions are my own.

I'm building neural networks that generate provably correct code, and the software infrastructure for training them. Recently experimenting with TensorType: https://github.com/bgavran/TensorType www.brunogavranovic.com

I research programming languages and turn Category Theory into code

computers can be understood • she/her, ⚢ • Chicago

professional bash enthusiast play my video games or watch me code: https://badcop.itch.io/ https://twitch.tv/badcop_

OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨ twitch.tv/sabine_sh github.com/sabine

it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian 🇨🇦🇹🇼🇭🇰🏳️‍🌈 I inherited https://types.pl https://ionathan.ch

Founder Tech For Palestine, Darklang, and CircleCI. Currently running Tech for Palestine https://techforpalestine.org

Eclectic Bakuninist Math/Computer Science musings can be found over at hegeliantaco@mathstodon.xyz

Dad, husband, brother, son. Working on Dart at Google, ex-game dev at EA, wrote "Game Programming Patterns" and "Crafting Interpreters". http://stuffwithstuff.com/

Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter I'm a midwife to the hidden beauty in everything she/her 🏳️‍⚧️ https://linktr.ee/gabriella439 💖 @ember.pet

Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf

kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.

There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake - GLaDOS https://welltypedwit.ch

• Drawing boxes and writing words at xyflow • Core Team at Gleam • Author of Lustre I’m just a 🏳️‍⚧️ girl learning 🇫🇷 and vibing in 🇧🇪🇬🇧 Fuck Nazis. ACAB. Black Lives Matter. Trans Rights Now.

I love functional programming and learning new things ✨ Gleam core team member 💕 (he/him)

"the maintainer is a legitimate communist. i will not be supporting this language" - some yt guy, 2024 I made @gleam.run and I do gymnastics (badly) they/them or he/him. end fossil fuels. genocide is bad. ride a bike.