ionchy @ionchy.ca 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
Adam Gashlin @hcs64.bsky.social Programmer, aspiring game designer, CD+G enthusiast.
https://gashlin.net
https://hcs64.itch.io
https://extended.graphics
Ink & Switch @inkandswitch.com An independent research lab exploring the future of tools for thought.
We envision a new computer that amplifies human intelligence. A system that helps you think more clearly, collaborate more effectively, and is available anywhere and anytime.
grace @trygrace.dev the functional programming language for prompt engineering
try the tutorial at trygrace.dev
profile picture by @art.nekomimi.pet
gabby @fullmoon.id 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 🏳️⚧️ coworkers DNI
https://linktr.ee/gabriella439
💖 @ember.pet
roza @roza-0.bsky.social Maths - CS - Programming - Cognitive Science ...
Mais curieux de toutes choses en général
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Game Maker's Toolkit @gamemakerstoolkit.com 🎥 YouTube: https://www.youtube.com/@GMTK
🍓 GMTK Game Jam: http://gmtk.itch.io
🔠 Word Play: http://s.team/a/3586660/
🧲 Mind Over Magnet: http://s.team/a/2685900/
Peter Tripp @notpeter.bsky.social Builder of Open Source things
@oxide.computer.
smallweb @smallweb.run A personal cloud contained in a single directory, created by @pomdtr.me
https://smallweb.run
Jeroen Engels @jfmengels.bsky.social Elm developer. Author of elm-review.com. Blogging at https://jfmengels.net. Co-host of Elm Radio Podcast.
Working on making programming easier through static analysis and FP, and hoping to keep Earth a nice place to live in somehow.
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
@georgehotz.bsky.social @georgehotz.bsky.social 
Dr. Casey Fiesler @cfiesler.bsky.social information science professor (tech ethics + internet stuff)
kind of a content creator (elsewhere also @professorcasey)
though not influencing anyone to do anything except maybe learn things
she/her
more: casey.prof
Emily M. Bender @emilymbender.bsky.social Book: https://thecon.ai
Web: https://faculty.washington.edu/ebender
Christopher Manning @chrmanning.bsky.social Stanford Linguistics and Computer Science. Director, Stanford AI Lab. Founder of @stanfordnlp.bsky.social . #NLP https://nlp.stanford.edu/~manning/
Ted Underwood @tedunderwood.com Uses machine learning to study literary imagination, and vice-versa. Likely to share news about AI & computational social science / Sozialwissenschaft / 社会科学
Information Sciences and English, UIUC. Distant Horizons (Chicago, 2019). tedunderwood.com
Laura @lauraruis.bsky.social PhD supervised by Tim Rocktäschel and Ed Grefenstette, part time at Cohere. Language and LLMs. Spent time at FAIR, Google, and NYU (with Brenden Lake). She/her.
Soares Chen @maybevoid.com Rust Nerd ∘ Creator of Context-Generic Programming @contextgeneric.dev ∘ Interested in Haskell, functional programming, type theory, category theory, programming language theory ∘ https://maybevoid.com ∘ https://contextgeneric.dev