joomy

@cattheory

will start a PhD in programming languages soon. I tweet about Haskell, Idris, Coq, Vim, linguistics, Turkey, secularism, accordions (roughly in that order).

যোগদান করেছেন ফেব্রুয়ারী ২০১০

টুইট

আপনি @cattheory-কে ব্লক করেছেন

আপনি কি এই টুইটগুলি দেখতে চাওয়ার বিষয়ে নিশ্চিত? টুইটগুলি দেখা হলে @cattheory অবরোধ মুক্ত হবে না।

  1. পিন করা টুইট
    ২ মে

    I passed my master's thesis defense today! 🎉 I have to turn in the final version of my thesis in 2 days, here's my draft for now: My poster: Screencast of a use case:

    পূর্বাবস্থায়
  2. পুনঃ টুইট করেছেন
    ২৩ ঘন্টা আগে

    what happens when kirby swallows "Advanced Topics in Types and Progarmming Languages" , and is granted its considerable power. my 81 chapter fanfic explores this issue -- and more

    পূর্বাবস্থায়
  3. পুনঃ টুইট করেছেন
    ১২ জুলাই
    পূর্বাবস্থায়
  4. ১৩ জুলাই

    my type class instance is pretty 🔥 (sorry)

    পূর্বাবস্থায়
  5. পুনঃ টুইট করেছেন
    ১৩ জুলাই

    Just found this great resource after Matthias Felleisen's amazing "How to get a PhD and beyond" talk following today's session. I wish I knew about this before!

    পূর্বাবস্থায়
  6. ১৩ জুলাই

    in awe at the size of this lad. absolute unit.

    পূর্বাবস্থায়
  7. ১২ জুলাই

    friend doing an internship at Google: I’m waiting for conversion. me: what is conversion? friend: oh that’s what they call a “return offer” there. me: are you sure you’re at a company and *not* in a cult?

    পূর্বাবস্থায়
  8. পুনঃ টুইট করেছেন
    ১১ জুলাই

    Hamlet must have had an awful hard time proving "to be, or not to be" because I don't think being is decidable

    পূর্বাবস্থায়
  9. পুনঃ টুইট করেছেন
    ১০ জুলাই

    *slaps Idris' Type* this bad boy can fit so many universes in it

    পূর্বাবস্থায়
  10. পুনঃ টুইট করেছেন
    ৯ জুলাই

    love the optimism!

    পূর্বাবস্থায়
  11. পুনঃ টুইট করেছেন
    ৫ জুলাই

    Things that happen in Silicon Valley and also the Soviet Union: - waiting years to receive a car you ordered, to find that it's of poor workmanship and quality - promises of colonizing the solar system while you toil in drudgery day in, day out

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  12. ৪ জুলাই
    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  13. পুনঃ টুইট করেছেন
    ৩ জুলাই

    This is mine now. ('s signed copy of "A Theory of Types" by Martin-Löf, with the original Type : Type)

    পূর্বাবস্থায়
  14. ৪ জুলাই

    extending: this is a great week! - finally got my work permit and started work - my first task at work is figuring out type inference for a nontrivial language - got a paper accepted to TyDe with ☺️ - there's no work tomorrow 🎇 - the next day is my birthday 🎂

    পূর্বাবস্থায়
  15. ৪ জুলাই

    Every time I use Haskell's typed holes I'm enraged that they're treated as errors rather than holes, because it forces me to fill the holes with `undefined` in order to keep using the REPL. Any reason GHC's typed holes are not treated like `undefined` with compile time warnings?

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  16. পুনঃ টুইট করেছেন
    ৩ জুলাই

    One must imagine Sisyphus excited, stoked, so happy to announce that he’ll be rolling a stone up a hill for all eternity! This is a great opportunity for him to really develop his career. What an amazing journey. All the best on your ceaseless ordeal, Sisyphus! Excited for you

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  17. ১ জুলাই

    brb rewriting all my critical applications in LaTeX

    পূর্বাবস্থায়
  18. পুনঃ টুইট করেছেন
    ৩০ জুন

    "Effects! effects! why, they are the accidents of life, and not life itself." —Frenhofer in Balzac's The Unknown Masterpiece

    পূর্বাবস্থায়
  19. পুনঃ টুইট করেছেন
    ৩০ জুন

    Is a chemist a “solution engineer”?

    পূর্বাবস্থায়
  20. পুনঃ টুইট করেছেন
    ২৯ জুন

    How about a conference called "In Retrospect" in which presenters revisit talks they've given years prior -- and describe how their thinking has evolved since?

    পূর্বাবস্থায়
  21. পুনঃ টুইট করেছেন
    ২৭ জুন

    🧙‍♂️ what's your progress have you read the papers I sent you 👩🏻 er I

    পূর্বাবস্থায়

লোড হতে বেশ কিছুক্ষণ সময় নিচ্ছে।

টুইটার তার ক্ষমতার বাইরে চলে গেছে বা কোনো সাময়িক সমস্যার সম্মুখীন হয়েছে আবার চেষ্টা করুন বা আরও তথ্যের জন্য টুইটারের স্থিতি দেখুন।

    আপনিও পছন্দ করতে পারেন

    ·