ehudla

33 ms·

301.
Thomas C. Schelling, Master Theorist of Nuclear Strategy, Dies at 95(nytimes.com)
1 points by ehudla 10y ago|0 comments
302.
by ehudla 10y ago
For Cyc, see here: https://news.ycombinator.com/item?id=11300567
303.
by ehudla 10y ago
Interesting how what "common sense" is evolved since the days of symbolic AI (cf. Cyc). The history presented begins rather late; show some love to the founders of the field...
304.
Heilmeier Questions (Critical Questions for Research Proposals)(design.caltech.edu)
3 points by ehudla 10y ago|1 comments
305.
New Breakthrough Prize in Life Sciences Is Misguided – GrrlScientist – Medium(medium.com)
1 points by ehudla 10y ago|0 comments
306.
Breakthrough Prize hands out $25M for “Oscars” of science(newscientist.com)
2 points by ehudla 10y ago|0 comments
307.
Salon des Refusés – Dialectics for new computer science(lambda-the-ultimate.org)
2 points by ehudla 10y ago|0 comments
308.
Why does the universe exist?(aps.org)
2 points by ehudla 10y ago|0 comments
309.
by ehudla 10y ago
Two nice resources, though not recreational in the way I had in mind, are The Number Race and The Number Catcher. http://thenumberrace.com/nr/home.php http://www.thenumbercatcher.com/nc/home.php
310.
by ehudla 10y ago
Beyond the skills I had in mind, but this is a cool idea - wish I had this when I was first learning about these functions.
311.
Ask HN: Sources for recreational math for kids?
10 points by ehudla 10y ago|5 comments
312.
by ehudla 10y ago
Worth noting that even of stories such as these (new media, tech heavy) coverage by traditional media end up on the home page of HN. Beyond this observation, it seems that this election cycle brought home the importance of journalism for ma
313.
Am I just a brain?(the-tls.co.uk)
1 points by ehudla 10y ago|0 comments
314.
The Weak Evidence Behind Brain-Training Games(theatlantic.com)
2 points by ehudla 10y ago|0 comments
315.
Generation Adderall(nytimes.com)
3 points by ehudla 10y ago|0 comments
316.
by ehudla 10y ago
Two famous laureates are Sartre and Bertrand Russell. Both wrote more in more conventional genres for the prize, but most think the prize was awarded not simply for the literary quality of their work. Another thread connecting their awards
317.
Leonard Cohen Makes It Darker(newyorker.com)
193 points by ehudla 10y ago|54 comments
318.
WIRED Explores Frontiers with Guest Editor President Barack Obama(wired.com)
1 points by ehudla 10y ago|1 comments
319.
Ask HN: What's your favorite *non* tech talk?
2 points by ehudla 10y ago|1 comments
320.
Juno Takes on Uber(newyorker.com)
26 points by ehudla 10y ago|6 comments
321.
Can retrocausality solve the puzzle of action-at-a-distance? – Aeon Essays(aeon.co)
1 points by ehudla 10y ago|0 comments
322.
xsv: A fast CSV toolkit written in Rust(github.com)
37 points by ehudla 10y ago|2 comments
323.
Reservoir sampling(en.wikipedia.org)
1 points by ehudla 10y ago|0 comments
324.
Israeli Ministers demand Facebook remove inflammatory words (Ynet/Translated)(translate.google.com)
1 points by ehudla 10y ago|0 comments
325.
by ehudla 10y ago
Technical question: does anyone know if FB can easily answer why X was recommended to Y? That is, do they have to manually check or can they query this easily and get the precise answer why a recommendation was presented(for example: the re
326.
by ehudla 10y ago
So I took a look, and I must say that these options are disappointing. The first isn't really about grammar checking at all. LanguageTool seems to have many rules, but browsing them they still seem to be fairly superficial (though I m
327.
by ehudla 10y ago
Thanks for the links! I just meant tools that work on plain text, outside the Office ecosystem. If anyone has experience with the quality of the tools out there, I'd love to hear it, since grammar checkers are notorious for not being v
328.
Ask HN: Grammar checking Markdown
3 points by ehudla 10y ago|3 comments
329.
Favorite seven equations(twitter.com)
1 points by ehudla 10y ago|0 comments
330.
by ehudla 10y ago
A nice book to pair with GEB is /From Frege to Godel: A Source Book in Mathematical Logic/. Certainly also better for someone who might find GEB a bit too idiosyncratic. And, of course, if you want to simply read the proof, there&

More ›