Alice
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones
https://welltypedwit.ch
@ttforall.bsky.social
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
@anniesexton.com
📹 I make tech videos @ http://Fly.io 👩💻 Software engineer 12+ years ✍️ I also write and draw comic books ☁️ Previously @ Render and Heroku 日本語OK peachboycomic.com she/her
@simzart.bsky.social
Illustrations / Character Designs / Comic Books / Partnered Twitch Streamer https://linktr.ee/simz.art
@saltypeppermint.bsky.social
https://ipv3.org PhD student @TUBerlin Opinions are those of your pet Ask me about EGraphs, Compilers and Rust
@robpike.io
Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.
@joshi.monster
Core member of Lustre, contributor to Gleam, maker of open-source, technically a founder. AI & Data Science expert @ OTH. Dreaming about game design, music, math, and owning my own coffee shop. You're valid and you're loved.🩵🩷 ~3 16 24
@flyingguibou.bsky.social
Doing some programming (#haskell, #nix, ..) remotely from 🇷🇪, running or jumping from different objects with a parachute. Naive in politics, but left biased.
@geminitaymc.bsky.social
🇨🇦 Youtuber & Streamer http://twitch.tv/geminitay 🌲 She/Her 💛 geminitaybuilding@gmail.com
@hypirion.com
Norwegian algorist & functional programmer at Kodemaker, death/doom/avant-garde metalhead, sci-fi reader, angry feminist and duck fan 🦆 hypirion.com
@jelv.is
I like programming languages. A lot. Especially Haskell. Tools, types and functions.
@rust-lang.org
A programming language empowering everyone to build reliable and efficient software.
@nekotachi.bsky.social
she/her(/they/it) rust contributor enjoyer of tcgs native english speaker, conversational toki pona, very basic japanese anarchist #oponaemi
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@hausofdecline.bsky.social
Hank of Decline Patreon - http://patreon.com/hausofdecline Store - https://hausofdecline.bigcartel.com/
@mattkeeter.com
✨ Weird CAD and graphics research ⚙️ Embedded software and Rust 🌎 Cambridge, MA 🏠 mattkeeter.com
@abigaillarson.com
Illustrator | American in Italy | Netflix: Blue Eye Samurai, DC, WB, Universal, Disney Books, MtG, Dark Wood Tarot | Rep: Alison Mann PRINTS: gallerynucleus.com/artists/abigail_larson 🕸️ abigaillarson.com 🥀 patreon.com/abigaillarson
@gianmarcosoresi.bsky.social
If I have to join one more social media platform I’m going to kms
@floramus.bsky.social
2D animator from London Prev clients: Netflix, Disney+, Nexus, Meow Wolf, Apple TV+, Inkle ✏ floracaulton.com
@swift.org
Swift is a general-purpose programming language that's fast, modern, safe, and a joy to write. Designed for all, developed in the open.
@brendanzab.bsky.social
World Builder, Artist, Programmer. Thinking about programming languages and imaginary landscapes. he/him - https://types.pl/@brendan (preferred) - https://github.com/brendanzab
@uncenter.dev
software developer | 18 | 🏳️⚧️ she/her typescript, rust, nix, catppuccin 🎨 https://uncenter.dev
@pypyproject.bsky.social
The developers of the PyPy project: a fast, compliant, open source Python interpreter. https://pypy.org/ https://github.com/pypy/pypy
@noratrieb.dev
i sometimes do things with rust and sometimes also do other things and sometimes i don't do anything at all find me as Noratrieb everywhere I am
@emmatyping.dev
trans, queer woman Former quantum compiler engineer, now at NVIDIA working on Python packaging. Part of the mypy project core team. Opinions my own. Maker of https://apt.cli.rs https://emmatyping.dev Profile by @li-n-arts.bsky.social she/her
@ulipink.bsky.social
[she/her] inexperienced PL girl Oz arc :3 primarily Standard ML actively learning Oz, Twelf, Beluga, λProlog, Mercury, F#, Ur, INTERLISP back-burner, Pascal, Scala, Isabelle, Scheme, Raku wish to learn Agda, Self, Picat, ATS, Erlang, AliceML & Shen
@edwin.type-driven.org.uk
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/
@aidenr0.bsky.social
artist / forever dm / any pronouns / bunny girls are my passion sometimes drawing and reposting 🔞, you've been warned! // COMMISSIONS CLOSED - I don't know when I'll open them //
@kha.functional.cafe.ap.brid.gy
makes Lean at Lean FRO Munich, Germany [bridged from https://functional.cafe/@kha on the fediverse by https://fed.brid.gy/ ]
@ameliadobis.bsky.social
PhD Student in CS at Princeton University PL + HW Verification MSc CS ETHZ & BSc CS EPFL [she/her] 🏳️⚧️ | 🇨🇭🇵🇹 cs.princeton.edu/~ad4048 mostly on mastodon: miado@discuss.systems
@omnisci3nce.bsky.social
Huge software nerd. Love C, Rust, OCaml Began working on an embedded system in the RFID/Access control industry but prev. worked on CAD & DFM software Outside of tech I enjoy racquet sports, pottery, and language learning 日本語OK! blog.joshrowe.dev
@shwestrick.bsky.social
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl) https://cs.nyu.edu/~shw8119/
@lina.yt
Hello everyone, Asahi Lina here! I'm a developer VTuber! ▶️ lina.yt/magic EN/日本語｜she/her｜🎨 #AsahiLinArt My gf: @cyan.yt 🩵｜We are @thgirls.yt Model x.com/NananoNanase Design x.com/shiranui_illust PFP @merryhime.bsky.social 📨 lina@lina.yt
@corax42.bsky.social
@blueberry-wren.bsky.social
what you’ll find here: programming shilling for ocaml some math some programming also the occasional 🏳️🌈
@c-cube.bsky.social