3,969 karma · joined July 15, 2011
currently working on a web app to help junior high school students with math: http://magako.com
I am based in Barcelona, feel free to ping me if you want to meet there.
hnchat:c4KDf32Y296EUsCP5Dcw
Apart from that, the article makes me curious about the state of automated mathematical proof. I remember having read an article posted here about a mathematician (I think he was a Field medalist) who was claiming that automated proof were the future of mathematics as they would enable mathematicians to collaborate much more easily, removing problems of trust in others' proof.
I hope that is true, but I have my doubts. Google must have given some thoughts to that issue and decided to switch their targeting to the "who" for a reason, if the previous model was more profitable they simply would have stuck with it I suppose.
That's really interesting, can you provide more details about it? I'm really curious how a kid could make money from coding in the early 90's.
This was largely discussed on HN: https://hn.algolia.com/?query=homejoy&sort=byPopularity&pref...
VLC was first released in 2001, as per Wikipedia: https://en.wikipedia.org/wiki/VLC_media_player
You mean c-x c-[fs], right? I'm by no mean an emacs expert although I've been using it for 6 years now, and when I read your comment I thought "Wow, c-x c-a is a functionality? How comes I have never used that?", so I tried that in emacs but it's not mapped to anything.
Apart from that, I fully agree with your comment.
By the way, my wife is also Japanese... it's possible that our wives know each other :)