HNHacker News
TopNewBestAskShowJobs

primodemus

1,476 karma · joined December 26, 2009

submissionscomments
primodemus··on Murray Gell-Mann Has Died
NYT obituary: https://www.nytimes.com/2019/05/24/obituaries/murray-gell-ma...
primodemus··on Launch HN: Fintual Inc. (YC S18) – Automated Wealth Manager for Latin America
For non chileans, in the 'preguntas frecuentes' page, could you use CLP$ to distinguish it clearly from US$?
primodemus··on Why Did a Billionaire Give $75M to a Philosophy Department?
Philosopher Michael Huemer considers this one of the most wasteful charitable donations: http://econlog.econlib.org/archives/2018/01/huemer_on_ultra....
primodemus··on What Is a Computational Essay?
you are correct: http://ipython.readthedocs.io/en/stable/about/history.html
primodemus··on Tulips, Myths, and Cryptocurrencies
https://venturebeat.com/2017/01/07/blockchain-could-complete...
primodemus··on Mathematics for Computer Science [pdf]
Buy older or used my friend:

http://marginalrevolution.com/marginalrevolution/2004/09/the...

http://marginalrevolution.com/marginalrevolution/2004/12/the...

https://www.amazon.com/gp/offer-listing/0534359450/ref=dp_ol...

primodemus··on To Live Your Best Life, Do Mathematics
Francis is a great lecturer: https://www.youtube.com/watch?v=sqEyWLGvvdw&list=PL04BA7A9EB...
primodemus··on Basic Category Theory
Mathematical Physics by Robert Geroch was recommended on the haskell subreddit a while ago: https://www.amazon.com/Mathematical-Physics-Chicago-Lectures...
primodemus··on Coq 8.6 is out
Nice book that uses Coq: https://www.cis.upenn.edu/~bcpierce/sf/current/index.html
primodemus··on W. Brian Arthur popularized an economic theory that changed Silicon Valley
link to the article mentioned: https://hbr.org/1996/07/increasing-returns-and-the-new-world...
primodemus··on Liquid Haskell: Haskell as a Theorem Prover [pdf]
Talk by Niki Vazou, the author of the dissertation: https://www.youtube.com/watch?v=LEsEME7JwEE
primodemus··on YC’s Summer Reading
Link to Blindsight: http://www.rifters.com/real/Blindsight.htm
primodemus··on Urbit Is Building a 'Virtual Galaxy' for Bitcoin Nodes
http://axisofeval.blogspot.com/2015/07/what-i-learned-about-...
primodemus··on Michael Herr, 1940–2016
Michael Herr on Kubrick: http://www.vanityfair.com/hollywood/2010/04/kubrick-199908
primodemus··on How to assign partial credit on an exam of true-false questions?
Nitpick: His name is Terence not Terrance.
primodemus··on Dalai Lama says there are 'too many refugees in Europe'
http://www.gallup.com/poll/124028/700-million-worldwide-desi...

http://openborders.info/polling-data-on-migration/

primodemus··on Classism in America
Relevant: http://slatestarcodex.com/2016/01/30/staying-classy/
primodemus··on XKeyscore: NSA program collects 'nearly everything a user does on the internet'
https://en.wikipedia.org/wiki/Rubber-hose_cryptanalysis
primodemus··on Confirmed: The NSA is Spying on Millions of Americans
"The Hellman guy, of course, had been explaining public key crypto-systems that heavily embarrassed the NSA and, really, essentially put it out of business for its stated mission, is smiling. As I recall, he had blond hair long, nearly to his waist. "

The Hellman guy was probably Whitfield Diffie. http://en.wikipedia.org/wiki/Whitfield_Diffie

primodemus··on Jokes That Every Mathematician Finds Absolutely Hilarious
a comathematician is a device for turning cotheorems into ffee.

Source: http://mathoverflow.net/questions/1083/do-good-math-jokes-ex...

primodemus··on John C. Reynolds, Eminent Programming Language Researcher, has Died
a few small anecdotes about him: http://semantic-domain.blogspot.fr/2013/04/john-c-reynolds-j...
primodemus··on Felix Baumgartner: The best photos and videos from the edge of space
"The chute deploying? Not so much! (If you're ever planning this do not wear jeans)." Why not?
primodemus··on Ask PG: If Viaweb hadn't worked out, what would you have likely done next?
Why would have been difficult to convince Robert to try again?
primodemus··on Fasting & Programming
Could you detail your diet and exercise routine? I'm new to intermittent fasting and could use a little bit of advise.
primodemus··on What are the most intellectually stimulating websites you know of?
Both are full of interesting ideas:

http://lesswrong.com/

http://www.overcomingbias.com/

primodemus··on A Functional Programming Influence Graph
Mathematica influencing Clojure really surprised me. Any references?
primodemus··on Why Object-Oriented Languages Need Tail Calls
mirror of the post by Guy Steele: http://www.eighty-twenty.org/index.cgi/tech/oo-tail-calls-20...
primodemus··on Why Object-Oriented Languages Need Tail Calls
Relevant LtU thread: http://lambda-the-ultimate.org/node/3702
primodemus··on Alpha Geek
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
primodemus··on Higher-Dimensional Type Theory
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
Page 1 of 3Next →