λ / lambda @lambda-was-taken.bsky.social they/it
reskeet extraordinaire
cs student, interest in compilers & hci
sometimes inappropriate, but i don’t repost nsfw imagery
all my skeets are released to the public domain
pfp: @locofur.bsky.social 🔞
@composmin.bsky.social @composmin.bsky.social 
Frankie 🇧🇪🇮🇹 @ingframin.bsky.social 
SafariMonkey @safarimonkey.bsky.social Working on open source XR. Rust enthusiast. pfp by @jfrxd.bsky.social. they/them
Carley @zebrasecret.bsky.social Wednesday vibes ~ she/her
atree @atree4728.bsky.social B3, IS26, atree4728.github.io, Haskell, OCaml
popcorn::Sinner::sentence(&mut self) @beiuet.bsky.social Meu pau na sua mao
@linouth.bsky.social @linouth.bsky.social 
(Ντιν Τζά) Λιν @jiunuope.bsky.social „Ich war einmal ein kahlköpfiger Pinguin, aber jetzt bin ich ein streunender Hund”
:: I'm starting to think our luck could change ::
PKXIV @pkxiv.bsky.social (he/him) Studying electronics and software engineering. Windows hate account. I love all sciences and the creativity they inspire. Big Metroid fan. I speak french and english. Trans Rights are Human Rights.
heartpunk (sophie!!) @heartpunk.com trying to see if we can recover programming language semantics from implementations @ patreon.com/heartpunk
39 y/o, MDNI 🔞
she/they/bitch(es)
alt for pfp: the soul of the rose by john waterhouse
alt for banner: sappho and erinna by simeon solomon
mindtrizzle @mitch.mindbuffer.net nannou.cc | mindbuffer.net
Brevitas @brevitas.eurosky.social Alter weißer Mann 👨🦳🤷🏼♂️
#fcknzs
#wirsindmehr
#nichtmeinKanzler
#Emacs
Lieblingstier: 🫏 #Esel #Donkey
🇪🇺
Nor or Pingu @acorneroftheweb.com Hi, I am Nor, a computer science student who likes functional programming.
She/They 🏳️⚧️
Sebastian @sebastiaanbeute.bsky.social programming ~ cg ~ computer security
Ignacio Ballesteros @ignacioballesteros.es Madrid.
PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
Haskell programming language @haskell.org 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
Julie @kvarko.northsky.social Roller derby, Computer engineer, Esperanto, Aotearoa NZ, 🏳️⚧️
Barry @chiroptical.dev PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Gleam and Erlang programmer. Occasional content creator linktr.ee/chiroptical. Drumming and fencing enjoyer.
conectado @tapingmemory.bsky.social Unbothered. Moisturized. Happy. In My Lane. Focused. Flourishing. Working with Rust 🦀
My blog: https://taping-memory.dev
@terrorjack.bsky.social @terrorjack.bsky.social 
Charles Reyna Art @charlesreynaart.bsky.social Hi, I'm Charles Anthony Reyna, Abstract Visual Artist based in Santa Fe, New Mexico. My inspiration comes from nature as well as urban areas.
🇨🇦 Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
Damián @azulaz0.bsky.social Human • Diving Instructor • Amateur Photographer • Recovering Engineer
——
All content is mine unless otherwise stated.
André @zro.fm Yes, the Cat is real, no, he does not have an account. I dunno, he was mad about a measurement or something.
The handle is 0, means nothing
❤️ @lanooba.com
🧭 To the left of the Cat
Linotype Pilgrim @symbo1ics.bsky.social Reviews: "unhinged", "deluded", "incoherent", "sick jerk" | Black Lives Matter | Vidas Indígenas Importam | Trans Lives Matter | typography, politics, profanity, analog electronics, retrocomputing, coffee, food | Mastodon: https://timeloop.cafe/@symbo1ics
@callbyneed.bsky.social @callbyneed.bsky.social 
zhuriel @zhuriel.bsky.social i do stuff occasionally
Max Korbel @maxkorbel.bsky.social Principal Engineer @ Intel, lead for ROHD
https://www.maxkorbel.com/
https://github.com/mkorbel1
Adrian Sieber @adriansieber.bsky.social Building SaaS apps with Haskell and Elm:
Airsequel (https://airsequel.com)
github.com/ad-si
x.com/AdrianSieber
AndreasPK @andreaspk.bsky.social Compiler enthusiast, GHC Maintainer, working with Well-Typed.
Rock Boynton @rockboynton.bsky.social Embedded Software Engineer | Rust Evangelist
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
Jeremy Harrison @morosoph1729.bsky.social Cuber, singer, thinker, reader.
@mtnrbq65.bsky.social @mtnrbq65.bsky.social 
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
TheZoq2 @thezoq2.bsky.social Developing http://spade-lang.org and the Surfer waveform viewer. Post doc at Hochschule München
Usually at https://mastodon.social/@thezoq2
Gergő Érdi @gergoerdi.bsky.social Finite tape Turing machine
Jan Gray @jangray.bsky.social Kilocore RISC-V FPGA accelerators; former Microsoft dev tools architect; RISC-V SoftCPU SIG & Composable Custom Extensions Task Group; blog: https://fpga.org. Cyclist. Let's try kindness. 🇨🇦-🇺🇸.
oroppas @oroppas.bsky.social 
Puff @puffmagicdragon.bsky.social Puff likes Haskell and Compiler stuff
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Pedro Nieto Méndez @pedroid999.bsky.social 401
𝚖𝚊𝚡 𝚋𝚊𝚔𝚎𝚛 @maxslug.bsky.social Systems and Systems-on-Chip (SoC) Architect. Views are my own.
I also am the original author of Netdisco and ran nikonhacker.com.
Check out my Semiconductor Industry feed: https://bsky.app/profile/did:plc:vw4jopm4ffmt6qzdh2u66sfd/feed/aaabjlnxaik6c