New Releases The sbv package SBV can now generate proof goals that are discharged by ABC, using state-of-the-art SAT based techniques, has better support for IEEE-floats, and a reworked implementation of the connection to the Boolector solver. http://hackage.haskell.org/package/sbv-4.1 Talks Stop Treading Water: Learning to Learn A talk about the alternative to Feynman's algorithm (that can be taught), the total cost of using wrong solutions (integrated over your entire career), the dual of "How to be a Genius" (and how to become a Genius Consultant), and how to beat the exponential decay of human memory (using Spaced Repetition and Going Deeper When You Come Back strategies)! https://yow.eventer.com/yow-2014-1222/stop-treading-water-learning-to-learn-... Discussion Solutions in search of problems and problems in search of solutions A comment by Edward Kmett. http://www.reddit.com/r/haskell/comments/2yfris/stop_treading_water_learning... Once you've seen the beautiful, you don't want to go back to the ugly Discussion of which Haskell ways can benefit what other languages and how to stay employed and satisfied. http://www.reddit.com/r/haskell/comments/2y47rf/once_youve_seen_the_beautifu... Learning Haskell — A Racket programmer's documentation of her foray into the land of Haskell (inspired by Learning Racket) Days 0 through 2 are documented so far. http://lexi-lambda.github.io/learning-haskell/ What imperative languages do Haskellers like? Haskell is at the top of the list, followed by C++. http://www.reddit.com/r/haskell/comments/2yqnst/what_imperative_languages_do... Quotes of the Week "Practically every modern human has at least half an hour of spare time a day. If you want to fill that with textbooks or Better Call Saul is up to you." (kqr) "Fritz Henglein's work on discrimination gives you linear time versions of almost everything." (edwardkmett) http://www.reddit.com/r/haskell/comments/2yfris/stop_treading_water_learning... "I think learning C is just as enlightening as learning Haskell. It forces you to get intimate with your machine in ways other languages (including C++) actively discourage or even forbid." (TheManaKnight) "It seems that after trying haskell not only you can not write anything in other languages, but also you can not solve any problem without going to the deep of it and discover something that truly solves the problem in the deeper sense." (agocorona) http://www.reddit.com/r/haskell/comments/2y47rf/once_youve_seen_the_beautifu... "How do I use lens confusing?" "You mean 'it's confusing'" "No, I mean Control.Lens.Traversal.confusing" (cocharles) http://hackage.haskell.org/package/lens-4.8/docs/Control-Lens-Traversal.html...