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