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
The holy trinity, by Robert Harper:
https://existentialtype.wordpress.com/2011/03/27/the-holy-trinity/
https://existentialtype.wordpress.com/2011/03/27/the-holy-trinity/
Existential Type
The Holy Trinity
The Christian doctrine of trinitarianism states that there is one God that is manifest in three persons, the Father, the Son, and the Holy Spirit, who together form the Holy Trinity. The doctrine…
How to (re)invent Tait's Method, by Bob Harper
http://www.cs.cmu.edu/~rwh/pfpl/supplements/tait.pdf
http://www.cs.cmu.edu/~rwh/pfpl/supplements/tait.pdf
Theorems for free! by Philip Wadler
https://people.mpi-sws.org/~dreyer/tor/papers/wadler.pdf
https://people.mpi-sws.org/~dreyer/tor/papers/wadler.pdf
The Mathematical Specification of the Statebox language:
https://arxiv.org/abs/1906.07629
https://arxiv.org/abs/1906.07629
arXiv.org
The Mathematical Specification of the Statebox Language
This document defines the mathematical backbone of the Statebox programming language. In the simplest way possible, Statebox can be seen as a clever way to tie together different theoretical...