primodemus

22 ms·

181.
Some Mathematical Gifts(rjlipton.wordpress.com)
40 points by primodemus 16y ago|0 comments
182.
Sketches of topology -- visualizations of low dimensional topology(sketchesoftopology.wordpress.com)
1 points by primodemus 16y ago|0 comments
183.
Making A Heuristic Into A Theorem(rjlipton.wordpress.com)
6 points by primodemus 16y ago|0 comments
184.
by primodemus 16y ago
Minimal FORTH compiler and tutorial : http://www.annexia.org/forth Lambda the Ultimate thread: http://lambda-the-ultimate.org/node/2452
185.
The Car Crash Theorem and why theorems are important(rjlipton.wordpress.com)
24 points by primodemus 16y ago|0 comments
186.
by primodemus 16y ago
Bottom is the type without values, a function with return type bottom is a function that not returns. Haskell has the term undefined, wich causes the program to abort when you try to evaluate it.
187.
How To Stop Wikileaks?(rjlipton.wordpress.com)
1 points by primodemus 16y ago|0 comments
188.
by primodemus 16y ago
"Code is more like poetry: change this line, and now the next line doesn’t rhyme, or you’ve broken the rhythm, or you’ve put angry words into a happy poem, that sort of trouble. Which is one reason to like code ownership." Amazing.
189.
by primodemus 17y ago
"Cheating skills seem to have an adaptive value in our society. The fact is: psychopaths often end up on the top of the heap, John Forbes Nash, for example." John Nash is schizophrenic, not psycopath.
190.
A Computer Scientist's View of Life, the Universe, and Everything (idsia.ch)
1 points by primodemus 17y ago|0 comments
191.
by primodemus 17y ago
1 - At school i tried to write a symbolic differentiation/integration program in C. I failed miserably. A year later chapter 2 of SICP blown my head to a thousand pieces... Nowadays I program in F#, Haskell and C# (mostly C#) for a living,
192.
by primodemus 17y ago
I wasn't aware that clojure had support for pre and post-conditions. Is it a new addition to the language?
193.
by primodemus 17y ago
Instantes If I were able to live my life anew, In the next I would try to commit more errors. I would not try to be so perfect, I would relax more. I would be more foolish than I've been, In fact, I would take few things seriously. I would