Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
kkylin
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
11 ms
·
121.
▲
by
kkylin
3y ago
I teach math at a university. A couple years ago I had two blind students in my section of first-year calculus, and I really struggled with the tooling. Using latexml, I could produce documents that one of the students could use with a sc
122.
▲
by
kkylin
3y ago
A well known example (mentioned in the article) is the Continuum Hypothesis (CH; https://en.wikipedia.org/wiki/Continuum_hypothesis ). Godel proved CH is consistent with Zermelo-Fraenkel (ZF) set theory; Paul Cohen pro
123.
▲
by
kkylin
3y ago
I thought this writeup was quite good. Anyway, anyone interested in this is also likely interested in Rosser's theorem: https://scottaaronson.blog/?p=710
124.
▲
by
kkylin
3y ago
"Weiner" should be Wiener? https://en.wikipedia.org/wiki/Norbert_Wiener
125.
▲
by
kkylin
3y ago
Actual paper: https://www.science.org/doi/10.1126/science.adh5206
126.
▲
by
kkylin
3y ago
It's been a long time since I went through SICP, so someone with more recent knowledge should correct me. But I think you can get through most (almost all?) of SICP with what's in the Scheme standard, which is a pretty small subs
127.
▲
by
kkylin
3y ago
There are nuances here the article misses. For one thing, pay disparity between specialties is huge -- compare a radiologist to a pediatrician, for example. In part this is because we have an insurance system that rewards (monetarily) peo
128.
▲
by
kkylin
3y ago
Doesn't it also infect pets, e.g., dogs? Anyway, something we're always mindful of here in the southwest US.
129.
▲
by
kkylin
3y ago
Eratosthenes was (IMO) pretty amazing in the range of interests and accomplishments: https://en.wikipedia.org/wiki/Eratosthenes His name came up recently on another post on a very different topic: https://ne
130.
▲
by
kkylin
3y ago
Isn't Julia's parser still in Scheme?
131.
▲
by
kkylin
3y ago
Exactly. R7RS-small was meant to be a minimal core language, in the spirit of RnRS for n <= 5, whereas R7RS-large was meant to be a fairly complete set of standard libraries.
132.
▲
by
kkylin
3y ago
The title is not terribly informative, but the result sounds fairly interesting (and the article is open access): "Maximum mutational robustness in genotype–phenotype maps follows a self-similar blancmange-like curve" https:/
133.
▲
by
kkylin
3y ago
Related to this, anyone know if Zoom has a separate offering for education (universities, schools, etc)? I teach at a university, and not only do we use Zoom for lectures etc, but also for office hours, meetings, etc, where potentially sen
134.
▲
by
kkylin
3y ago
Highly dependent on journal / field. In mine (mathematics) most associate editors work for free, same as reviwers. The reviewer do all the things you say, and in addition try to ensure readability & novelty. Most journals do hav
135.
▲
by
kkylin
3y ago
Second this! Moreover, most muesum memberships pays for itself after a couple visits. We just took the family to NYC and went to the AMNH twice, and a membership was worthwhile.
136.
▲
by
kkylin
3y ago
I guess this is one more data point: I read the story first, too, and liked it better than the film. The story ended with a certain ambiguity (in my mind, at any rate) that I took some time to think about, and which I enjoyed. The movie w
137.
▲
by
kkylin
3y ago
I clicked on it thinking it was about this: https://en.wikipedia.org/wiki/Gelfand%E2%80%93Naimark%E2%80%... Oh well, still interesting.
138.
▲
by
kkylin
3y ago
I feel the same way. Somewhat disappointed to find it is actually 3.3 lbs: https://www.apple.com/macbook-air-13-and-15-m2/specs/
139.
▲
by
kkylin
3y ago
Not disagreeing with your larger point, but a nitpick: at these levels (postdocs, research scientists) the relevant university positions will be funded by grants, in fact largely from the NIH. University budgeting doesn't have all th
140.
▲
by
kkylin
3y ago
By all accounts it's very hard for grad students and postdocs at LANL (much less locals) to find affordable short-term housing near LANL due to (1) the very small amount of housing available and (2) enough people leaving the lab but co
141.
▲
by
kkylin
3y ago
> Mathematics truly seems to be the field with the highest integrity. Mathematician here. I'd like to think we have high (not sure about highest) integrity. But I should also point out that the custom in the field is to list autho
142.
▲
by
kkylin
3y ago
For the space / aviation nerds on the list, I think the Pima Air & Space Museum is also worth a stop, as is the Mirror Lab tour on the University of Arizona campus. (Alas, Davis-Monthan AFB no longer offers the Boneyard Tour.)
143.
▲
by
kkylin
3y ago
Interesting topic, terrible (IMO) title.
144.
▲
by
kkylin
3y ago
What I very vaguely remember, from an airshow at Edwards AFB commeorating the 50th anniversary of Chuck Yeager's 1947 flight in the X-1, is that it is clearly audible, but not so window-shakingly loud as when an F-16 went supersonic be
145.
▲
by
kkylin
3y ago
As a student, I think I only saw this a few times. Maybe at the end of 6.001 with Abelson & Sussman? As a professor, no, I've never gotten any kind of applause, though some polite "thank you" is no uncommon (and very mu
146.
▲
by
kkylin
3y ago
Take a picture and move to a blackboard inside.
147.
▲
by
kkylin
3y ago
Not what the article is talking about, but for kids of a certain age, Harry Potter might have something to do with it.
148.
▲
by
kkylin
3y ago
I personally prefer reading PDF on an iPad so I can mark it up.
149.
▲
by
kkylin
3y ago
When I worked in the AI Lab as an undergrad, it was clear even to the advocates of GOFAI that the systems were brittle and only worked in special cases. Nevertheless the work went on, in part because we always learned something about what
150.
▲
by
kkylin
4y ago
For fields like mathematics (my field), where grants can be gotten but aren't that big, and people value time more than money, most of us would forgo the summer salary if we didn't have a grant. It's useful to have the extra
More ›