stralep

14 ms·

1. 91.▲
   by stralep 16y ago

   I agree... But it is not my web site :) For example, the set-valued expression {1..n} is the set of integers 1 through n, and {p in {2..n} | forall i in {2..p-1} | p mod i /= 0} is the set of primes through n. (The first
2. 92.▲
   by stralep 16y ago

   Does anyone work on GNU SETL? Does anyone here have source of GNU SETL? I find it really interesting and useful, and for ages there has been no source available or news...
3. 93.▲
   On the world's most wonderful programming language - SETL(setl.org)

   7 points by stralep 16y ago|10 comments
4. 94.▲
   by stralep 16y ago

   I like 'bashing' IE like the next guy, but IMHO time scales of Far Past/Past/Present/... tags are different per browser...
5. 95.▲
   by stralep 16y ago

   To me, nethack was useful for hjkl...
6. 96.▲
   by stralep 17y ago

   While I was learning Linux, I partly used this book. Some of issues have been solved, some will never be, but for me it was important to know the other side of the medal. I still use linux. (I know that Linux is not, or it was not last time
7. 97.▲
   by stralep 17y ago

   For me it is Master of Magic... So old... And it still rocks :)
8. 98.▲
   by stralep 17y ago

   "Don't get impatient, you cannot solve problems by coding, you can only solve them by thinking" I love this :)
9. 99.▲
   by stralep 17y ago

   Partly off topic: Is it normal that I have only two real fears, Mosquitos and Floating Point Arithmetic? (And I know most of FPA stuff and few most useful numerically stable algorithms) BONUS POINTS: Which part of question is off-topic? :)
10. 100.▲
    by stralep 17y ago

    Would it be profitable to have advertising in open-source program? Of course, there would be checkbox to turn them off (or whatever). No recompilation needed.
11. 101.▲
    by stralep 17y ago

    shutdown -h 100000 And it goes immediately... Not good :)
12. 102.▲
    by stralep 17y ago

    Programming in Martin-Löf's Type Theory http://www.cs.chalmers.se/Cs/Research/Logic/book/ I'm reading it from time to time. Useful for me.
13. 103.▲
    by stralep 17y ago

    > [1] Please note that I haven't tried Haskell, Erlang, OCaml and some other formidible languages yet. Am I'm totally missing out? It really depends on what were your prior languages. I was C/Pascal/C++/Assembly type of programmer, and
14. 104.▲
    by stralep 17y ago

    I'm still in college, and I won't have kids for some time, but I am terrified by current state of education, especially elementary, in my country (Serbia). Could you tell me how you have made your kids socially adapted, because that is the
15. 105.▲
    Yiying Lu(yiyinglu.com)

    1 points by stralep 17y ago|0 comments
16. 106.▲
    by stralep 17y ago

    Why not allow third parties to perform playing <video> tag?
17. 107.▲
    by stralep 17y ago

    Nice article, but Haskell type system is not a logical limit. I would say that Coq's type system (or some other Martin Lof type system) would be a logical limit. (is there IO Monad in Coq?) Again, nice article.
18. 108.▲
    by stralep 17y ago

    Thanks. It is interesting that for proofs without words, comments are needed :)
19. 109.▲
    by stralep 17y ago

    I like advice about remembering names.
20. 110.▲
    by stralep 17y ago

    Welcome to Rome...
21. 111.▲
    by stralep 17y ago

    In first year of college I had math classes, and use of scratch paper was forbidden. (and solving system of 4-5 linear equations on 4cm by 4cm part of paper is really interesting resource problem :) I guess math teachers hate reading their
22. 112.▲
    by stralep 17y ago

    Expansion in my head: The Functional Programming Guide to Climate Skeptics :)
23. 113.▲
    by stralep 17y ago

    Why we don't have file system for X windows? Everything is a process or a file, and most "new" ideas, for which is needed a lot of work (or afternoon for some kid), could be implemented on top of equality of this concepts. It might be impos
24. 114.▲
    by stralep 17y ago

    http://xkcd.com/150/
25. 115.▲
    by stralep 17y ago

    Funny thing! When I clicked again just now, I was able to download this paper... I still don't understand what has changed. Thank you for your time. EDIT: And thanks to cpach!
26. 116.▲
    by stralep 17y ago

    Thanks!
27. 117.▲
    by stralep 17y ago

    I do not have access to acm papers from my current location and I will be here for a few days.
28. 118.▲
    by stralep 17y ago

    Will there be a tail recursion on jvm?
29. 119.▲
    by stralep 17y ago

    Would it be a problem to send me these papers? My email is on profile. edit: I probably have access from academic network, but I am at home for a few days...
30. 120.▲
    by stralep 17y ago

    Why current browsers are not using this, or some improved version of this algorithm?