[Haskell-cafe] Haskell Weekly News: Issue 320
Semen Trygubenko / Семен Тригубенко
semen at trygub.com
Fri Mar 13 05:40:40 UTC 2015
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
Size: 181 bytes
Desc: not available
More information about the Haskell-Cafe