Stephen Diehl

@smdiehl

Haskell, Types, Bits, Math, PGP: 0x427ceeebec793489

যোগদান করেছেন জুন ২০১০

টুইট

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

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

  1. পিন করা টুইট
    ৯ জুন

    Slides for my Zurihac 2018 keynote on the LLVM toolchain in Haskell.

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

    cl3 - Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)

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

    Guarded Impredicative Polymorphism, from PLDI 2018

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

    Goodbye Netherlands, it's been fun. 🇳🇱Amsterdam Airport Schiphol (AMS)-এ

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

    I had a lot of fun making my 2018 talk on Language Integrated Verification:

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

    The second alpha of the 8.6 release of the Glorious Glasgow Haskell Compiler is now out. Happy testing!

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

    A year into Backpack: Lots of things have happened in Backpack since I graduated my PhD! Here are some of the most interesting ones.

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

    This is the free modular lattice on 3 generators, where "modular" means A∨(B∧C)=(A∨B)∧(A∨C) when A<B or A<C. The free modular lattice on 4 generators is infinite! This one is connected to representations of the D4 quiver, but big mysteries remain:

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

    In Amsterdam for the weekend if anyone fancies meeting for coffee and Haskell. ☕

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

    London ✈️ Amsterdam. 🇳🇱

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

    Physicists have achieved a cosmic first—they’ve tracked a ultrahigh-energy neutrino back to its source.

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

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

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

    First release of djbsort: super-fast constant-time automatically verified AVX2 sorting code for int32 arrays. (Next target is ARM NEON.) Verification starts with the toolkit for symbolic execution, which in turn uses libVEX from Valgrind.

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

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

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

    The Book of Types Type-Level Programming in by Sandy Maguire

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

    Slides for my LICS'18 talk on Quantitative Type Theory

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

    New blog post about our project `typerep-map` — very efficient dependent map from type representations to values of these types! And many thanks to for active participation.

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

    New blog post! On why parsing Haskell list comprehensions is harder than you might think:

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

    Numerical Programming in Functional Languages submission deadline in the 3 days. Please re-tweet.

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

    Ah good to back to perpetual overcast in London. ☁️

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

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

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

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

    ·