Andrey Mokhov

@andreymokhov

From engineering to abstract mathematics and back

Vrijeme pridruživanja: siječanj 2011.

Medijski sadržaj

  1. 12. pro 2019.

    Selective Applicative Functors in 17 minutes:

    Prikaži ovu nit
  2. 15. stu 2019.
    Odgovor korisniku/ci

    Лондон зовёт! В качестве приманки прикладываю обеденный вид из окна.

  3. 17. lis 2019.

    Just came across a most remarkable list of doctoral students on Paul Bernays's wiki page: .

  4. 1. lis 2019.

    The is about to start: . Pretty cool location at the Cloudflare office, and a full room of build systems experts!

    Prikaži ovu nit
  5. 30. ruj 2019.

    And here is a photo I managed to get on the last day of , about 20 years after I came across Tarjan's algorithms for the first time.

    Prikaži ovu nit
  6. 26. ruj 2019.

    The talk that Robert Tarjan gave about concurrent connected components algorithms is already online: .

    Prikaži ovu nit
  7. 26. ruj 2019.

    Here is Algorithm R in Haskell: algorithmR :: Void ~> Void algorithmR = repeat (parentConnect >>> rootUpdate >>> shortcut) Algorithm R is my favourite of the five algorithms. When executed, it grows the forest of connected components in an easy-to-analyse monotonic manner.

    Prikaži ovu nit
  8. 26. ruj 2019.

    In the blog post, I translate two of the five algorithms from this paper by Cliff Liu and Tarjan to Haskell: . The paper describes the algorithms in a clear and compositional manner, and when I saw the definitions I just couldn't resist implementing them!

    Prikaži ovu nit
  9. 25. ruj 2019.
    Odgovor korisnicima
  10. 23. ruj 2019.

    Now Leslie Valiant talks about encoding information in timing. This is common in biology but is missing from mainstream logic-inspired and biology-inspired computing. (But and are designing hardware that uses time for communication & computing!)

    Prikaži ovu nit
  11. 23. ruj 2019.

    Finding bugs vs Finding cats I'm at the Turing Lecture "Deep Learning for AI" by Yoshua Bengio, and I'm thinking about two classes of problem-solving techniques: 1) inspired by logic, such as Boolean Satisfiability, and 2) inspired by biology, such as Deep Learning.

    Prikaži ovu nit
  12. 18. kol 2019.

    First day at ICFP ends with looking at build systems from a categorical perspective, with , and . Are there build systems that are parametric over values and, if yes, are they "just" applicative build systems? What is a co-(build system)?

  13. 25. srp 2019.

    Stroll: an experimental build system In this blog post, I'd like to share an experiment in developing a language-agnostic build system that does not require the user to specify dependencies between individual build tasks.

    Prikaži ovu nit
  14. 5. srp 2019.
    Odgovor korisniku/ci

    Yes! Selective functors also have another unique superpower: speculative execution.

  15. 17. lip 2019.
    Odgovor korisniku/ci

    Not sure, perhaps could answer this? By the way, there is a recording of a short but awesome talk about this paper by Simon Peyton Jones:

  16. 17. lip 2019.

    I've got a slide for George Wilson (), and a slide for co-George too.

    Prikaži ovu nit
  17. 29. ožu 2019.
  18. 4. ožu 2019.

    Is there any intermediate abstraction between applicative functors and monads? And if yes, what is it? In a new paper with , and we explore "selective functors", which are essentially applicative functors with branching:

    Prikaži ovu nit
  19. 23. velj 2019.
    Odgovor korisnicima

    The relation is that both Alternative and Selective allow us to deal with choices, but in different ways. I've written up an example that uses parsers: hope the screenshot is readable.

  20. 13. sij 2019.

    Enjoying Portuguese sunlight on the way to . Hope to see many of you there! If you see someone doodling algebraic graphs, that's most probably me -- please say "Hi"!

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·