Profile directory About Mobile apps
Log in Sign up

Explore types.pl

Discover users based on their interests

Liam O'Connor @liamoc@types.pl

Lecturer at LFCS, University of Edinburgh. I leave these toots, I do not know for whom. I no longer know what they are about.

Formal Methods, Verification, Concurrency, etc.

English, 한국어, 日本語, Lingva Latina

53 toots
152 followers
103 following
Follow
Kartik @kartik@types.pl

PhD Candidate in Quantum and PL at UChicago CS.

Currently, on the job market for cutting-edge work at the intersection of programming languages and quantum computation, including program verification and compilers.

25 toots
53 followers
80 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.

391 toots
119 followers
89 following
Follow
Daniel Brotherston @danbrotherston@types.pl

Software developer, transportation nerd, climate activist (unordered) (he/him)

1.07K toots
129 followers
128 following
Follow
Kategorienpest ⚜️ @maxsnew@types.pl

Real name: Max S. New

Assistant Professor in Computer Science & Engineering at University of Michigan.

PL theorist, Category practitioner

851 toots
371 followers
123 following
Follow
hot take comonad @markusde@types.pl

Vibing, chilling, compiling.

Undergrad@UBC

Markus de Medeiros in the meatverse

198 toots
22 followers
16 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".

308 toots
315 followers
150 following
Follow
Joey Eremondi @joey@types.pl

PhD Candidate in Programming Languages at UBC. Soon to be Newton International Fellow at the University of Edinburgh. Broadly interested in making it easier to prove software correct with dependent types. Currently working on gradual dependent types.

467 toots
315 followers
338 following
Follow
pounce :verified_blobcat: @pounce@types.pl

i like topology, tea and type theory

i've been using fedi for a long time. ask me questions!

1.94K toots
81 followers
36 following
Follow
rachel samuelsson @rachelrosen@types.pl

is this testing whether I'm a lesbian or a replicant mr. deckard?

interested in univalent mathematics, type theory, and category theory.

undergrad at chalmers university of technology.

2.35K toots
122 followers
73 following
Follow
Felipe Bañados Schwerter :verified: @fbanados@types.pl

Sometimes I do PL memes. Sometimes I forget I'm in my 30s. Gradual typing etc. Splabmate. Chilean in Canada.

1.43K toots
164 followers
315 following
Follow
Rob Dickerson @robd@types.pl

PhD Student at Purdue advised by Ben Delaware. PL, formal methods, verification and synthesis.

243 toots
130 followers
135 following
Follow
Trebor @trebor@types.pl

Undergrad at THU interested in type theory and music and stuff

124 toots
24 followers
34 following
Follow
Kristopher Micinski @krismicinski@types.pl

Asst. Prof at Syracuse. Less 💩posting than my Twitter I promise! kmicinski.com

102 toots
359 followers
338 following
Follow
Alan Jeffrey @asaj@types.pl

Programming Languages. Type Systems. The Luau programming language. He/him.

252 toots
275 followers
122 following
Follow
Jessie Grosen @jmgrosen@types.pl
56 toots
28 followers
50 following
Follow
roundcrisis (a.k.a Andrea ) @roundcrisis@types.pl

Programming, some cats, otters and llamas...

Poblacht na hÉireann agus uk

587 toots
539 followers
548 following
Follow
uncomfy 🇵🇭 @uncomfyhalomacro@types.pl

📣 English | Cebuano | Bisaya | Filipino

:: tags ::
#julialang #rustlang #crystal #foss #linux #biology #philippines #filipino

:: hobbies ::
#anime #webtoons #comics

:: tools I use ::
editor: #helix-editor 🧬
os: #openSUSE TumbleWeed
terminal: #foot 🦶
browser: #firefox :firefoxnew:​

:: programming languages ::
:julia: #julialang
:rust: #rustlang
:crystal: #crystal
:lua_loop:​ #lua
⚡ #ziglang

995 toots
143 followers
251 following
Follow
Jesper Agdakx @agdakx@types.pl

Once Jesper Cockx but now runninning Agda instead. Assistant professor @ Programming Languages TUDelft.

Other things I care about include:
- Effective Altruism (I'm a proud member of Giving What We Can)
- Climate change
- The importance of creativity and imagination in society
- Tabletop role-playing games with a focus on collaborative storytelling (see @dregntael)
- Woodwind instruments (I play clarinet & bassoon)
- Mindfulness meditation and self-compassion
- Philosophy of type theory and constructive mathematics
- ...

498 toots
512 followers
212 following
Follow
Edwin Brady @edwinb@types.pl

Reader in Computer Science at the University of St Andrews. Idris developer, trying to make fancy type systems that are usable and efficient. Occasional Go player. Cricket watcher. Trainee Adult. Will play ukulele for free, will stop for money.

402 toots
1.43K followers
324 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