Christian Johns

@xtianjohns

Web Developer . Lover of all things sports, food, and beer related. Pretty big stats geek. alum.

Petaluma, CA
যোগদান করেছেন মার্চ ২০১১

টুইট

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

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

  1. পিন করা টুইট
    ১৩ সেপ্টেম্বর, ২০১৭

    I struggle to answer “Why am I not spending every day of my life fighting for racial justice?” with anything other than “b/c I am a coward.”

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

    Left-Wing Utopia: Everybody on earth is safe, healthy, happy, educated, and free to pursue their ambitions. Right-Wing Utopia: White Americans work sixty hours a week in a backbreaking job they hate with no healthcare and one week of vacation, and everyone else is dead.

    পূর্বাবস্থায়
  3. ৮ জুলাই

    Step one: delete Twitter from my phone. This should be last tweet from my phone. 🤞🏼

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

    That $35 that scientific journals charge you to read a paper goes 100% to the publisher, 0% to the authors. If you just email us to ask for our papers, we are allowed to send them to you for free, and we will be genuinely delighted to do so.

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

    I've been hacking away on the next iteration of my test runner for . Incremental test running + reporting back to VSCode with no configuration beyond your standard tsconfig.json needed! Coming soon!!

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

    ”If you cannot solve it without programming you cannot solve it with programming.”

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

    Twitter survey: if you are under fifty, do you know what carbon paper is? RT for 'Yes, of course I do'; Favourite for 'No, why, do I look like a dinosaur to you?'

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

    Lawrence Berkeley National Labs has a new electron microscope that can see down to half the width of a hydrogen atom, the most infinitesimally minute building block of the universe. Even using this microscope you couldn’t detect my sympathy for Dersh.

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

    Liberalism gave you settler colonialism. Liberalism gave you the Transatlantic Slave Trade. Liberalism gave you 'coolie' labour. Liberalism gave you the everyday brutalities of capitalism.

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

    Time for a lesson on how you *actually* cast spells in Magic: There are actually 8 steps to casting a spell, so it’s not as simple as “Bolt your Bird”. I’ll also briefly touch on why the steps have to be in the order that they are. If you wanna learn, thread below!

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

    It's powerful to get to talk about contramap. But when I learned Profunctor, I thought it was misdirection. I learned a concept only so that I could learn a pattern that wasn't that concept. Imagine how useful (b -> a) is in Profunctor if I didn't learn Bifunctor first. See?

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

    What else? You get something also interesting: Bifunctor doesn't (can't) compose the same way. If I have (a -> b) and (c -> d), then a function (a -> c) can't get me to (b -> d). There's no arrow between them anywhere! Making "f" a function in Bifunctor is totally different!

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

    What does this get us, educationally? First I think we get easy in transitioning to "what if f is a function", then just drawing the arrows. I already have (a -> b), and (c -> d), so if I had a function that stitched b and c, I have a pipeline!

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

    When I first saw Profunctor, I thought "whoa, how can I go from b to a?!" and "Profunctors must be magic!". But with this approach, we sort of table contravariance for a tick and we get a signature where argument order is aligned alphabetically.

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

    Here's my pitch. (a -> b) -> (c -> d) -> f a c -> f b d (a -> b) -> (c -> d) -> f b c -> f a d This still demonstrates that Profunctor is different, right? But here we showcase that the third argument is different, not the first (could be misleading, I admit).

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

    Is it important to understand Contravariance in order to master Profunctor? I think yes. Is it important that I know how the Profunctor typeclass is different than Bifunctor? Sure! But I wonder if fixing the first two arguments in alpha order is the better way to teach them.

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

    Listen, I thought about teaching/learning Profunctors for a good while last night. And I'm wondering how valuable it is to try to cover Contravariance and/or which type arguments to swap when showing the Profunctor type class for the first time.

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

    Playing Civ VI for the first time and translating ’s version of the Civilopedia. Somebody just built that Empanada, and I’m workin’ on The Potato Palace. Thankfully, I let Persia build Petra for me, just like he taught me!

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

    reading the NYT's Nazi coverage from the 20s and 30s is a good way to understand how atrocities can be made to seem normal and mild

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

    I miss the useless web. I miss your grandpa’s blog. I miss weird web art projects that trolled me. I miss fan pages for things like hippos. I wish I didn’t feel like the web was collapsing into just a few sites plus a thousand resumes.

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

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

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

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

    ·