Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
the drilbot, blue sky edition | community prompted, somewhat generated, creature curated |
Baking bread and compilers are kinda similar if you think about it
@tekknolagi elsewhere
bernsteinbear.com
she/her. do whatever you want forever.
my awesome website https://addie.sh
yuri expert; creator of @yuri-lang.dev
free palestine 🇵🇸
I post rust/gamedev/graphics/music/computer
nb kibty :3 🔞 23
stereotypical rust enjoyer
tell me you came from here! https://bsky.sakurakat.systems
1 posthog notification = 1 headpat :3c
fav feed: mutuals
btws:
professional idiot
tumblr user
NixOS user
black coffee drinker
s: kathryn_sakura.75
Texan (prev Australian). Father (prev gamer). Pynchon fan (prev illiterate).
Building a new programming language for CAD at zoo.dev. Built a lot of Cloudflare Tunnel. I run austinsystems.org and love reading sci-fi and history.
Graphics Programming Youtuber
Formerly Intel, Sony Studio Bend
https://www.youtube.com/@Acerola_t
alt: @acewola.bsky.social
Fat Ass Rat you have to stop. You smoke too tough. Your swag too different. Your bitch is too bad. they'll kill you
Software developer, Rust & langdev enthusiast, getting into hobbyist gamedev.
extremely dubious of "everything is public" social network
she/her
fake i.e. impossible
radically pluralist
they/them
matrix: @alto:private.coffee
mostly here to make jokes no one will get
minors welcome to interact idc
(there may or may not be hardcore pornography on this page browse at your own risk)
blog.ihatereality.space; github.com/wafflelapkin; i do stuff sometimes; it/its
These comics are only visible to cool people!!
Support me: https://patreon.com/shencomix // Store: https://topa.to/shen
pakistani cisgender heterosexual man.
that's why you're the boss!
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
You'd be surprised how much gray matter is dedicated to the analysis of facial imagery. Shame to waste it on anything as—counterintuitive as residual plots or contingency tables.
The Haskell Interlude is a Haskell-focused podcast where we interview guests from the Haskell community.
⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
I play guitar and post nonsense about PL. @smasher164@hachyderm.io,
@smasher164 on twitter
🎮 tech artist/shader sorceress/math dork
🌐 acegikmo.com
🎥 youtube.com/@acegikmo
🏗️ Shader Forge / Shapes / https://half-edge.xyz
📡 ex-founder of Neat Corp
my kids:
🥪 @toast.acegikmo.com
🥗 @salad.acegikmo.com
🐈⬛ @thor.acegikmo.com
🏳️⚧️ https://wolf.girl.technology/
pfp by me
banner by @spect-ion.bsky.social
did you see that cool bug?
hi, I'm amos! 🍃 they/them 🫐 open-source witch & maker of snappy videos and articles at @bearcove.eu ✨ be kind, be curious
articles: https://fasterthanli.me
videos: https://youtube.com/@fasterthanlime
podcast: https://sdr-podcast.com
pronouns: they/them
a whimsicott crawled into your compiler and got stuck
call me miguel. yes! i am a furry artist!
⌨️ mcy.gay
🎨 art.mcy.gay
💰 art.mcy.gay/comms
🔞 @art.mcy.gay
📍Seattle, WA
Dad, husband, brother, son. Working on Dart at Google, ex-game dev at EA, wrote "Game Programming Patterns" and "Crafting Interpreters". http://stuffwithstuff.com/
Weird Al meets Grace Hopper. Rustacean. He/him.
I work for @AWSCloud. Opinions on twitter and elsewhere are my own.
Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
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
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
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/
Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
🎥 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/
programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
what you’ll find here:
programming
shilling for ocaml
some math
some programming
also the occasional 🏳️🌈
https://rescript-lang.org/
Ship great products!
Swift is a general-purpose programming language that's fast, modern, safe, and a joy to write. Designed for all, developed in the open.
The ACM Special Interest Group on Programming Languages.
absolutely will not shut up about programming languages. apparently also now the calendar guy
(he/him)
it's me, the gay cat who writes your docs~!
author of the rustonomicon and learn rust with entirely too many linked lists; worked on homestuck, rust-lang, swift-lang, firefox
she/her, trans, 30
#rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Recreational Programming:
- http://twitch.tv/tsoding
- https://www.youtube.com/@Tsoding
- https://www.youtube.com/@TsodingDaily
⠀⢀⣰⣾⡿⣶⣿⠿⣶
⢠⣼⣿⣿⣷⣿⣿⣶⠉
⢸⣿⣿⣿⣿⣿⣿⠀⠀
Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
combat jacking on the posters battlefield
i write computer programs for fun and money
he/him
langs: en, eo
