matthew.brecknell.net
Hole-driven Haskell - Matthew Brecknell
http://matthew.brecknell.net/post/hole-driven-haskell
A demonstration of a technique for using types to guide the construction of Haskell programs, based on natural deduction. Includes some tricks for getting help from GHC. For giving me the idea. Thanks to everyone else for not giving me too much shit about my noisy hole. You can download the video as MP4. With embedded subtitles, WebM. Or find it on YouTube. Posted by Matthew Brecknell. B-trees with GADTs ».
tsj.io
Catalysing serendipity – The Tech Street Journal
http://tsj.io/about
StreetEats closes its kitchen: What we can learn from a successful, failed startup. Innovation means spreading good ideas, not just products. Startup hubs set for Mackay, Rockhampton and Ipswich. What Australian entrepreneurs can look forward to in 2016. Ilab announces Germinate 8: divorce app, crop tech and more. River City Labs to double in size and scope. Mackay’s inaugural Startup Weekend tops off diverse year for Queensland. Emerging Entrepreneurs to go nationwide with JCU and theSPACE. Will also se...
measurethefuture.net
Blog – Measure the Future
http://measurethefuture.net/blog
You are here: Home. ALA Annual 2016 & Measure the Future. It’s been too long since a public update made its way out for Measure the Future. In light of the rapidly approaching ALA Annual 2016, here’s the current state of the Project…. Developer, Clinton, that it’s as capable as it is. The other major piece of the Project, the Mothership. Things like setting up new Scouts, how libraries will interact with the graphs and visualizations we’re making, and most importantly how we ensure that our security mode...
SOCIAL ENGAGEMENT