Profile directory About Mobile apps
Log in Sign up

Explore types.pl

Discover users based on their interests

wen @wen@types.pl

can't walk a straight line between logic and ai ‖ @mspstrath ‖ disabled ‖ no cops, no borders

113 toots
299 followers
171 following
Follow
hot take comonad @markusde@types.pl

Vibing, chilling, compiling.

Undergrad@UBC

Markus de Medeiros in the meatverse

197 toots
22 followers
16 following
Follow
Colin @csgordon@types.pl

PL professor, kernel hacker, aspiring linguist (syntax & compositional semantics)

829 toots
580 followers
760 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)

450 toots
235 followers
288 following
Follow
Joel McCracken @JoelMcCracken@types.pl

Haskell dev by day, pl nerd by night. Currently noodling on #cbpv, #Koka / #eff style #effects systems, and #Shen.

Other accounts at:
- https://tilde.zone/@JoelMcCracken for non-pl/generic tech & other stuff.
- https://zirk.us/@JoelMcCracken for arts/lifestyle

193 toots
126 followers
203 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.

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

466 toots
314 followers
338 following
Follow
Josh Chen @joshchen@types.pl

Hi! :) I'm a PhD student at the University of Nottingham • This is my more personal account—follow @jaycech3n for the Professional Edition

28 toots
68 followers
45 following
Follow
Irene Yoon @ireneyoon@types.pl

Ph.D. student in programming languages at the University of Pennsylvania

118 toots
55 followers
59 following
Follow
Daniel ✨🐚 @daniel@types.pl

PhD student at the University of Kent, working on the Granule project :granule:
recent intern at Huawei's Edinburgh research centre ❤️ 
former master's student (comp sci + maths) at Sheffield University 💜
putting the B in LGBT+ 🏳️‍🌈

91 toots
71 followers
58 following
Follow
to⟁st⟁l @toastal@types.pl

I do remote front-end dev and incidental travel, based in Eastern Thailand

privacy ∘ photography ∘ food ∘ tea ∘ FOSS ∘ functional programming #purescript #dhalllang #linux #firefox #nvim

เรียนภาษาไทย​ ຮຽນ​ພາສາ​ລາວ​ດ້ວຍ​
Taiwan is a country

Banner img by: aertime (https://aerti.me/)

PGP: 7944 74B7 D236 DAB9 C9EF E7F9 5CCE 6F14 66D4 7C9E

222 toots
150 followers
116 following
Follow
lucy @coesor@types.pl

/ˈluːsi/

mathematician, hacker, computer toucher, compiler compiler, tea lover, and blåhaj enjoyer

134 toots
45 followers
84 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.

388 toots
119 followers
88 following
Follow
Arjun Guha @arjun@types.pl

Associate Professor of Computer Science at Northeastern University PRL.
Senior Scientist at Roblox Research.

58 toots
142 followers
99 following
Follow
Yaoda Zhou @yzhou@types.pl

PhD at University of Hong Kong

1 toot
3 followers
3 following
Follow
Cass Alexandru @cxandru@types.pl

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

11 toots
21 followers
41 following
Follow
arxanas @arxanas@types.pl
1 toot
2 followers
6 following
Follow
evets @evets@types.pl

top 1% of abba listeners on spotify
i have farewell golden

1.37K toots
85 followers
160 following
Follow
Henrik Böving @hargoniX@types.pl
3 toots
12 followers
18 following
Follow
Reed Mullanix @totbwf@types.pl

Type Theory/Category Theory

I like proof assistants and make them too!

147 toots
153 followers
36 following
Follow
Prev 1 2 3 4 5 … 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