[Haskell-cafe] Haskell Weekly News: Issue 320

Semen Trygubenko / Семен Тригубенко semen at trygub.com
Fri Mar 13 05:40:40 UTC 2015

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.



    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)!



    Solutions in search of problems and problems in search of

    A comment by Edward Kmett.


    Once you've seen the beautiful, you don't want to go back to the

    Discussion of which Haskell ways can benefit what other languages
    and how to stay employed and satisfied.


    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.


    What imperative languages do Haskellers like?

    Haskell is at the top of the list, followed by C++.


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)


    "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."

    "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)


    "How do I use lens confusing?"
    "You mean 'it's confusing'"
    "No, I mean Control.Lens.Traversal.confusing"

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 181 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150313/09701bc7/attachment.sig>

More information about the Haskell-Cafe mailing list