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...
The Essence of Petri Net Gluings:
https://arxiv.org/abs/1909.03518
https://arxiv.org/abs/1909.03518
arXiv.org
The Essence of Petri Net Gluings
Many categorical frameworks have been proposed to formalize the idea of gluing Petri nets with each other. Such frameworks model net gluings in terms of sharing of resources or synchronization of...
Profunctor Optics: Modular Data Accessors:
https://arxiv.org/abs/1703.10857
https://arxiv.org/abs/1703.10857
arXiv.org
Profunctor Optics: Modular Data Accessors
CONTEXT: Data accessors allow one to read and write components of a data structure, such as the fields of a record, the variants of a union, or the elements of a container. These data accessors...
Chemoinformatics and structural bioinformatics in OCaml
https://jcheminf.biomedcentral.com/articles/10.1186/s13321-019-0332-0
https://jcheminf.biomedcentral.com/articles/10.1186/s13321-019-0332-0
BioMed Central
Chemoinformatics and structural bioinformatics in OCaml - Journal of Cheminformatics
Background OCaml is a functional programming language with strong static types, Hindley–Milner type inference and garbage collection. In this article, we share our experience in prototyping chemoinformatics and structural bioinformatics software in OCaml.…