Learning group for interested folk to come together and discuss academic CS & Mathematics papers. Tweets by @antiselfdual.
Sydney
Joined May 2014
- Tweets108
- Following4
- Followers106
- Likes176
How do you develop an efficient parallel divide-and-conquer algorithm that works on trees (which can't be assumed to be balanced)?
Join us this Thursday as we read a @popl 09 paper which generalises the third homomorphism theorem from lists to trees.
meetup.com/Sydney-Paper-Club…
Did you know that backpropagation is functorial i.e. respects composition? This Thursday we apply a category theory perspective on neural networks, and discover surprising connections to lenses and the open games of @_julesh_.
meetup.com/en-AU/Sydney-Pape…
Join us this Thursday to learn about Shor's algorithm for quantum computers, which factorises integers in polynomial time.
meetup.com/en-AU/Sydney-Pape…
Join us this Thursday to learn about Shor's algorithm, which factorises integers in polynomial time and runs on a quantum computer.
meetup.com/Sydney-Paper-Club…
What's the connection between applicative functors, monads and arrows? Join us this Thursday to find out.
meetup.com/Sydney-Paper-Club…
Join us this Thursday to delve into the ideas behind Haskell's "unbound" library - which allows you to specify the binding structure of a programming language declaratively.
meetup.com/Sydney-Paper-Club…
The remarkable achievements of #GANs have been taking the world by storm. Join us this Thursday to read and discuss the original paper that started it all, by @goodfellow_ian et al.
meetup.com/Sydney-Paper-Club…
Join us this Thursday to read the paper that introduced arrows, a generalisation of monads that's particularly suited to dataflow programming.
meetup.com/Sydney-Paper-Club…
If a language has continuations, we can express any monadic effect in direct style, since they are the "mother of all monads". Unfortunately, not many languages have them. Luckily, exceptions and state are almost as good! Join us tonight to find out how.
meetup.com/Sydney-Paper-Club…
Sydney Paper Club retweeted
Looks like Mark Hopkins @antiselfdual and @SydneyPaperClub are going to beat me to organising a first meetup about selective functors :-) They meet on April 4th, and my first seminar is on April 12th at @haskellhutt's lab in Nottingham. Please come along if you are around!
Join us in April to learn about selective functors, an abstraction intermediate in power between applicative functors and monads. With selective functors, you declare your effects statically, but can still select at runtime which to execute.
meetup.com/Sydney-Paper-Club…
Join us in April to learn about selective functors, an abstraction intermediate in power between applicative functors and monads. With selective functors, you declare your effects statically, but can still select at runtime which to execute.
meetup.com/Sydney-Paper-Club…
Deep learning! Automatic differentiation! Reverse-mode automatic differentiation! Delimited continuations! Staged compilation!
Join us Thursday 7 March as we discover differentiable programming.
meetup.com/Sydney-Paper-Club…
This Thursday we'll be investigating the magic of the Futamura Projections. With pictures!
meetup.com/Sydney-Paper-Club…
Our TLA+ workshop is tomorrow night.
Curious about TLA+ and formal specification and verification? Join us next month for a hands-on workshop as @armenb guides us through formally specifying Paxos in TLA+. meetup.com/Sydney-Paper-Club…
Curious about TLA+ and formal specification and verification? Join us next month for a hands-on workshop as @armenb guides us through formally specifying Paxos in TLA+. meetup.com/Sydney-Paper-Club…
Join us this Thursday to learn about philosopher and computer scientist @yudapearl's elegant formulation of actual causality, which uses structural equations to model counterfactuals.
meetup.com/Sydney-Paper-Club…