Cooking Classes with Datatype Generic Programming
http://www.stephendiehl.com/posts/generics.html
[Thanks to Levy]
http://www.stephendiehl.com/posts/generics.html
[Thanks to Levy]
Stephendiehl
Cooking Classes with Datatype Generic Programming
Personal Blog
A Core Quantitative Coeffect Calculus
https://lipn.univ-paris13.fr/~mazza/papers/CoreQuantCoeff.pdf
#graded #modal #logic
https://lipn.univ-paris13.fr/~mazza/papers/CoreQuantCoeff.pdf
#graded #modal #logic
(Tags are to fix horrible telegram search)
The space and motion of communicating agents
https://www.cl.cam.ac.uk/archive/rm135/Bigraphs-draft.pdf
https://www.cl.cam.ac.uk/archive/rm135/Bigraphs-draft.pdf
Humus
http://www.dalnefre.com/wp/humus/
Humus is a pure actor-based programming language that provides a foundation for software developers to build reliable concurrent computer systems
http://www.dalnefre.com/wp/humus/
Humus is a pure actor-based programming language that provides a foundation for software developers to build reliable concurrent computer systems
Functor, applicative, and monad
https://typeslogicscats.gitlab.io/posts/functor-applicative-monad.html
https://typeslogicscats.gitlab.io/posts/functor-applicative-monad.html
Towards a Bigraphical Encoding of Actors
http://cpcc.berkeley.edu/papers/ActorsEncoding.pdf
#actor #model #bigraphs #reactive
http://cpcc.berkeley.edu/papers/ActorsEncoding.pdf
#actor #model #bigraphs #reactive
Seminar notes on developments in bigraphs
https://www.cl.cam.ac.uk/archive/rm135/Bigraphs-Seminars.pdf
#bigraphs #reactive
https://www.cl.cam.ac.uk/archive/rm135/Bigraphs-Seminars.pdf
#bigraphs #reactive
Distributed execution of bigraphical reactive systems
https://arxiv.org/pdf/1503.02434v1.pdf
#bigraphs #distributed #reactive
https://arxiv.org/pdf/1503.02434v1.pdf
#bigraphs #distributed #reactive
Relational Algebra with Fancy Types
http://www.philipzucker.com/relational-algebra-with-fancy-types/
http://www.philipzucker.com/relational-algebra-with-fancy-types/
Hey There Buddo!
Relational Algebra with Fancy Types
Last time, I tried to give a primer of relations and relational algebra using the Haskell type type Rel a b = [(a,b)]. In this post we’re going to look at these ideas from a slightly differen…
If you are able and would like to contribute any free (and equivalently licensed) educational material, please do so at https://github.com/vojes-enterprises/FOEP, a project about gathering such with the final goal of having a source for anything to learn about!
GitHub
GitHub - vojes-enterprises/PreFOEP: Pre - Free and Open Education Project
Pre - Free and Open Education Project. Contribute to vojes-enterprises/PreFOEP development by creating an account on GitHub.
Idris 2 Now Runs on the JVM
https://groups.google.com/forum/m/?utm_medium=email&utm_source=footer#!topic/idris-lang/PyW_UZGanQU
https://groups.google.com/forum/m/?utm_medium=email&utm_source=footer#!topic/idris-lang/PyW_UZGanQU
The Provability of Consistency
https://arxiv.org/abs/1902.07404
https://arxiv.org/abs/1902.07404
arXiv.org
The Provability of Consistency
We offer a mathematical proof of consistency for Peano Arithmetic PA formalizable in PA. This result is compatible with Goedel's Second Incompleteness Theorem since our consistency proof does not...
real-time collision detection and multi-physics simulation
https://github.com/bulletphysics/bullet3
https://github.com/bulletphysics/bullet3
GitHub
GitHub - bulletphysics/bullet3: Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual…
Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc. - bulletphysics/bullet3
Compositional game theory:
An introductory talk, by Neil Ghani: https://www.youtube.com/watch?v=XSphRzyWObc
A useful list of resources, compiled by Jules Hedges: https://julesh.com/compositional-game-theory-bibliography/
An introductory talk, by Neil Ghani: https://www.youtube.com/watch?v=XSphRzyWObc
A useful list of resources, compiled by Jules Hedges: https://julesh.com/compositional-game-theory-bibliography/
YouTube
1st Statebox Summit — Open Games
speaker: Neil Ghani A tutorial on what open games are, how they compose and how they can be useful in optimizing economic and computational issues.
Foundations of brick diagrams:
Talk: https://www.youtube.com/watch?v=Icjt_2WSPio
ArXiv preprint: https://arxiv.org/abs/1908.10660
Talk: https://www.youtube.com/watch?v=Icjt_2WSPio
ArXiv preprint: https://arxiv.org/abs/1908.10660
YouTube
Foundations of brick diagrams - Jules Hedges and Jelle Herold
presented at the Third Workshop on String Diagrams in Computation, Logic and Physics (STRINGS 3) https://arxiv.org/abs/1908.10660 playlist https://www.youtub...
Mapping finite state machines to zk-SNARKS Using Category Theory: https://arxiv.org/abs/1909.02893