stralep

8 ms·

31.
by stralep 15y ago
If ordering is made by color&design, matching drops to O(n log(n)). Again, with ordering, searching drops to O(log n)
32.
The Disadvantages of an Elite Education(theamericanscholar.org)
7 points by stralep 15y ago|0 comments
33.
by stralep 15y ago
I've read Solaris few years ago, and Ender's Game few months ago. I like both books and I do not see a reason for bashing EG. Could you elaborate?
34.
by stralep 15y ago
Maybe this could be interesting to you. It was done by Peter Van Roy, of Concepts, Techniques, and Models of Computer Programming fame. http://www.info.ucl.ac.be/~pvr/paradigms.html
35.
by stralep 15y ago
OK... It's fixed now
36.
by stralep 15y ago
The Amazon KINDEL Cloud Reader is live...
37.
by stralep 15y ago
I have a folder on my USB flash with folder for bunch of papers I'm going to read. I'm also writing in my cell phone references for later searches and reads.
38.
by stralep 15y ago
But it should be optional for users to show or not to show their comments. Or you could make scraper for saved stories, and ask few people you are interested in to scrap their stories.
39.
The Vim/Cscope tutorial(cscope.sourceforge.net)
1 points by stralep 15y ago|0 comments
40.
Using Spaced Repetition Software to Master Vim(alfmikula.blogspot.com)
2 points by stralep 15y ago|0 comments
41.
Uniqueness type(en.wikipedia.org)
2 points by stralep 15y ago|0 comments
42.
by stralep 15y ago
I am/was quite a fan of SETL, so I'm going to keep an eye on this language... But why are relational types limited only to be composed of primitive types?
43.
by stralep 15y ago
If you look at graph, both future and past male sea monkeys were disastrous to female's health.
44.
Kindle typography(dirigibleflightcraft.com)
2 points by stralep 15y ago|1 comments
45.
by stralep 15y ago
I do not see a single reason why strongly typed language compiler couldn't have unsafe flag, to compile with undefined symbols, and to make your program fail/rise error/perform some other action when such symbols are evaluated or called. An
46.
Should I write commit messages - first?(letac.tumblr.com)
10 points by stralep 15y ago|1 comments
47.
by stralep 15y ago
Actually, you need just Z ring enriched (if this is right word) with sqrt(5). So instead of one float, you use pair of integers of arbitrary precision. So (a,b)+(c,d) = (a+c,b+d) (a,b)/sqrt(5) = (b,a/5) (a,b) (c,d) = (a c+5 b d,a d+b
48.
by stralep 15y ago
Winston speculated that the magic ingredient that makes humans unique is our ability to create and understand stories using the faculties that support language: "Once you have stories, you have the kind of creativity that makes the species
49.
by stralep 15y ago
Pie charts are mostly useless... I really don't see any reason for their usage here, except of their resemblance to the shape of the sun (and analog clock).
50.
Guide to Commutative Diagram Packages --- J.S. Milne (LaTeX)(jmilne.org)
1 points by stralep 15y ago|0 comments
51.
by stralep 16y ago
Completely agree, but I believe that change can come only by example. Majority of people plays safe. There is nothing wrong in that. If someone can show them better choice, not by talking, but by creating better private school for underpriv
52.
by stralep 16y ago
Do we want languages where a PhD is required to understand the library documentation? two PhDs for Haskell This presentation is so lighthearted... I realy like it.
53.
by stralep 16y ago
I mean, you may think it's a long way down the road to the chemist's, but that's just peanuts to space.
54.
by stralep 16y ago
But isn't the definition of global at #1 a local thread closure captured variable? I don't see why this is global...
55.
by stralep 16y ago
Worth reading just for this paragraph: I began having difficulty finding people to discuss ideas and thoughts with. When I did find someone who I could brainstorm and bounce ideas off of it was a very surreal feeling. I loved every minute
56.
by stralep 16y ago
Is there a way for dowloading videos from this site?
57.
by stralep 16y ago
If anyone has this, please contact me.
58.
Best of Vim Tips(rayninfo.co.uk)
8 points by stralep 16y ago|0 comments
59.
by stralep 16y ago
I'm also currently interested in this area, and I would recommend Interactive Theorem Proving and Program Development. At the same time, it is practical and theoretical. http://www.labri.fr/perso/casteran/CoqArt/index.html
60.
by stralep 16y ago
But 1. point, in this post, IMHO, is not completely resolved. http://news.ycombinator.com/item?id=100699

More ›