psibi

15 ms·

151.
by psibi 11y ago
I did use Octave during my university time even though the course I was doing recommended and used Matlab. And I think for nearly the entire course, Matlab commands were an one-to-one translation to Octave. I personally feel science should
152.
Haskell Communities and Activities Report (Twenty-Eighth Edition – May 2015)(haskell.org)
1 points by psibi 11y ago|0 comments
153.
Krita kickstarter: Making it faster than Photoshop(kickstarter.com)
2 points by psibi 11y ago|0 comments
154.
by psibi 11y ago
I have seen many people recommending urxvt. What is the advantage of it compared to gnome-terminal ? The last time I tried it, it's default font size was too small and I didn't like the font. Does it take some fiddling (configurat
155.
The Internet of code(haskellforall.com)
39 points by psibi 11y ago|3 comments
156.
Idris 0.9.18 released(idris-lang.org)
3 points by psibi 11y ago|0 comments
157.
by psibi 11y ago
Can I see the table of contents anywhere ?
158.
by psibi 11y ago
Yes, they know about Elm. They have mentioned it in the article.
159.
by psibi 11y ago
Note that this answer[1] documents parts of the book which has become outdated. That being said, it is a good book. I learned Haskell through it. A much more modern book on Haskell is Beginning Haskell by Alejandro which covers modern libr
160.
by psibi 11y ago
I haven't yet read the book but I did try installing the Mozart system in my system and I had a bad experience about it. I remember seeing some segmentation fault error before giving it up.
161.
by psibi 11y ago
You might want to know that there is a book related to Haskell and Music: http://haskell.cs.yale.edu/euterpea/haskell-school-of-music/
162.
by psibi 11y ago
I think the hanging thing can be solved by invoking emacsclient in the following way: `emacsclient -n`.
163.
by psibi 11y ago
Isn't systemd an user space process ?
164.
by psibi 11y ago
From the linked page: "TUX has never been an integrated part of the official Linux kernel, although it has been shipped in some distributions, notably Red Hat, SuSE and Fedora."
165.
Stack Overflow Developer Survey 2015: The Results(blog.stackoverflow.com)
1 points by psibi 12y ago|0 comments
166.
Lean theorem prover from Microsoft Research(leanprover.github.io)
7 points by psibi 12y ago|0 comments
167.
by psibi 12y ago
How does proving something false as true gives the logic system the ability to prove anything ? Can you explain it with an example
168.
by psibi 12y ago
How does it compare it with Pinter's Book of abstract algebra ? I have been planning to settle on either one of them.
169.
The awesome Haskell community(yesodweb.com)
2 points by psibi 12y ago|0 comments
170.
Reactions to “Has modern Linux lost its way?” and the value of simplicity(changelog.complete.org)
24 points by psibi 12y ago|1 comments
171.
RMS on inclusion of basic LLDB support for gud.el(lists.gnu.org)
22 points by psibi 12y ago|10 comments
172.
Learn Physics by Programming in Haskell(arxiv.org)
2 points by psibi 12y ago|0 comments
173.
by psibi 12y ago
> Regionalized mutability can be made to be referentially transparent from the outside. Can you give an example of that ? Is that similar to ST Monad ?
174.
Monads: From Web 2.0 to Hardware Drivers(well-typed.com)
4 points by psibi 12y ago|0 comments
175.
by psibi 12y ago
For git they have a minimal version too: dev::hlinux { /home/sibi }-> nix-env -i --dry-run git-minimal-2.1.4 (dry run; not doing anything) installing ‘git-minimal-2.1.4’ these paths will be fetched (11.69
176.
by psibi 12y ago
> jQuery is almost a monad Curious to know how as I have seen lots of people claiming jQuery to be Monad ? jQuery neither has any laws to govern it nor it has bind or inject interface.
177.
The “What Are Monads?” Fallacy(two-wrongs.com)
45 points by psibi 12y ago|86 comments
178.
Teens and Functional Programming (2013)(jozefg.bitbucket.org)
2 points by psibi 12y ago|0 comments
179.
Baidu Announces Breakthrough in Speech Recognition(forbes.com)
3 points by psibi 12y ago|0 comments
180.
Andy Tanenbaum hasn’t learned anything (1992)(harmful.cat-v.org)
2 points by psibi 12y ago|1 comments

More ›