Edward Kmett

@kmett

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

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

টুইট

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

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

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

    Given a choice between two things, I always try to do the one that nobody will believe me about later.

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

    's keynote - Combinators Revisited

    পূর্বাবস্থায়
  3. ৯ ঘন্টা আগে
    পূর্বাবস্থায়
  4. ১৫ জুলাই

    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)

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

    I'll be twitch streaming more Haskell stuff tomorrow, Sunday, July 15th at Noon EDT (GMT-4). Previous topics have included commutative applicative functors, authenticated computation, inverse semigroups... Feel free to weigh in:

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

    Announcing hw-json-0.8.0.0. This version drops dependencies on conduit and mono-traversable.

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

    Open sourced a new Haskell bulletproofs library for constructing short non-interactive zero-knowledge proofs that require no trusted setup. 🎉

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

    Strange things happen when buys math books on the cheap.

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

    I'm hiring a senior engineer for test infrastructure . The team builds frameworks and services for running all sorts of tests, with a particular focus on mobile and www testing. We find bugs and try to stop bad code getting out

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

    Congratulations, Gabriele! Utrecht is so lucky to have you.

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

    Here's the archival video from my stream today: Regular and Inverse Semigroups: Q&A at the end:

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

    Last day for the Compose CFP - there's still time!

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

    I'll be live-coding Haskell on twitch, tomorrow, Sunday, July 8th, at noon EDT (GMT-4). Come join us!

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

    On my most recent twitch stream, we built a little library for authenticated computations in Haskell working out several approaches to the problem: backpack, fundeps, type/data families, quantified constraints... Recording: Code:

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

    Who would have thought, we’d see that at an Apple event?

    পূর্বাবস্থায়
  16. ২৭ জুন

    I am finally back home and it is time to return to my regular scheduled programming! Er.. in both senses of the word. I will be live-coding Haskell on twitch this Sunday, July 1st, at noon EDT (UTC-4). Come join us!

    পূর্বাবস্থায়
  17. ২২ জুন

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

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

    We need competitors for the Sydney Coq Fight, which is next Wednesday 27th. It is, to my knowledge, the only interactive theorem proving competition in the world. Would you like to compete?

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

    We're hiring Technical Project Leads in Portland, Dayton, and Arlington. Interested in working on meaningful and challenging computer science projects, or know someone who is?Take a look at the role description here:

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

    Oleg's new book "Reconciling abstraction with high performance: a MetaOCaml approach" is available freely until June 10.

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

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

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

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

    ·