Pure & constructive mathematics in theory and use – Telegram
Pure & constructive mathematics in theory and use
@typetheoryinprogramming
513 subscribers
1 photo
13 files
444 links
Just resources about fundamental mathematics, type theory, their use in programming mostly.
Contact: @megamanisepic
Becoming an admin isn't difficult as long as you have a slight idea of the topic and preserve the style.
Download Telegram
About
Blog
Apps
Platform
Join
Pure & constructive mathematics in theory and use
513 subscribers
Pure & constructive mathematics in theory and use
My first Unikernel
http://roscidus.com/blog/blog/2014/07/28/my-first-unikernel/
Roscidus
My first unikernel - Thomas Leonard's blog
I wanted to make a simple REST service for queuing file uploads, deployable as a virtual machine. The traditional way to do this is to download a …
463 viewsGNU/Brett G., 
Pure & constructive mathematics in theory and use
Typed Combinators
http://chriswarbo.net/blog/2012-12-01-typed_combinators.html
389 viewsGNU/Brett G., 
Pure & constructive mathematics in theory and use
Simplicial Sets are Algorithms
http://therisingsea.org/notes/MScThesisWillTroiani.pdf
386 viewsUnivalence, edited  
Pure & constructive mathematics in theory and use
Equations reloaded: high-level dependently typed functional programming and proving in Coq

https://dl.acm.org/citation.cfm?id=3341690
438 viewsGNU/Brett G., 
Pure & constructive mathematics in theory and use
Lectures on the Curry-Howard Isomorphism
http://disi.unitn.it/~bernardi/RSISE11/Papers/curry-howard.pdf
389 viewsUnivalence, 
Pure & constructive mathematics in theory and use
A Course in Model Theory
https://github.com/domenicozambella/creche
[Thanks to Simone]
GitHub
GitHub - domenicozambella/creche: A Crèche Course in Model Theory. Lecture notes for an introductory (under)graduate couse in model…
A Crèche Course in Model Theory. Lecture notes for an introductory (under)graduate couse in model theory - domenicozambella/creche
355 viewsUnivalence, edited  
Pure & constructive mathematics in theory and use
Menkar
https://github.com/anuyts/menkar
We can never have enough theorem provers :D
[Thanks to Alex Gryzlov]
GitHub
anuyts/menkar
The multimode presheaf proof-assistant. Contribute to anuyts/menkar development by creating an account on GitHub.
392 viewsUnivalence, edited  
Pure & constructive mathematics in theory and use
Prolog DCG Primer
https://www.metalevel.at/prolog/dcg
[Thanks to Levy]
www.metalevel.at
Prolog DCG Primer
Introduction to Prolog Definite Clause Grammars (DCGs)
399 viewsUnivalence, 
Pure & constructive mathematics in theory and use
By the way, check out @logicprogrammingchan because of recent and arguably interesting activity!
388 viewsUnivalence, 
Pure & constructive mathematics in theory and use
Flocq (Floats for Coq)
http://flocq.gforge.inria.fr/
419 viewsUnivalence, 
Pure & constructive mathematics in theory and use
Cooking Classes with Datatype Generic Programming
http://www.stephendiehl.com/posts/generics.html
[Thanks to Levy]
Stephendiehl
Cooking Classes with Datatype Generic Programming
Personal Blog
385 viewsUnivalence, 
Pure & constructive mathematics in theory and use
Kei
https://github.com/caotic123/Kei
[Thanks to swarnim]
GitHub
caotic123/Kei
A small and expressive dependently typed language. Contribute to caotic123/Kei development by creating an account on GitHub.
392 viewsUnivalence, 
Pure & constructive mathematics in theory and use
A Core Quantitative Coeffect Calculus
https://lipn.univ-paris13.fr/~mazza/papers/CoreQuantCoeff.pdf
#graded #modal #logic
291 viewsCassy, edited  
Pure & constructive mathematics in theory and use
(Tags are to fix horrible telegram search)
294 viewsUnivalence [USE GUIX, LEARN HASKELL, READ HOTT, FUCK LEM], 
Pure & constructive mathematics in theory and use
The space and motion of communicating agents
https://www.cl.cam.ac.uk/archive/rm135/Bigraphs-draft.pdf
588 viewsCassy, 
Pure & constructive mathematics in theory and use
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
732 viewsCassy, edited  
Pure & constructive mathematics in theory and use
Functor, applicative, and monad
https://typeslogicscats.gitlab.io/posts/functor-applicative-monad.html
367 viewsGNU/Brett G., 
Pure & constructive mathematics in theory and use
Towards a Bigraphical Encoding of Actors
http://cpcc.berkeley.edu/papers/ActorsEncoding.pdf
#actor #model #bigraphs #reactive
643 viewsCassy, 
Pure & constructive mathematics in theory and use
Learn Physics by Programming in Haskell
https://arxiv.org/abs/1412.4880
#physics #haskell
arXiv.org
Learn Physics by Programming in Haskell
We describe a method for deepening a student's understanding of basic physics by asking the student to express physical ideas in a functional programming language. The method is implemented in a...
396 viewsUnivalence [USE GUIX, LEARN HASKELL, READ HOTT, FUCK LEM], 
Pure & constructive mathematics in theory and use
Seminar notes on developments in bigraphs
https://www.cl.cam.ac.uk/archive/rm135/Bigraphs-Seminars.pdf
#bigraphs #reactive
661 viewsCassy, 
Pure & constructive mathematics in theory and use
Distributed execution of bigraphical reactive systems
https://arxiv.org/pdf/1503.02434v1.pdf
#bigraphs #distributed #reactive
727 viewsCassy,