March 23, 2017

Bringing back the Somali shilling

Grenade: Deep Learning in Haskell

Category Theory for Programmers: The Preface

Interview with Brian McKenna about Roy, Purescript, Haskell, Idris and dependent types

PureScript is a small strongly typed programming language that compiles to JavaScript.

The future of software, the end of apps, and why UX designers should care about type theory

Is functional programming possible on the EVM?

Demo: A fully open source flow for iCE40 FPGAs

[Types Considered Harmful | Lambda the Ultimate](http://lambda-the-ultimate.org/node/2828) |

Formal verification of secure multi-party computations - DSL

06 Dependent Types Effects and Efficient Verification Conditions in F star

“Propositions as Types” by Philip Wadler

Basic Category Theory (arxiv.org

Category Theory Bartosz Milewski 20 videos

Proofs are Programs – 19th Century Logic and 21st Century Computing (2000) pdf

Proofs are Programs: 19th Century Logic and 21st Century Computing - Wadler

[Entropy in Social Networks - hackernews - pdf] (https://news.ycombinator.com/item?id=13657328)

The Functional-Relational Impedance Match

Purescript differences from Haskell

Purescript handling native effects with the Eff monad

Why calculating is better than scheming - Wadler 87

Type-safe client-server communication with PureScript

finch functional web development

Proof related to a finite state machine

Show two finite state machines are equivalent

Formal methods on another Casper

Formal methods on another Casper - reddit

Ethereum Virtual Machine for Coq (v0.0.2) - reddit

Ethereum Virtual Machine for Coq (v0.0.2) - medium

Formalization of Ethereum Virtual Machine in Lem - code

Alloy 4 Lanaguage and analysis - pdf

Newly Released Delaware Corporate Law Amendments Would Permit Blockchain Shares

Boolean satisfiability problem

Dependent Types and Multi-Monadic Effects in F-star

Compromise on effects tracking

Satisfiability modulo theories

Category Theory 8.2: Type algebra, Curry-Howard-Lambek isomorphism - video

Common algebraic specification language

Damas and Milner’s seminal paper on how to do type inference in ML

Liquid Haskell: Haskell as a Theorem Prover - hacker news - pdf