Profile directory About Mobile apps
Log in Sign up

Explore types.pl

Discover users based on their interests

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
セズ凛 @sezrienne@types.pl

🏳️‍⚧️🏴 | Rechteckiges Panoptikum transgendert den unmöglichen Atheismus ins impossible.

15 toots
56 followers
75 following
Follow
Sjoerd Visscher @sjoerd_visscher@types.pl

he/him #haskell #categorytheory #lumatone

81 toots
152 followers
126 following
Follow
buraq @burakemir@types.pl

15y at Google, before that Scala (pattern matching FTW). Interested in many things PL from theory to implementation, also logic, category theory, also distributed systems, more recently infosec.

Follow the @datalog group!

#datalog #CategoryTheory #logic #types #systems #QueryLanguage #DistributedSystems

299 toots
116 followers
64 following
Follow
jesse @jesse@types.pl

Racket enthusiast, shell scripter, math nerd. JS hacker, theorem prover. Web. Compilers @ Igalia

104 toots
41 followers
49 following
Follow
Racketfest @racketfest@types.pl

Conference for fans of the Racket programming language and language-oriented programming

10 toots
11 followers
6 following
Follow
Simon Cooksey @graymalkin@types.pl

Research Fellow in Programming Languages at the University of Kent

9 toots
13 followers
31 following
Follow
Brendan @brendan@types.pl

World builder, programmer, type theory tinkerer. Attempting to make programming a little more friendly and little less error-prone. ✨

167 toots
364 followers
304 following
Follow
Alcides Fonseca @alcides@types.pl

http://alcidesfonseca.com

16 toots
99 followers
265 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)

10.9K toots
795 followers
800 following
Follow
Ondřej Kubánek @kubaneko@types.pl

I am an undergraduate student at Charles university. I am interested in PL overall and I like Haskell.

28 toots
27 followers
100 following
Follow
Channing Walton @channingwalton@types.pl

Partner at Underscore. Interests are Scala and Rust (programming languages), functional programming, music, and piano.

Twitter: @channingwalton

Some blogs: https://channingwalton.github.io

286 toots
335 followers
427 following
Follow
JJ :blobblackcat: @jj@types.pl

i write code so bad it wraps back around to being good

second year at ubc studying math/cpsc/ling

ctf with maple bacon

183 toots
28 followers
55 following
Follow
witch hat hacker :verified_dragon: :vt1: :vt2: @haskal@types.pl

:dragnwitch: dragon princess from the blue shark planet
if you know me from uni, no you don't
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

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

💙 @iitalics

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

21K toots
604 followers
398 following
Follow
Einar Broch Johnsen @ebjohnsen@types.pl

Professor, University of Oslo. Computer science, formal methods, distributed systems, cloud computing, digital twins, robotics. http://ebjohnsen.org

27 toots
47 followers
66 following
Follow
cat3c @cat3c@types.pl

queer plural monsters | our body is 21+ | interactions and follow requests welcome | minors DNI

#plural #alterhuman #EmptySpaces #VRChat #infosec

247 toots
70 followers
139 following
Follow
sophia @a11ce@types.pl

meow • ⚥/⚢

i like talking to computers and making it nicer to talk to computers

💖 @gr3ysea

dms open :3

392 toots
75 followers
93 following
Follow
Brian Gesiak @modocache@types.pl

Programming language and compiler engineer. Contributor to LLVM, Clang, Swift, and the Move programming language. He/Him.

123 toots
578 followers
116 following
Follow
Prev 1 2 3 4 … 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