Mark Hopkins

@antiselfdual

Maths PhD writing Haskell at a bank. Thaumatoneirodule, hypersesquipedalilogomachiphile, entry-level hypnerotomachist.

Sydney
যোগদান করেছেন মে ২০১৩

টুইট

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

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

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

    Slides for my talk "All of Basic Categories" are up on my website

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  2. পুনঃ টুইট করেছেন
    ১৫ ঘন্টা আগে
    পূর্বাবস্থায়
  3. পুনঃ টুইট করেছেন
    ১৮ জুলাই

    A new Munker illusion, which I call confetti. All the dots in the background are the same color (RGB 250, 219, 172) but are perceived as four different colors. The differences are subtle, though, and depend on the size of the image when it's viewed. cc

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

    This week's column: is the underlying corruption from which our current political crises arise

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

    The 5th anniversary of the Australian government depositing people in misery & suffering on isolated Pacific islands at the cost of a billion dollars a year should be viewed with outrage. New video

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

    FP folks: looking for some interesting summer reading? 17 exciting new PhD dissertation abstracts just published in the Journal of Functional Programming! .

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

    With the merging of remote target support today and new-install a few days ago, I’m very happy to announce that my project is nearly complete, with all of the remaining not-yet-implemented critical functionality for cabal new-build set to drop in cabal-install 2.4.

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

    Did you know that a functional general-purpose workflow management tool can be conveniently configured as a build tool? Check out our “Funflow Example: Emulating Make”

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

    "I think they like me a lot in the UK." -- Donald J. Trump

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

    I just wrote a (long overdue) blog post about servant's design, and in particular why and how servant ended up being about _type-level_ API descriptions: -- feedback welcome!

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

    Argh, Scala! If you have an (otherwise valid) forward reference to a method definition, but put a completely unrelated val definition in between, it breaks with an error.

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

    The sculptures by Norwegian artist Hedi Xandt

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

    The print quality in recent is shockingly poor, worse than a cheap home printer.

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

    Playing with lenses in the REPL!

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

    Proceedings of the 7th Workshop on ~~~ Mathematically Structured Functional Programming ~~~ edited by me and

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

    Final version of "A Scope Safe Universe of Syntaxes with Binding, Their Semantics and Proofs" by , myself, , and James McKinna

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

    In a better universe, May is deputy head of a primary school in Special Measures, Farage is shift manager of a minor Wetherspoons, Rees Mogg volunteers in a National Trust giftshop, and Boris is a children's entertainer on administrative leave pending the outcome of a tribunal.

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

    Want to know what Frankenbuilds are? Read the final version of our Build Systems à la Carte paper!

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

    A final draft of our paper Build Systems a la Carte is now online, so I thought it would be good to share a bit about how we wrote it: (with co-authors and )

    পূর্বাবস্থায়
  21. পুনঃ টুইট করেছেন
    ২৮ জুন
    -কে উত্তর দিচ্ছেন

    Boolean blindness refers to the fact that if you use mere truth values instead of propositions, you gain no information by pattern matching.

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

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

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

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

    ·