test

migrated

ethereum

my molecule

more

scrape
https://www.reddit.com/r/fr/.json?count=25&after=t3_3ppmhj
cat p | json_pp  | egrep '\"url\"|\"title' > out

Write Your Compiler by Proving It Correct http://liamoc.net/posts/2015-08-23-verified-compiler.html

purescript

https://leanpub.com/purescript/read#leanpub-auto-functional-javascript

elm versus purescript http://www.parsonsmatt.org/programming/2015/10/03/elm_vs_purescript.html

Lua

Underscore for Lua https://mirven.github.io/underscore.lua/

Javascript

map, filter, fold etc http://colin-dumitru.github.io/functional-programming/javascript/tutorial/2014/12/28/functional_operations_in_es6.html

react-bootstrap https://react-bootstrap.github.io/components.html

react rally - projects - https://www.youtube.com/channel/UCXBhQ05nu3L1abBUGeQ0ahw

css in js slides - https://speakerdeck.com/vjeux/react-css-in-js

redux basics reducers - http://rackt.org/redux/docs/basics/Reducers.html


Composing contracts https://falconair.github.io/2015/01/30/composingcontracts.html

Certified Symbolic Management of Financial Multi Party Contracts https://www.youtube.com/watch?v=cIYZJgoAZH4

css

React.js inline style best practices http://stackoverflow.com/questions/26882177/react-js-inline-style-best-practices

State of React and CSS https://voice.kadira.io/state-of-react-and-css-501d179443d3#.flo6283mp


Formal verification for Solidity Contracts https://www.reddit.com/r/ethereum/comments/3qfw0y/formal_verification_of_solidity_contracts_using/

Cross Platform React https://www.reddit.com/r/webdev/comments/3q9r16/crossplatform_react_stories_1_hack_2_apps_1/