Medijski sadržaj
- Tweetovi
- Tweetovi i odgovori
- Medijski sadržaj, trenutna stranica.
-
Selective Applicative Functors in 17 minutes:https://www.youtube.com/watch?v=h3XEHRX4isk …
Prikaži ovu nit -
Лондон зовёт! В качестве приманки прикладываю обеденный вид из окна.pic.twitter.com/3JppGPf3Qr
-
Just came across a most remarkable list of doctoral students on Paul Bernays's wiki page: https://en.wikipedia.org/wiki/Paul_Bernays ….pic.twitter.com/UEcpdwkYbi
-
The
#BuildMeetupLondon is about to start: http://build-london.com/ . Pretty cool location at the Cloudflare office, and a full room of build systems experts!pic.twitter.com/R0ev4hIUdX
Prikaži ovu nit -
And here is a photo I managed to get on the last day of
#HLF19, about 20 years after I came across Tarjan's algorithms for the first time.pic.twitter.com/u8FebCpiXh
Prikaži ovu nit -
The
#HLF19 talk that Robert Tarjan gave about concurrent connected components algorithms is already online: https://youtu.be/jKtLiqb1JvI .Prikaži ovu nit -
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.pic.twitter.com/EeZ76Egltt
Prikaži ovu nit -
In the blog post, I translate two of the five algorithms from this paper by Cliff Liu and Tarjan to Haskell: https://arxiv.org/abs/1812.06177 . The paper describes the algorithms in a clear and compositional manner, and when I saw the definitions I just couldn't resist implementing them!pic.twitter.com/Z1K2dSn1eT
Prikaži ovu nit -
-
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
@alexyakovlevncl and@RishadShafik are designing hardware that uses time for communication & computing!)pic.twitter.com/VCuro4Y0dF
Prikaži ovu nit -
Finding bugs vs Finding cats I'm at the
#HLF2019 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.pic.twitter.com/r2pRLtw9hd
Prikaži ovu nit -
First day at ICFP ends with looking at build systems from a categorical perspective, with
@BartoszMilewski,@GaborGreif and@soareschen. Are there build systems that are parametric over values and, if yes, are they "just" applicative build systems? What is a co-(build system)?pic.twitter.com/8jFp6rpBgL
-
Stroll: an experimental build system https://blogs.ncl.ac.uk/andreymokhov/stroll/ … 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.pic.twitter.com/2SH1zhj0Bb
Prikaži ovu nit -
Yes! Selective functors also have another unique superpower: speculative execution.pic.twitter.com/ZdnB4w5RGi
-
Not sure, perhaps
@_romac could answer this? By the way, there is a recording of a short but awesome talk about this paper by Simon Peyton Jones:https://youtu.be/BQVT6wiwCxM -
I've got a slide for George Wilson (
@GeorgeTalksCode), and a slide for co-George too.pic.twitter.com/5fnBWNMKYa
Prikaži ovu nit -
And they say you can't pattern match on a lambda! https://www.instagram.com/andreymokhov/p/BvmVflDh0ka …pic.twitter.com/DWTQnAHEOb
-
Is there any intermediate abstraction between applicative functors and monads? And if yes, what is it? In a new paper with
@geo2A,@simonmar and@dimenix we explore "selective functors", which are essentially applicative functors with branching: https://www.staff.ncl.ac.uk/andrey.mokhov/selective-functors.pdf …pic.twitter.com/tOgdlb1sGG
Prikaži ovu nit -
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.pic.twitter.com/morWPeXutz
-
Enjoying Portuguese sunlight on the way to
@poplconf. Hope to see many of you there! If you see someone doodling algebraic graphs, that's most probably me -- please say "Hi"! https://www.instagram.com/p/BslZtR_BEfs pic.twitter.com/2fPhkYAyRt
Č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.