joomy

@cattheory

PhD student in programming languages . I tweet about Haskell, Coq, dependent types, metaprogramming, linguistics, Turkey and secularism.

Princeton, NJ
Vrijeme pridruživanja: veljača 2010.

Tweetovi

Blokirali ste korisnika/cu @cattheory

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @cattheory

  1. Prikvačeni tweet
    10. pro 2019.

    - named professors probably get paid better. + are you telling me that there are nameless professors? - no I mean named chairs, endowed by a speci— + would we use De Bruijn indices to refer to them? does this mean there are no free professors?

    Poništi
  2. proslijedio/la je Tweet
    prije 5 sati

    Normalisation, how to do it fast for the untyped lambda-calculus by means of evaluation, and why we care (together with some of the required type theory/PLT background): first of a series, hopefully. Feel free to yell at me in replies about mistakes etc!

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    2. velj

    The best argument against authoritarianism is how consistently dumb and damaging their cover-up and emergency first response practices are.

    Poništi
  4. proslijedio/la je Tweet
    30. sij

    Turkic: okay, we'll give you our word 'aslan'. It means 'lion' Slavic: thanks, we'll simplify it to just 'slonъ' Turkic: cool Slavic: cool T: you know what a lion is, right? S: of course, an animal T: yeah S: in Africa T: yeah S: four legs T: yeah S: long nose T: wait- Slavic:

    Prikaži ovu nit
    Poništi
  5. 31. sij

    + wegmans has this great chicken drumstick family pack... - oh, the chicken in the pack were a family? how sad.

    Poništi
  6. proslijedio/la je Tweet
    25. sij

    Retweet if your ancestral heritage's carb-surrounded protein delivery system proletariat poverty food is absolutely the very best one.

    Poništi
  7. proslijedio/la je Tweet
    24. sij

    I finally submitted my undergraduate thesis to a journal, 5 years after I started working on the project!! Its called 'The P600 for singular “they”: How the brain reacts when John decides to treat themselves to sushi'. Here is a link to the pre-print: 1/n

    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    20. sij

    Team of Americans, including & US government officials, helped suppress evidence of aircraft's safety issues that contributed to 2009 crash in Amsterdam that killed 9 people, pinning the blame on pilots reports

    Poništi
  9. 17. sij

    almost as good, if not better

    Prikaži ovu nit
    Poništi
  10. 17. sij

    i love types. checking and inferring are some of my favorite activities

    Poništi
  11. 15. sij

    holy shit, bojack is teaching at wesleyan?

    Poništi
  12. proslijedio/la je Tweet
    14. sij
    Odgovor korisniku/ci

    natural languages have too powerful a macro system

    Poništi
  13. 14. sij

    my students had an entire month to do this last homework so obviously many of them just had to e-mail me about their questions today, one day before Dean's Date, which is the final deadline for all written work for classes.

    Poništi
  14. 13. sij

    bir arkadaşım için Coq ile interaktif teorem kanıtlamaya giriş konusunda Türkçe video çektim. herhangi bir günden 7 gün ilerleyince haftanın aynı gününe gelindiğinin kanıtını gösterdim. Türkçe matematik veya bilgisayar konuşurken biraz tutuğum, affedin.

    Prikaži ovu nit
    Poništi
  15. 13. sij

    recorded an intro to Coq video in Turkish for a friend, and proved that moving 7 days forward gives you the same day of the week. it only made me realize how paralyzed I feel when I try to explain math or CS in Turkish, but it may be useful to some:

    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet

    Queen Elizabeth as Turkish food: a thread

    Prikaži ovu nit
    Poništi
  17. 7. sij

    "In retrospect, we misgauged how our participation would be interpreted by the community. For this we are indeed sorry." not a good look.

    Prikaži ovu nit
    Poništi
  18. 7. sij

    this reads like a non-apology apology to me

    Prikaži ovu nit
    Poništi
  19. 7. sij

    featuring a young type theorist trying to write mechanized metatheory proofs by hand and as a result suffers from paranoia and hallucinations. later his advisor reveals that he had similar problems years ago, and he should look for different ways to represent variable binding.

    Poništi
  20. 6. sij
    Poništi
  21. proslijedio/la je Tweet

    A new paper has been making the rounds with the intriguing claim that YouTube has a *de-radicalizing* influence. Having read the paper, I wanted to call it wrong, but that would give the paper too much credit, because it is not even wrong. Let me explain.

    Prikaži ovu nit
    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·