Justin Woo

@jusrin00

writing purescript, writing blog, doing meme

Helsinki, Finland
যোগদান করেছেন এপ্রিল ২০১৩

টুইট

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

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

  1. ৩ ঘন্টা আগে
    পূর্বাবস্থায়
  2. ৭ ঘন্টা আগে

    Middle of absolutely nowhere

    পূর্বাবস্থায়
  3. ৮ ঘন্টা আগে

    This battery only gives me 2.5 hrs

    পূর্বাবস্থায়
  4. ২০ ঘন্টা আগে
    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  5. ২২ ঘন্টা আগে
    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  6. ২৩ ঘন্টা আগে

    Bump, in case someone actually wanted to read this

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

    here's me mumbling for 35 min about my slides from Taipei

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

    formally verifying programs in Coq is a good thing to do and can be interesting. you can then extract the program in either OCaml or Haskell. Agda can also be used for theorem proving and is interoperable with Haskell

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

    wrote some docs for Spacchetti. even if you don't plan to use my package set, this should tell you what you need to know about using psc-package

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

    but i have some suspicion that my recordings would be just as bad as those blackboard recordings everyone hates from shitty undergrad programs

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

    has anyone else been crazy enough to go through their talk slides through screen recording? kind of considering it in case people actually find it useful

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

    A year ago, if you asked me to write a tutorial on Monads, I would've said - absolutely not! But here I am, one year later, announcing the next tutorial in my series. Thank god, tenacity and hard work pays off the majority of the time.

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

    This is always magical, do you have a similar example? Give it in the comment section 👇🏻 below smash that ❤️ button and don't forget to 🔁 retweet for more 🔥lit🔥 twoots · Generic Deriving of Generic Traversals · paper

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

    what i thought "lotteria" was supposed to be for a long time

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

    fp memes関して

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

    record high - avg high - daily mean - average low - record low

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

    jumalauta

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

    back from taiwan just to experience the hottest summer ever in helsinki

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

    1500 RowToList fans

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

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

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

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

    ·