Profile directory About Mobile apps
Log in Sign up

Explore types.pl

Discover users based on their interests

Dev @dev@types.pl

no time for facts, vibes only. phd candidate in systems at uc santa cruz.

440 toots
49 followers
58 following
Follow
'(B . Slade) @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)

7.72K toots
376 followers
369 following
Follow
pounce @pounce@types.pl

i like topology, tea and type theory

1.4K toots
33 followers
9 following
Follow
evets @evets@types.pl

top 1% of abba listeners on spotify

691 toots
35 followers
73 following
Follow
uncomfyhalomacro :julia: @uncomfyhalomacro@types.pl

likes programming as a hobby and loves biology

lives in the Philippines

i mainly write programs in Julia :julia:. There is a little bit of Rust :rust: but i am not too good at it

other hobbies include watching anime and reading comics

386 toots
17 followers
27 following
Follow
Philippa Cowderoy @flippac@types.pl

Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Dealing with a serious case of Information Awareness.

32 toots
30 followers
30 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.

128 toots
291 followers
97 following
Follow
treppenverstand @treppenverstand@types.pl

I'm a real logician now! • recovering computer scientist • interested in proof theory + constructive mathematics + type theory • will only write code that compiles into a pdf document or doubles as proof

trans rights + against all unjust hierarchies

934 toots
71 followers
37 following
Follow
Max S. New @maxsnew@types.pl

PL theorist, Category practitioner

233 toots
61 followers
48 following
Follow
Colin @csgordon@types.pl

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

211 toots
67 followers
145 following
Follow
david @david@types.pl

professional computer hecker. computer engineering undergrad at university of waterloo. i don't know what i'm doing

he/they; 20; canadian/american

i'm trying to keep this account pretty quiet, randos who aren't on this instance might want to go to @xnx38h

please don't reply to me with foss

3.38K toots
84 followers
88 following
Follow
casio fx-7000ga haver @1e1001@types.pl

michael on the internet, unprofessional computer talker, and mountain climber-ish.

if i do/say something bad™ please tell me so i won't in the future.

i'll probably accept your follow request if you have something.

2.61K toots
32 followers
61 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.

152 toots
26 followers
36 following
Follow
Felipe Bañados Schwerter @fbanados@types.pl

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

924 toots
58 followers
120 following
Follow
Aaron Moss @bruceiv@types.pl

PhD in Computer Science, Interested in parsing, (bicycle) pedals, and politics. 🍁 (he/him)

447 toots
58 followers
59 following
Follow
jack @jleightcap@types.pl
10 toots
- followers
37 following
Follow
rachel rosen @rachelrosen@types.pl

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

second year computer witch at chalmers university of technology.

2.03K toots
68 followers
38 following
Follow
roundcrisis @roundcrisis@types.pl

Programming, some cats, otters and giraffes...

78 toots
31 followers
34 following
Follow
Rob Dickerson @robd@types.pl

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

99 toots
41 followers
53 following
Follow
José Manuel Calderón Trilla @jmct@types.pl

Lecturer @umdcs with interests in Jazz, music theory, compilers and privacy. I miss Yorkshire.

19 toots
53 followers
16 following
Follow
1 2 3 4 Next

Resources

  • Terms of service
  • Privacy policy

Developers

  • Documentation
  • API

What is Mastodon?

types.pl

  • About
  • v3.5.3+types

More…

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