Edward Kmett

@kmett

( |programming〉+ |math〉) ÷ sqrt(2)

Cambridge, MA
যোগদান করেছেন অক্টোবর ২০০৮
০৮ আগস্ট -এ জন্মেছেন

মিডিয়া

  1. ১৬ ঘন্টা আগে
  2. ১৫ জুলাই

    Videos from today's stream about Propagators (LVars, CRDTs, SAT, Datalog, etc) are up! Part 1: Part 2: Older talks: Yow! West 2016, : (intro) Boston Haskell: (nuts & bolts)

    এই থ্রেডটি দেখান
  3. ২২ জুন

    Video from my Zurihac talk on "Revisiting Combinators" is now online:

  4. ২৮ মে

    At , greatly enjoying ’s stirring description of the role of category theory in mathematics.

  5. ২৯ এপ্রিল

    <- Here's a longer term archival copy of the stream. (IIRC, twitch will drop it in a couple of weeks)

    এই থ্রেডটি দেখান
  6. ২৮ এপ্রিল

    hosted its inaugural (unrecorded) test live-coding stream last night and everything worked smoothly. The transformation of my home office into a movie studio is almost complete! A schedule will be forthcoming and future streams will be recorded.

  7. ৭ মার্চ
    -কে উত্তর দিচ্ছেন

    Young Kris: This explains far more about your "1920s boxer" styling and manner than expected.

  8. ১ মার্চ
    -কে উত্তর দিচ্ছেন

    is a talk I gave at Zurihac a week later answering the question I posed at the end of the Monadic Warsaw talk you linked.

  9. ২ ফেব
    -কে উত্তর দিচ্ছেন
  10. ২৯ জানু
    -কে উত্তর দিচ্ছেন

    Chris Casinghino and Vilhelm Sjöberg both wrote their PhD theses on Zombie. Chris also gave a talk at Boston Haskell:

  11. ৯ জানু
    -কে উত্তর দিচ্ছেন

    I avoid incoherent instances like the plague, personally. The reasons won't fit in a tweet, but in part come down to the limits of what is merely checkable vs. inferable. The approach I'd usually advocate here is the one taken by in

  12. ১৬ ডিসেম্বর, ২০১৭
    উত্তর দিচ্ছেনReplying to এবং অন্য
  13. ২ নভেম্বর, ২০১৭
    -কে উত্তর দিচ্ছেন
  14. ২১ অক্টোবর, ২০১৭

    The video from Dana Scott at is awesome. He starts slow, but 3 hours in the topology starts flying!

  15. ৯ অক্টোবর, ২০১৭

    Video from my Scala World keynote on monoidal parsing is now online! video: code:

  16. ৫ সেপ্টেম্বর, ২০১৭

    They seem to be pulling out all the stops this year at . I confess I wasn't expecting quite so broad of a ride selection.

  17. ৯ জুলাই, ২০১৭

    Wow. The approach used by and in for constexpr parsing is ingenious. Horrifying, but ingenious!

  18. ২৩ জুন, ২০১৭

    I'm told this is where they keep the computer scientists in Siena (for real). Nice try, Siena, I'm on to you.

  19. ৩০ মে, ২০১৭
    -কে উত্তর দিচ্ছেন

    I've let so many outdated technical book go, but my copy of Ferraro has survived a dozen moves all over the country.

  20. ১৬ মে, ২০১৭

    In case you haven't yet seen it, this talk by Mike Acton on "Data-Oriented Design" is excellent food for thought:

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

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

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

    ·