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
I work on Rhystic Studies • team @basilisk.gg • rhysticstudies.com
Blood, terror and bass: the heavy return
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.