kkylin

37 ms·

391.
by kkylin 8y ago
Last time this showed up: https://news.ycombinator.com/item?id=12830206 And for anyone else using Emacs on a Mac: 1. I use the plain vanilla GNU Emacs from here: https://emacsformacosx.com/ . It does flicke
392.
by kkylin 8y ago
Perhaps also of interest is Scott Aaronson's take on the Incompleteness Theorem: https://www.scottaaronson.com/blog/?p=710
393.
by kkylin 8y ago
Anyone interested in this article may also be interested in this discussion from a while back: https://news.ycombinator.com/item?id=18115696 Also of interest is Godel's AMS Gibbs Lecture, which unfortunately I have not
394.
by kkylin 8y ago
I'm an academic, actually an applied mathematician. I agree with much of your sentiment -- it is absolutely a privilege, to the extent of being self-indulgent, to be able to spend time thinking about the things I want to. It is in so
395.
by kkylin 8y ago
If you enjoy this, take a look at http://ctpweb.lns.mit.edu/physics_today/phystoday/Ether.pdf .
396.
by kkylin 8y ago
Not a R6RS fan myself, so no definitive answer. But AFAIK Chez (now open source as someone else posted) is R6RS-compliant and one of the fastest implementations. Also, R7RS-small is final I think. Not sure about R7RS-large. Here's
397.
by kkylin 8y ago
I had the fortune of watching the landing broadcast live (from JPL, that is, not from Mars of course) at NASA Ames. That was really exciting, to see something like this with other people who cared just as much.
398.
by kkylin 8y ago
More on the Hopf fibration: https://en.wikipedia.org/wiki/Hopf_fibration Note this is due to Heinz Hopf, different from Eberhard (known for the Hopf bifurcation).
399.
by kkylin 8y ago
Prescriptions #3 are nice in spirit, but there are practical constraints to consider. For one thing, in addition to geographical boundaries, congressional districts also need to conform to existing administrative boundaries like county lin
400.
by kkylin 8y ago
The choice now seems to be weight XOR battery life XOR performance, whereas one used to be able to get 2 out of 3 IMO.
401.
by kkylin 8y ago
Did anyone see if they said whether these machines are user-upgradable? I have two late-2012 models that I've been very happpy with (one at home, one at work). Compared to the 2014 "update" the best part is being able to pu
402.
by kkylin 8y ago
In a language with higher-order procedures like Lisp or Julia, you can write code that actually returns the derivative as a function, as opposed to differentiate at a given point. This is harder to do (gracefully, anyway) in e.g. C. The b
403.
by kkylin 8y ago
I suppose this kind of discovery science would be considered "preliminary results," meaning funding agencies like to see it done but won't fund it? Sigh.
404.
by kkylin 8y ago
Not disagreeing with your sentiment, but not all academia is like this. The comment applies very specifically to NIH & the life sciences (which admittedly is a really big chunk of science, both by dollar amounts and labor force).
405.
by kkylin 8y ago
Yup, I see where you're coming from. I've actually gotten used to mu4e's queuing behavior, and just leave it on all the time. For one thing, I like having a chance to edit/delete mail after hitting send (sort of like g
406.
by kkylin 8y ago
I've been using mu4e for a while, and despite some rough edges (e.g., I have the same dissatisfaction with timers and xapian lock that others have), I've been pretty happy with the set-up. I did find that for working with gmail,
407.
by kkylin 8y ago
You can configure mu4e to queue mail to send later: https://www.djcbsoftware.nl/code/mu/mu4e/Queuing-mail.html
408.
by kkylin 8y ago
All this is true. Similar issues arise in MIT Scheme as well. This can be partially alleviated by having specialized versions of VECTOR-SET! etc that avoid boxing floats. Presumably there are compiler optimizations focused on faster nume
409.
by kkylin 8y ago
Scmutils enables both symbolic and numerical computation, though as I recall much of the symbolic stuff (e.g., automatic differentiation) is done via generic functions rather than manipulating symbolic expressions.
410.
by kkylin 8y ago
Thanks for the pointer to Feferman's (very interesting) article. As for Godel, my university's library turns out to have a set of the Collected Works. So, I'll just check that out. Thanks!
411.
by kkylin 8y ago
Has anyone tried to find a transcript of the Gibbs Lecture? Any luck? It apparently appears in Vol III of Godel's Collected Works, and nowhere else I can see. Thanks!
412.
by kkylin 8y ago
In case anyone else was similarly curious, here's a link to his first paper: https://link.springer.com/article/10.1007/s10569-012-9461-8
413.
by kkylin 8y ago
What's especially interesting about octopus is that while they do communicate with each other, they aren't social in the way we are AFAIK. And, as discussed in the article, relatively short timespans ( https://en.wikipe
414.
by kkylin 8y ago
Relation to Voronoi is discussed in the original paper: http://www.pnas.org/content/early/2018/09/11/1721248115
415.
by kkylin 8y ago
I agree with all that, though I also want to add that the converse is not true -- clear thinking is not, by itself, enough for clear exposition. The latter requires investing additional effort, which many people are unwilling or unable to
416.
by kkylin 8y ago
He is also incredibly clear -- I've had the chance to hear a couple of his (technical) talks. He does not oversimplify, but has a way to explaining the heart of the issue in non-technical terms so one could follow without being an exp
417.
by kkylin 8y ago
What happened here seems to bear some similarity with Evans Hall (home to Math, Stats, & Econ, among other units) at UC Berkeley: https://en.wikipedia.org/wiki/Evans_Hall_(UC_Berkeley)#cite_...
418.
by kkylin 8y ago
Off-topic, but for anyone who didn't know, Bardeen really was one of the great theoretical physicists of the 20th century: https://en.wikipedia.org/wiki/John_Bardeen . Which makes this all the more remarkable: h
419.
by kkylin 8y ago
In addition to all the other reasons given (large constant, etc.), these faster algorithms are also often less stable numerically, as another poster alluded to above. See, e.g., https://en.wikipedia.org/wiki/Strassen_a
420.
by kkylin 8y ago
Many happy memories of my SE/30 running System 6... (System 7 started to feel a little slow on it.)

More ›