psibi

14 ms·

121.
The Theory of patches-vector(liamoc.net)
22 points by psibi 11y ago|12 comments
122.
by psibi 11y ago
Any announcement/mailing list link regarding that ? Edit: Found that: https://lists.gnu.org/archive/html/emacs-devel/2015-11/msg00...
123.
by psibi 11y ago
No, it's not required.
124.
by psibi 11y ago
I used to fill using the government site and I find it's UI terrible. Unless I know what I'm doing, I can easily screw up there. ClearTax makes it easy for a layman person to understand and use it.
125.
by psibi 11y ago
FTP (The Foldable/Traversable proposal in prelude) is a change done to the core library of GHC 7.10. It brings the Foldable and Traversable typeclass to Prelude and makes the existing function of Prelude more polymorphic. Like the type
126.
by psibi 11y ago
> Equals is a lie: = ≠ = This has occurred opposite to me while learning Mathematics. As a programmer, who has been learning fundamental mathematics from the past year, the whole assignment/equivalence thing screwed me up so many ti
127.
The Incredible Proof Machine(joachim-breitner.de)
12 points by psibi 11y ago|0 comments
128.
by psibi 11y ago
A more detailed explanation here: https://queue.acm.org/detail.cfm?id=2538488 (from the same author of the post).
129.
by psibi 11y ago
This answer[0] explains various parts of RWH which is outdated. [0] http://stackoverflow.com/a/23733494/1651941
130.
by psibi 11y ago
This is a fairly nice quasiquotation tutorial: https://www.fpcomplete.com/user/marcin/quasiquotation-101
131.
Programming R at native speed using Haskell(tweag.io)
145 points by psibi 11y ago|27 comments
132.
Applicatives in Math vs. Code(begriffs.com)
2 points by psibi 11y ago|0 comments
133.
by psibi 11y ago
Is step 4 really required ? nix-shell already gives you a sandbox environment. Also their user manual[0] is really good now. [0] https://hydra.nixos.org/job/nixpkgs/trunk/manual/latest/down...
134.
Baidu’s ‘Medical Robot’: Chinese Search Engine Reveals Its AI for Health(recode.net)
2 points by psibi 11y ago|0 comments
135.
by psibi 11y ago
I just came to know that the site is using flat files and surprised. Is that still the case ? Why was such a design selected ?
136.
Optimising Garbage Collection Overhead in Sigma(simonmar.github.io)
33 points by psibi 11y ago|4 comments
137.
Warp now supports HTTP/2(yesodweb.com)
2 points by psibi 11y ago|0 comments
138.
by psibi 11y ago
Doesn't happen anything after clicking the Start button in Firefox on Linux.
139.
by psibi 11y ago
> List comprehensions and generator expressions have replaced all need for map, filter, and lambdas, and are far more readable. I would say that is debatable. Coming from an FP background, I use map, filter and lambdas nearly all of the
140.
Perf for low level Haskell profiling(fpcomplete.com)
34 points by psibi 11y ago|5 comments
141.
by psibi 11y ago
> Everything must be well thought out before you start to write a line Not exactly. When you are initially learning the language, you have to think a little more. But once you are comfortable with it, the type signatures dictate you what
142.
by psibi 11y ago
Can you expand upon what you mean by complete Haskell stack ? What do you feel are currently missing from Yesod ?
143.
by psibi 11y ago
I have the book print version and that certainly is outdated. But the online version isn't outdated (mostly). The current version of Yesod[0] is 1.4 and according to the book site it targets 1.4. That being said contributing to any of
144.
by psibi 11y ago
Also the nice thing about Yesod, is the freely available online book[0]. [0] http://www.yesodweb.com/book
145.
by psibi 11y ago
How much does algebra contribute to learning Type theory ? I'm currently working on the How to prove it book. I thought, I would jump to TAPL after finishing that.
146.
Existentials and the heterogenous list fallacy(chrisdone.com)
3 points by psibi 11y ago|0 comments
147.
Emacs Speaks Statistics(ess.r-project.org)
10 points by psibi 11y ago|0 comments
148.
by psibi 11y ago
The major change which I see is how the Python code becomes more pure. Using code which are side effect free gives me the ability to easily reason about them. I can jump in the code even after many months and easily understand them without
149.
by psibi 11y ago
Note that you can translate the skills you learn from Haskell to other languages. The way I write code in Python and Javascript for my day job has drastically changed after I have learned Haskell.
150.
by psibi 11y ago
Also unusable on Linux + Firefox.

More ›