Profile directory About Mobile apps
Log in Sign up

Explore types.pl

Discover users based on their interests

Asta Halkjær From @ahfrom@types.pl

Leftist. Trans. PhD in computer science and logic.
I only boost pictures with alt text.

1.74K toots
311 followers
136 following
Follow
(mapcar #'emacsomancer objs) @emacsomancer@types.pl

I do things with words, and the things that lie behind words. Usually with a lambda in hand.

Worker in Linguistics, specialising in formal semantics and language change, with areal interests especially in South Asia and the Caribbean.

Little tolerance for neoliberal nonsense.

#nobot, please, we're fediversish.

I welcome follow requests - please have a bit about you and some posts visible though.

- languages: English, हिन्दी, नेपाली, '(lisp)

12K toots
874 followers
928 following
Follow
Mitch Wand @mwand@types.pl

PL Twitter wannabe-refugee. PL. bad jokes. photo TK

127 toots
71 followers
48 following
Follow
Mike Samuel @mvsamuel@types.pl

Computer Security and programming languages incl TC39. Former Googler. Does not understand sarcasm (apologies in advance). he/him/they

219 toots
98 followers
118 following
Follow
Dimitris Aspetakis @aspe@types.pl

Computer Science student from Crete, Greece

- Enthusiastic about many things, mainly hardware architecture, type systems and systems software 🧑🏽‍💻
- Love sports, especially basketball 🏀, table tennis 🏓 and biking 🚵🏽‍♂️
- Appreciate crafts and good design 🍃

131 toots
15 followers
152 following
Follow
witch hat hacker :verified_dragon: :vt1: :vt2: @haskal@types.pl

:dragnwitch: dragon princess from the blue shark planet
cons artist, blåhaj haver, -1x engineer, yak shaver, water drinker, holdable friend

i'm one of the admins on here

it/its, she/her, fae/faer. age >20
call me lilith, rose, or amber (or my other names if u know them)

trans rights :transgender_pride_potion: :nonbinary_potion: :demigirl_potion: :bisexual_potion: :pansexual_potion: :queer_pride_potion: :dragnsip:

"asdjkl;dkrfhl;ka;sdhh ds ;als;dlskajd;fasasdgfdiouh" ~ @amber
"surprisingly large" ~ @violet_cybrespace :violet_cybrespace:
"a good dragon imo and deserves many headpats" ~ :moth:
"i hope i am as cool as it when i grow up" - @TakeV
"a memetic hazard" - @juliana
"you queer every binary tbh" - @nora

follow reqs are ok (and if you're also trans, encouraged) just have a bio and posts
see pinned posts for some more info!

💙 @iitalics
💙 @juliana
💙 @amber
💙 @theotheroracle

:florp:​ :relay: :cybre:​ cybrespace forever :florp:​ :relay: :cybre:​

35.7K toots
680 followers
458 following
Follow
Bruce IV @bruceiv@types.pl

PhD in Computer Science, interested in programming language design, active transit, and science fiction; dreams of a better world than the one we live in. 🍁 (he/him)

784 toots
120 followers
124 following
Follow
SiliconChemist 🧬💻 @siliconchemist@types.pl

Grad worker. Computer toucher. Protein understander. Squishable friend. Bisensual and polyamazing. ✨️

DM before following if you don't know me. Failure to comply will result in a 50% ration cut and extra duty. Death to the Hunter! Glory to Mother Brain!

minors dni or you will be blocked. I talk about sex and use mommy words. go play fortnite

Pfp: a pixelated image of a white woman with green eyes and long, wavy, coral pink hair, wearing a pink off-the-shoulder sweater, a black choker, and silver stud earrings.
Header: the words "You wouldn't trans a gender" in the style of those old anti-piracy ads.

2.38K toots
65 followers
109 following
Follow
Joey Eremondi @joey@types.pl

Newton International Fellow at the University of Edinburgh. Assistant Prof. at University of Regina starting July 2024. Formerly PhD at UBC with Ron Garcia

Broadly interested in making it easier to prove software correct with dependent types. Currently working on gradual dependent types.

692 toots
357 followers
380 following
Follow
evets @evets@types.pl

top 1% of abba listeners on spotify
celeste player, begrudging toucher of computers
interactions/boosts always ok

1.75K toots
99 followers
185 following
Follow
Stephen De Gabrielle @spdegabrielle@types.pl

I’m interested in all programming languages.
#RacketLang #functionalprogramming #languageorientedprogramming #metaprogramming #lisp #scheme
London / Garramilla (Darwin) / Naarm(Melbourne), Australia
(he/him)

652 toots
267 followers
323 following
Follow
Woke Leftist Trash @agentultra@types.pl

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

575 toots
130 followers
100 following
Follow
Jacques Carette @JacquesC2@types.pl

Computing Scientists, ex-mathematician. Currently in academia, spent considerable time in industry as well. Into weird programming languages and the outer parts of programming and software engineering. Currently exploring metaprogramming, quantum programming, DSLs and "generate everything".

710 toots
396 followers
171 following
Follow
markusde @markusde@types.pl

Human in the loop automated formal verifier

IRL: Markus de Medeiros (he/him)

⊢ (SPL@UBC) ∗ (SPL@UBC ——∗ ACSYS@NYU)

649 toots
34 followers
19 following
Follow
Cass Alexandru @cxandru@types.pl

Category Theory Agda Haskell Nix Emacs Recursion Schemes Generic Programming Language Acquisition Amateur Linguist Unlearn Patriarchy Vegan Sustainable Skeptic Friend Family Patron Maker 🇪🇺an

25 toots
29 followers
48 following
Follow
Patrik Jansson @patrikja@types.pl

Computer scientist, Haskell hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.
Using tootfinder.ch

203 toots
105 followers
118 following
Follow
Eric Walkingshaw @walkie@types.pl

Programming languages! Rust, Haskell, types, DSLs, language design, human factors, ... Compiler hacker at https://EC.ai.

Into other nerdy things like game theory, linguistics, board games, and sci-fi/fantasy books. Also into (arguably) less nerdy things like playing tennis, gardening, traveling, kayak camping, lefty politics, local beer, and following my hometown sportsball teams.

Based in beautiful Corvallis, Oregon, USA.

72 toots
99 followers
110 following
Follow
Craig Stuntz @CraigStuntz@types.pl

I can write an incorrect program which is faster than your incorrect program

177 toots
192 followers
117 following
Follow
Mihai Maruseac @mihaimaruseac@types.pl

Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

8 toots
9 followers
24 following
Follow
Trebor @trebor@types.pl

Undergrad at THU interested in type theory and music and stuff

413 toots
79 followers
38 following
Follow
1 2 3 … 11 Next

Resources

  • Terms of service
  • Privacy policy

Developers

  • Documentation
  • API

What is Mastodon?

types.pl

  • About
  • v3.5.5+types

More…

  • Source code
  • Mobile apps
v3.5.5+types · Privacy policy