Interested in effect and coeffect systems, PhD student at University of Tübingen.
Website: https://jiribenes.com
Mastodon: https://types.pl/@jiribenes
Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
[she/her or it/its]
inexperienced PL girl
Wandering philosopher. Purveyor of Platonic heresy, Kantian computationalism, and Hegelian minimalism. (he/him/it which speaks)
Premium-mediocre 20-something proover: https://www.reddit.com/r/mathmemes/comments/ftav8h/the_20yearold_proover/. In grave danger of decaying into a лишний человек.
Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.
a whimsicott crawled into your compiler and got stuck
call me miguel. yes! i am a furry artist!
🎨 art.mcyoung.xyz
⌨️ mcyoung.xyz
💰 mcyoung.xyz/comms
🔞 @slop.mcy.gay
📍Seattle, WA
Associate Professor (Chalmers and University of Gothenburg), mostly working on software testing.
American living in Sweden.
Sometimes gaming journalist.
70% composed of memes.
More on my work at http://greggay.com
Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I post in fr&en.
Associate Professor in Data Science and AI at Chalmers University of Technology. Neuro-symbolic AI, AI for maths, a bit of NLP and stir.
Database Papers as a Service
50 years of vibe coding. Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
Software Security @MPI, PhD @NUS, Dipl.-Inf. @TUDresden.
Research Group: http://mpi-softsec.github.io
Free-range computer scientist living in Evanston, Illinois. I wrote some Python books. If you want to talk code, take a CS course https://www.dabeaz.com/courses.html. I'm mainly here for dogs, bikes, trombones, and other random stuff.
Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
🇯🇵🇺🇸
Ex-Bell Labs/AT&T Research'er making art & technology in Berlin.
🐘@jack@jackrusher.com
🐦@jackrusher
i want to squish code between my fingers
@inkandswitch.com Δ futureofcoding.org Δ ivanish.ca
he/him, rural canadian
Founder Tech For Palestine, Darklang, and CircleCI. Currently running Tech for Palestine https://techforpalestine.org
Compiler engineer and co-host of the future of coding podcast
https://jimmyhmiller.com
https://futureofcoding.org/episodes/
