kanak

8 ms·

31.
by kanak 16y ago
After you read that, here are some papers on purely functional data structures suggested by the Theoretical CS stack exchange: http://cstheory.stackexchange.com/questions/1539/whats-new-i...
32.
by kanak 16y ago
Richard Bird's book is also really great for the more theoretical side of things (it's like if you took Hutton's last chapter on "Equational Reasoning" and stretched it to an entire book). I'm working through it now and will be posting note
33.
by kanak 16y ago
Thank you. I look forward to seeing your patches soon :). There's another book on a similar vein called "Haskell Road to Logic, Maths and Programming" that I intend to tackle in the future. It's a bit more advanced than this book, but if yo
34.
by kanak 16y ago
Definitely. My goal is not to substitute the book at all. The only reason I'm posting these solutions is that I can compare answers with someone else who is also working through the book. Hopefully, by reading each other's solutions (and pr
35.
by kanak 16y ago
I wanted to put a more descriptive title but couldn't in the alloted 80 chars. Basically, I've spent the last two weeks working through "Discrete Mathematics using a Computer" which teaches Discrete Mathematics using Haskell. The book is ve
36.
My notes and complete solutions to "Discrete Mathematics using a Computer"(kanak.kshetri.com)
36 points by kanak 16y ago|5 comments
37.
by kanak 16y ago
I use ctrl+w, but it's too close to ctrl+q. Is there a way to disable ctrl+q in firefox?
38.
by kanak 16y ago
I haven't used the number porting feature, but I'm using everything else and have no complaints about it. I even got it to replace the features of my android (e.g. replace the default voicemail app with google voice's voicemail).
39.
by kanak 16y ago
One of my favorite videos on youtube is the one where Neil deGrasse Tyson expresses disagreement at Richard Dawkin's methods [1]. He says: "... persuasion isn't 'here are the facts and you're either an idiot or you're not.' It's 'here are t
40.
by kanak 16y ago
I've read both books and like them both. However, I prefer Bird/Wadler better because there's a pervasive "let's derive this"/"let's prove this" approach to the topics. By which I mean, given a spec, let's derive a program that does the tas
41.
by kanak 16y ago
> Is there a book that relates to Haskell as TAoCP does to machine code, SICP to Scheme, K&R to C, and the dragon book to Lex and Yacc? My vote would be for Richard Bird and Phil Wadler's Intro to functional programming using Haske
42.
by kanak 16y ago
Is MathOverflow part of Stack Exchange? I ask because Stack Exchange seems to have a different site called "Mathematics Stack Exchange" [1]. http://math.stackexchange.com/
43.
by kanak 16y ago
Prof. Leslie Valiant has done awesome work in complexity theory. Among other things, he: * introduced the notion of #P [1]. Replacing the "Is there any ..." question in an NP problem with "How many ... " makes a problem #P e.g. "Is there an
44.
by kanak 16y ago
Actually in Scheme, #f is the only false value. (e.g. the documentation for "if" in racket [1] says: "If it produces any value other than #f, then then-expr is evaluated, and its results are the result for the if form. Otherwise, else-expr
45.
by kanak 16y ago
As much as I love OCW (I've "done" several courses there, including problem sets, exams etc), I think the problem of not being able to interact with an expert is still a very big limitation. For example, suppose I'm studying mathematics. I
46.
by kanak 16y ago
You should look into typed racket.
47.
by kanak 16y ago
Could you please suggest a list of books to read in sequence to learn about building compilers? Thanks.
48.
by kanak 16y ago
Definitely depends on your math background (knowledge of analysis and linear algebra seems to be particularly helpful). Witten's Data Mining is a very good beginner's book (has very little math, but lots of good explanations and discussion
49.
by kanak 16y ago
Am I the only one who enjoyed this approach? I was taught atomic theory chronologically starting with the plum pudding model, then rutherford's model, then Bohr's model and finally the quantum models. At each stage, the focus was on: * What
50.
by kanak 16y ago
> It works for int, float, BigInteger Actually it is incorrect for floats. For non integer types, the factorial is given by the gamma function [1]. So, the factorial of 3.5 is Gamma(2.5) which is 3.3325 [2] not 6 as your function sugges
51.
by kanak 16y ago
Whatever you do, do the SICP exercises. You'll learn a lot (and discover that you don't really know things you thought you did).
52.
by kanak 16y ago
> Going through this was a big level-up for me. That's a very nice way of putting it. I too feel a lot more confident about an entire class of problems thanks to HTDP. The only problem I have with the book is that the generative recursi
53.
by kanak 16y ago
I'm one of the people who switched from Vim to Emacs due to Org mode, and I've never regretted the decision. In the past year, I've used org-mode to take all my notes in class, write documents and as a task manager. All in all, the gain in
54.
by kanak 16y ago
> Finally, a few alternative editors are genuinely useful, nano - it might be inferior in pretty much every regard to Emacs, but it's not possible to shrink Emacs to nearly the size of nano so it does seem to serve a valuable purpose fo
55.
by kanak 16y ago
Somewhat related, here's the letter that Kurt Godel wrote to John von Neumann where he describes a problem very similar to the P vs NP problem: http://blog.computationalcomplexity.org/2006/04/kurt-gdel-19...
56.
by kanak 16y ago
It seems to have some PL heavyweights working on it: Philip Wadler (Haskell, Java Generics), Shriram Krishnamurthi (Schemer, author of Programming Languages Application and Interpretation).
57.
by kanak 16y ago
I agree fully. The only thing this is doing is ensuring that the data cannot be seen by someone in transit; as long as you're not using your own key, anyone dropbox still has access to your data. I remember this issue being raised earlier,
58.
by kanak 16y ago
The best problems, in my experience (as an interviewee), are ones that are based on your own experience. e.g. "Last week I was trying to do ___ because ___. How would you have done it" It's important to realize that the candidate has had mu
59.
by kanak 16y ago
> In which cases is such an "upgrade" slowdown acceptable to the customer? In exactly those cases where the customer cares more about the added benefits (e.g. security, maybe more features) than speed. For example, I use firefox even th
60.
by kanak 16y ago
Better name: Tips for Beginners to Git

More ›