Rob Rix‎

@rob_rix

Colouring outside the lines at .

যোগদান করেছেন ফেব্রুয়ারী ২০০৮

টুইট

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

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

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

    This is my program. There are many like it, but this one is mine.

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

    want to work on the awesome systems that enable software intelligence at github? come work with me!

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

    Act decisively or don’t maybe.

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

    Are you an underrepresented minority or someone from a non-traditional background looking to get into tech? Come apply to for our apprenticeship program at and join my team to make the internet better!

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

    This position is still open! If this sounds like you or anyone know, please get in touch.

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

    I think we can resolve this by composing onto the embedded actions instead of the result type; so handling State s and Exc e effects would give you embedded actions of type (Eff remaining :.: (,) s :.: Either e).

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

    One limitation of our current implementation of higher-order effects is that embedded actions, if any, have to be functorial. This is the case for Catch, Local, & a bunch of others, but some potentially useful higher-order effects aren’t; e.g. where you want to use type indices.

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

    Also there’s a yo dawg meme inside higher-order effects, struggling to get out, but nobody does yo dawg memes any more.

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

    In short, if algebraic effects don’t solve your problem, you’re not using enough of them?

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

    It makes sense, too—you’re representing the semantics of the evaluator as syntax—data—which you can then reinterpret. And my experience has been that effect handlers compose, which suggests we should be able to compose them quite similarly to composing evaluators under ADI.

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

    You don’t strictly speaking require higher-order effects but it becomes a lot easier to use when you have them.

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

    Kinda-sorta accidentally discovered that higher-order effects make for a decent alternative to open recursion in abstract definitional interpretation while trying them out as an alternative to typeclasses for abstracting values.

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

    Super happy to share this news, Octoprenticeships!!! is starting a 6 months apprenticeship programs.

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

    Pragmatically, I should fix this so I can make sure the new abstract (definitional) interpretation-based evaluator works. But I mostly just want to try modelling the value interfaces with effects.

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

    λ: :t () error: free variable: Unit in ◊ 😂

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

    lol: 1. I removed every primitive introduction form except data constructors, 2. the REPL evaluates expressions only, and 3. the REPL doesn’t import the Prelude yet. the REPL is not much good just now, and there’s no way to evaluate code 😂

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

    Manifold is dependently typed, so if this works it’ll be a bidirectional abstract interpreter. Interesting case for the pushdown property, perhaps?

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

    Don’t mind me, just redefining Manifold’s evaluator using abstract (definitional) interpretation. Then gonna see if I can’t type-check it with the same evaluator ✨

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

    We now have a (working!) implementation of higher-order extensible effects à la Oleg. I’m pretty stoked about that result.

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

    Finished a weeks-long, gnarly bug hunt today with four bytes: () and ().

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

    Accidentally filed an issue today with the title :r. Nope, ghci is on the *other* screen, Rob.

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

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

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

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

    ·