Pinboard (wagerlabs) https://pinboard.in/u:wagerlabs/public/ recent bookmarks from wagerlabs Roll your Own Bitcoin Exchange in Haskell 2017-09-06T06:00:26+00:00 http://www.michaelburge.us/2017/08/31/roll-your-own-bitcoin-exchange.html wagerlabsbitcoin haskell crypto trading https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:c965568c1eac/ Writing a Formally-Verified Porn Browser in Coq and Haskell 2017-08-26T06:08:32+00:00 http://www.michaelburge.us/2017/08/25/writing-a-formally-verified-porn-browser-in-coq.html wagerlabscoq haskell https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:41ded474aa08/ Writing a Forth 2017-06-09T07:57:33+00:00 http://reinvanderwoerd.nl/blog/2017/06/08/writing-a-forth/ wagerlabshaskell forth programming https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:44f737a6802a/ Channable - How we secretly introduced Haskell and got away with it 2017-05-19T04:41:07+00:00 https://tech.channable.com/posts/2017-02-24-how-we-secretly-introduced-haskell-and-got-away-with-it.html wagerlabshaskell programming https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:dc625fc12983/ Haskell - Wikibooks, open books for an open world 2017-05-19T04:35:01+00:00 https://en.wikibooks.org/wiki/Haskell wagerlabshaskell programming tutorials https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:9ee0cb41963a/ A Little Lens Starter Tutorial - School of Haskell | School of Haskell 2017-05-17T20:09:59+00:00 https://www.schoolofhaskell.com/school/to-infinity-and-beyond/pick-of-the-week/a-little-lens-starter-tutorial#what-about-combinators-with------do-they-show-up-anywhere-else- wagerlabshaskell https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:26def3a05a9b/ A Little Lens Starter Tutorial - School of Haskell | School of Haskell 2017-05-17T19:54:23+00:00 https://www.schoolofhaskell.com/school/to-infinity-and-beyond/pick-of-the-week/a-little-lens-starter-tutorial wagerlabshaskell https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:42292d217c53/ A taste of State: parsers are easy – Functional programming debugs you 2017-05-17T18:59:17+00:00 https://nikita-volkov.github.io/a-taste-of-state-parsers-are-easy/ wagerlabshaskell https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:5cff958a408e/ What I Wish I Knew When Learning Haskell 2.3 ( Stephen Diehl ) 2017-05-17T18:46:22+00:00 http://dev.stephendiehl.com/hask/ wagerlabshaskell programming tutorials https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:488b7c895a59/ Setting up Haskell in VS Code on macOS – Matthew Doig – Medium 2017-05-16T19:52:41+00:00 https://medium.com/@dogwith1eye/setting-up-haskell-in-vs-code-on-macos-d2cc1ce9f60a wagerlabshaskell vscode https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:3b099b7a57c1/ Making Movie Monad by David Lettier 2017-03-27T17:39:01+00:00 https://lettier.github.io/posts/2016-08-15-making-movie-monad.html wagerlabshaskell programming https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:3e13a09fa361/ Four months with Haskell 2017-03-22T18:28:01+00:00 https://lexi-lambda.github.io/blog/2016/06/12/four-months-with-haskell/ wagerlabsprogramming haskell https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:832edb3d73cd/ Making GHCi scale better and faster 2017-03-22T17:16:50+00:00 http://chrisdone.com/posts/making-ghci-fast wagerlabshaskell https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:09bb385f9fbe/ Three Useful Monads - adit.io 2015-07-09T18:44:48+00:00 http://adit.io/posts/2013-06-10-three-useful-monads.html wagerlabshaskell monads programming https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:4614894db78a/ Functors, Applicatives, And Monads In Pictures - adit.io 2015-07-09T18:44:25+00:00 http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html wagerlabsfunctional haskell monads programming https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:120330f943c6/ Implementing a JIT Compiler with Haskell and LLVM ( Stephen Diehl ) 2015-03-06T22:17:28+00:00 http://www.stephendiehl.com/llvm/ wagerlabshaskell llvm programming compilers https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:80b0f9282305/ Monoids, Functors, Applicatives, and Monads: 10 Main Ideas | Monad Madness 2015-01-19T18:30:46+00:00 https://monadmadness.wordpress.com/2015/01/02/monoids-functors-applicatives-and-monads-10-main-ideas/ wagerlabsmonads functional haskell tutorials https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:8eb2d5e706af/ Hackage: feldspar-compiler: Compiler for the Feldspar language 2014-02-06T21:00:27+00:00 http://hackage.haskell.org/package/feldspar-compiler wagerlabshaskell programming embedded https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:0cacffda49e4/ Hackage: atom: A DSL for embedded hard realtime applications. 2014-02-06T20:47:29+00:00 http://hackage.haskell.org/package/atom wagerlabshaskell programming rtos embedded https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:a87d4fcc1617/ A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.) 2014-01-23T21:01:14+00:00 http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html wagerlabsmonads functional haskell programming https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:7af8f5aee048/ An insufficiently lazy map : Inside 206-105 2013-11-25T20:24:17+00:00 http://blog.ezyang.com/2011/05/an-insufficiently-lazy-map/ wagerlabshaskell programming memory leaks debugging https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:c042b78d052c/ Anatomy of a thunk leak : Inside 206-105 2013-11-25T20:23:58+00:00 http://blog.ezyang.com/2011/05/anatomy-of-a-thunk-leak/ wagerlabshaskell programming memory leaks https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:15b61bf547e3/ Leaking Space - ACM Queue 2013-11-25T20:23:36+00:00 http://queue.acm.org/detail.cfm?id=2538488 wagerlabshaskell memory leaks programming https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:1f0586feec7a/ My First Yesod App | ScrollingText 2013-11-25T17:21:56+00:00 http://scrollingtext.org/my-first-yesod-app wagerlabsprogramming haskell yesod https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:7f4ec3314814/ Understanding Haskell Monads 2012-05-28T16:53:18+00:00 http://ertes.de/articles/monads.html wagerlabsfunctional haskell monads programming https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:23025c53f736/ A look at QuasiQuotation 2012-05-28T16:17:26+00:00 http://quasimal.com/posts/2012-05-25-quasitext-and-quasiquoting.html wagerlabshaskell programming https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:7dd0b24c2acd/ apfelmus - Introduction to FRP - Why Applicative Functors? 2012-05-18T15:11:51+00:00 http://apfelmus.nfshost.com/blog/2011/05/06-frp-why-functors.html wagerlabsfrp functional haskell programming https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:4dcc1ce07e95/ Simon Peyton Jones: book 2012-05-16T14:19:39+00:00 http://research.microsoft.com/en-us/um/people/simonpj/papers/pj-lester-book/ wagerlabsbooks compilers design functional programming haskell https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:59c34bacc9d4/ Things that amuse me 2012-05-05T23:30:45+00:00 http://augustss.blogspot.com.es/2009/01/llvm-llvm-low-level-virtual-machine-is.html wagerlabshaskell llvm programming https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:e06e1da0e66f/ A Neighborhood of Infinity: Build Yourself a Bluetooth Controlled Six-Legged Robot 2012-05-05T23:18:11+00:00 http://blog.sigfpe.com/2011/02/build-yourself-bluetooth-controlled-six.html wagerlabshaskell robotics programming electronics https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:bf66c8cf924d/ A tour of the Haskell monad functions 2012-04-25T21:33:34+00:00 http://members.chello.nl/hjgtuyl/tourdemonad.html wagerlabshaskell monads tutorials https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:6880b4ba745e/ How to learn Haskell 2012-04-12T17:04:07+00:00 http://acm.wustl.edu/functional/haskell.php wagerlabshaskell programming tutorials https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:d3cccfb1fa38/ You could have invented zippers : Inside 233 2012-03-16T20:35:06+00:00 http://blog.ezyang.com/2010/04/you-could-have-invented-zippers/ wagerlabsfunctional haskell programming zipper https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:5386519c7d78/ Things that amuse me 2011-11-09T18:46:09+00:00 http://augustss.blogspot.com/2009/01/performance-update-ive-continued.html wagerlabshaskell llvm programming https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:36b22d457128/ Things that amuse me 2011-11-09T18:45:13+00:00 http://augustss.blogspot.com/2009/01/llvm-llvm-low-level-virtual-machine-is.html wagerlabscompilers haskell llvm programming https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:fdf8bc880edc/ Macros In Haskell : Playing With Pointers 2011-11-07T22:10:44+00:00 http://playingwithpointers.com/archives/615 wagerlabshaskell macros https://pinboard.in/ https://pinboard.in/u:wagerlabs/b:03e5b6fd78aa/ What Does Haskell Have to Do with C++? «   Bartosz Milewski’s Programming Cafe 2010-11-27T11:52:58+00:00 http://bartoszmilewski.wordpress.com/2009/10/21/what-does-haskell-have-to-do-with-c/ wagerlabsc++ templates haskell https://pinboard.in/u:wagerlabs/b:83dd020b8fbb/ The Lava Hardware Description Language 2010-02-12T16:49:28+00:00 http://raintown.org/lava/ wagerlabsprogramming haskell electronics hardware fpga vhdl lava xilinx https://pinboard.in/u:wagerlabs/b:f5483f8aae2d/ www.easyVision - easyVision 2009-09-09T20:49:30+00:00 http://www.easyvision.googlepages.com/ wagerlabshaskell vision https://pinboard.in/u:wagerlabs/b:a17f6b28ba48/ Functional Programming Unit Testing - Part 4 - Matthew Podwysocki 2008-12-27T21:57:59+00:00 http://codebetter.com/blogs/matthew.podwysocki/archive/2008/12/18/functional-programming-unit-testing-part-4.aspx wagerlabsprogramming haskell testing https://pinboard.in/u:wagerlabs/b:33a72876b4a7/ http://www.cs.chalmers.se/Cs/Research/Language-technology/GF/ 2008-11-23T17:16:15+00:00 http://www.cs.chalmers.se/Cs/Research/Language-technology/GF/ wagerlabshaskell grammars nlp https://pinboard.in/u:wagerlabs/b:19e6a63efbbd/ Unifying events and threads 2008-11-07T14:42:29+00:00 http://www.seas.upenn.edu/~lipeng/homepage/unify.html wagerlabsprogramming haskell concurrency distributed threads coroutines linux events https://pinboard.in/u:wagerlabs/b:9529e393e9b3/ Nattermorphisms: 2 Minute intro to Associated Types / Type Families 2008-11-07T09:50:52+00:00 http://nattermorphisms.blogspot.com/2008/10/2-minute-intro-to-associated-types-type.html wagerlabsprogramming haskell types https://pinboard.in/u:wagerlabs/b:2f9b73d44952/ blog.bjrn.se: Let’s build an MP3-decoder! 2008-10-03T11:15:24+00:00 http://blog.bjrn.se/2008/10/lets-build-mp3-decoder.html wagerlabstutorials programming haskell toread audio mp3 https://pinboard.in/u:wagerlabs/b:019cfa2cc229/ lambda.oasis: SImple Type Inference in Haskell 2008-04-21T12:49:16+00:00 http://notvincenz.blogspot.com/2008/01/simple-type-inference-in-haskell.html wagerlabshaskell types https://pinboard.in/u:wagerlabs/b:a30fbbf72614/ JP Moresmau's Programming Blog: Scraping my boilerplate: Generics instead of Records 2008-02-24T09:36:46+00:00 http://jpmoresmau.blogspot.com/2008/01/scraping-my-boilerplate-generics.html wagerlabshaskell generics https://pinboard.in/u:wagerlabs/b:9e3dbed692c5/ mvanier: Haskell state monads, part 2 2008-02-24T09:26:39+00:00 http://mvanier.livejournal.com/1901.html wagerlabshaskell monads https://pinboard.in/u:wagerlabs/b:2c12cbbf4fb4/ Composing Contracts 2007-12-26T16:45:37+00:00 http://contracts.scheming.org/ wagerlabsfinance functional haskell https://pinboard.in/u:wagerlabs/b:6a8635ce14a0/ Scope herding with delimited continuations 2007-12-22T10:33:28+00:00 http://blog.moertel.com/articles/2005/09/13/scope-herding-with-delimited-continuations wagerlabscombinators continuations haskell monads https://pinboard.in/u:wagerlabs/b:6bd075b6c07e/ A Web Monad 2007-12-19T10:52:30+00:00 http://www.alpheccar.org/en/posts/show/87 wagerlabshaskell monads web https://pinboard.in/u:wagerlabs/b:9226eb167570/ Haskell hacking 2007-12-14T12:29:15+00:00 http://cgi.cse.unsw.edu.au/~dons/blog/2007/07/31 wagerlabshaskell https://pinboard.in/u:wagerlabs/b:d6ba820d02c1/ Haskell hacking 2007-12-14T12:28:30+00:00 http://cgi.cse.unsw.edu.au/~dons/blog/2007/11/26 wagerlabshaskell concurrency https://pinboard.in/u:wagerlabs/b:99780942681f/ Haskell hacking 2007-12-14T12:28:03+00:00 http://cgi.cse.unsw.edu.au/~dons/blog/2007/11/14 wagerlabshaskell https://pinboard.in/u:wagerlabs/b:15aaef486645/ Random Core output - hpaste 2007-12-14T09:35:16+00:00 http://hpaste.org/4438#a2 wagerlabshaskell core https://pinboard.in/u:wagerlabs/b:2c1074bc85c5/ Coproduct of free monads and web development 2007-12-12T23:40:34+00:00 http://www.alpheccar.org/en/posts/show/86 wagerlabshaskell monads web https://pinboard.in/u:wagerlabs/b:d896c3a7c3ab/ Mathematical Pamphlet » Calculating the reflect-rotate-translate normal form for an isometry of the plane in Haskell, and verifying it with QuickCheck. 2007-12-09T10:12:48+00:00 http://www.kennknowles.com/blog/2007/12/03/calculating-the-reflect-rotate-translate-normal-form-for-an-isometry-of-the-plane-in-haskell-and-verifying-it-with-quickcheck/ wagerlabshaskell quickcheck https://pinboard.in/u:wagerlabs/b:9d1113bb6bf3/ Simple Haskell Web Programming with HAppS - bluebones.net 2007-12-07T10:48:50+00:00 http://bluebones.net/2007/09/simple-haskell-web-programming-with-happs/ wagerlabshaskell HAppS https://pinboard.in/u:wagerlabs/b:b213e20fdd4d/ Grammatical Framework Tutorial 2007-11-16T10:32:09+00:00 http://www.cs.chalmers.se/Cs/Research/Language-technology/GF/doc/tutorial/gf-tutorial2.html wagerlabshaskell nlp https://pinboard.in/u:wagerlabs/b:078b3b1a87ca/ GF EmbedAPI 2007-11-16T10:31:38+00:00 http://www.cs.chalmers.se/~aarne/GF/src/GF/Embed/EmbedAPI.hs wagerlabshaskell nlp https://pinboard.in/u:wagerlabs/b:9fac226dbe77/ Things that amuse me 2007-11-08T01:40:30+00:00 http://augustss.blogspot.com/2007/06/generating-more-code-with-harpy-after.html wagerlabshaskell dsl https://pinboard.in/u:wagerlabs/b:52f8afb1d9dd/ data with GADT syntax - hpaste 2007-11-07T13:42:26+00:00 http://hpaste.org/3724#a1 wagerlabshaskell gadt https://pinboard.in/u:wagerlabs/b:df30c296ef0c/ A Neighborhood of Infinity: May 2007 2007-11-02T16:59:36+00:00 http://sigfpe.blogspot.com/2007_05_01_archive.html wagerlabshaskell robotics https://pinboard.in/u:wagerlabs/b:27d74cfb59a6/ Commentary - GHC - Trac 2007-11-02T15:42:55+00:00 http://hackage.haskell.org/trac/ghc/wiki/Commentary wagerlabsghc architecture haskell https://pinboard.in/u:wagerlabs/b:2a85e3d68825/ Continuation Passing Style for Monads 2007-10-31T00:19:40+00:00 http://r6.ca/blog/20071028T162529Z.html wagerlabshaskell continuations cps monads https://pinboard.in/u:wagerlabs/b:65617e05e755/ Berlin Brown and Development: Octane Mech, OpenGL Haskell based mech game; early code and some haskell notes 2007-10-29T12:28:32+00:00 http://berlinbrowndev.blogspot.com/2007/09/octane-mech-opengl-haskell-based-mech.html wagerlabshaskell graphics games opengl https://pinboard.in/u:wagerlabs/b:1b39eea3a43d/ The Reduceron 2007-05-31T10:38:08+00:00 http://www-users.cs.york.ac.uk/~mfn/reduceron/index.html wagerlabshaskell fpga https://pinboard.in/u:wagerlabs/b:e6f24b1eeb9e/ Simple Parsec-based parser for arithmetic expressions 2007-04-11T12:57:03+00:00 http://hpaste.org/1342 wagerlabshaskell parsing https://pinboard.in/u:wagerlabs/b:8ed657e753bd/ Emping User Guide 2007-04-09T08:44:35+00:00 http://j-van-thiel.speedlinq.nl/emp/empug.html wagerlabshaskell libraries https://pinboard.in/u:wagerlabs/b:2f004d101cdb/ Haskell hacking 2007-04-06T14:40:21+00:00 http://cgi.cse.unsw.edu.au/~dons/blog/2006/11/19 wagerlabshaskell quickcheck https://pinboard.in/u:wagerlabs/b:77a955abe989/ Haskell hacking 2007-04-06T14:39:36+00:00 http://cgi.cse.unsw.edu.au/~dons/blog/2006/09/10 wagerlabshaskell quickcheck https://pinboard.in/u:wagerlabs/b:1b2c93e80a51/