researcher @google; serial complexity unpacker
ex @ msft & aerospace
programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
Official account of the C Programming Language, invented by Immanuel Kant in 1799 at Bell Labs Königsberg
she/her
If I unfollowed you, it's because you keep posting things without alt text
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Desktop developer. Programming language enthusiast. reenignE. Aspiring Type Theorist. λΠω Lover. Math@CMU 2019. Swift@Apple. 🏳️🌈
💀 The C Standard Cannot Be Replaced And Will Never Be Destroyed. 💀
✍ Writing: http://thephd.dev
📷 Avatar KIINGKISMET (https://kiingkiismet.com/)
🖼 Banner WusdisWusdat (https://wusdiswusdat.crd.co/)
unmappable territory
please leave a message after the beep
Swift is a general-purpose programming language that's fast, modern, safe, and a joy to write. Designed for all, developed in the open.
computer security person. former helpdesk.
Neovim is a hyperextensible Vim-based text editor
Ways to support the project:
- https://github.com/sponsors/neovim
- https://store.neovim.io
- Have fun using it and spread the word
A programming language empowering everyone to build reliable and efficient software.
Website: https://rust-lang.org/
Blog: https://blog.rust-lang.org/
Mastodon: https://social.rust-lang.org/@rust
Rust open-source, articles and videos — founded by @fasterthanli.me in late 2024, in continuation of their solo efforts.
Develops facet, home, etc. — More info: https://bearcove.eu
Servers as they should be. https://oxide.computer/bio
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
catgirl shaped object
"A cat is valued for companionship and its ability to kill vermin."
(he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
Author of interpreterbook.com and compilerbook.com. Working at Sourcegraph. Previously Zed. Programming where the rubber hits the road. Writing Register Spill at: registerspill.thorstenball.com
