primodemus

13 ms·

91.
Daphne Koller: What we're learning from online education(ted.com)
4 points by primodemus 14y ago|0 comments
92.
by primodemus 14y ago
Could you detail your diet and exercise routine? I'm new to intermittent fasting and could use a little bit of advise.
93.
Overloading Python list comprehension(blog.sigfpe.com)
1 points by primodemus 14y ago|0 comments
94.
Don Knuth: The electronic coach(youtube.com)
1 points by primodemus 14y ago|0 comments
95.
by primodemus 14y ago
Both are full of interesting ideas: http://lesswrong.com/ http://www.overcomingbias.com/
96.
Massive online education: Daphne Koller at TEDGlobal 2012(blog.ted.com)
1 points by primodemus 14y ago|0 comments
97.
The Power of Reinforcement(lesswrong.com)
2 points by primodemus 14y ago|0 comments
98.
Why programming isn’t for everyone(yosefk.com)
1 points by primodemus 14y ago|0 comments
99.
Is popular music becoming sadder?(marginalrevolution.com)
11 points by primodemus 14y ago|4 comments
100.
by primodemus 14y ago
Mathematica influencing Clojure really surprised me. Any references?
101.
Testing the delivery limits of the US Postal Service (2000)(improbable.com)
2 points by primodemus 15y ago|0 comments
102.
Infer.NET Fun: An F# Library for Probabilistic Programming(channel9.msdn.com)
1 points by primodemus 15y ago|0 comments
103.
Why are software development task estimations regularly off by a factor of 2-3?(quora.com)
3 points by primodemus 15y ago|1 comments
104.
Claude Shannon and juggling(marginalrevolution.com)
2 points by primodemus 15y ago|0 comments
105.
How to avoid dying in a car crash(lesswrong.com)
3 points by primodemus 15y ago|0 comments
106.
How Many C Programs Are There?(blog.regehr.org)
34 points by primodemus 15y ago|17 comments
107.
Are Firms Like Trees?(overcomingbias.com)
1 points by primodemus 15y ago|0 comments
108.
by primodemus 15y ago
mirror of the post by Guy Steele: http://www.eighty-twenty.org/index.cgi/tech/oo-tail-calls-20...
109.
by primodemus 15y ago
Relevant LtU thread: http://lambda-the-ultimate.org/node/3702
110.
The new Reflections on Trusting Trust(blog.ezyang.com)
2 points by primodemus 15y ago|0 comments
111.
Daniel Kahneman: The Marvels and the Flaws of Intuitive Thinking(edge.org)
1 points by primodemus 15y ago|0 comments
112.
C++0x lambdas: simple object orientation a la SICP(music.mcgill.ca)
3 points by primodemus 15y ago|0 comments
113.
F*: A Verifying ML Compiler for Distributed Programming(research.microsoft.com)
45 points by primodemus 15y ago|9 comments
114.
by primodemus 15y ago
Turing proved the existence of non-computable reals, so the two are not the same. Also Chaitin's constant is a non-computable real number with a precise mathematical definition. See: http://en.wikipedia.org/wiki/Chaitins_constant
115.
Transformations as strict groupoids(existentialtype.wordpress.com)
2 points by primodemus 15y ago|0 comments
116.
by primodemus 15y ago
For the interested, Steve Awodey has an introductory article, with pointers to the relevant literature: http://www.andrew.cmu.edu/user/awodey/preprints/TTH.pdf
117.
John Baez interviews Eliezer Yudkowsky(johncarlosbaez.wordpress.com)
2 points by primodemus 15y ago|0 comments
118.
My Favorite Liar (2008)(overcomingbias.com)
1 points by primodemus 15y ago|0 comments
119.
A lesson in basic genetics for dog-owners(scienceblogs.com)
1 points by primodemus 15y ago|0 comments
120.
by primodemus 15y ago
"Wadler created ML to help automate proofs". Minor nitpick: actually, ML was designed by Robin Milner: http://en.wikipedia.org/wiki/ML_(programming_language)

More ›