mrkgnao

35 ms·

301.
by mrkgnao 10y ago
I know. The "I guess" was because I hadn't actually counted the lines to see if there were more comments.
302.
by mrkgnao 10y ago
Preface: I'm Indian, and I genuinely want ISRO to be the space agency: if not today, then certainly in fifty years. > Trust me, every 'poor country' must have good science projects going. If not space projects, then at
303.
by mrkgnao 10y ago
You do realise I'm Indian too? And that my point was that a lack of young people in the space agency , of all things, is a very bad thing? ISRO is doing good work, yes, and undercutting the ESA/NASA on price, but they're no
304.
by mrkgnao 10y ago
asciiquarium and pipes, too.
305.
by mrkgnao 10y ago
They'd certainly be served better with fewer (at least not ~90%) old "management"-looking people on their webcasts, which could've looked like they were made in the last five years (and less misleading people with talk o
306.
by mrkgnao 10y ago
https://github.com/jameysharp/corrode/blob/master/src/Langua... Corrode is absolutely incredible. This file is literate Haskell, which means there's more documentation than code (I guess), and
307.
by mrkgnao 10y ago
Delicatessen is also plural in German if you use it to mean "delicacy", instead of an adjective ("chai tea"-style).
308.
by mrkgnao 10y ago
They're still better than the x = x + (y+=(++x)) things I've encountered in school assignments. I've always wondered why knowledge of what ought to be akin to undefined behavior is a good thing, excepting "idioms" l
309.
by mrkgnao 10y ago
lazy val x = { println("computing x") 3 } unsafePerformIO, unsafePerformIO everywhere...
310.
by mrkgnao 10y ago
Is the Idris book on your list?
311.
by mrkgnao 10y ago
https://arxiv.org/list/math.CT/recent
312.
by mrkgnao 10y ago
The most honest answer you're going to get is the one you already suspect you will: get a lawyer, and don't underestimate how easy it is for $EVIL_CORP to bury most people or orgs with legal costs alone however unjustifiable (or n
313.
Freeman Dyson on “birds” and “frogs”(math.columbia.edu)
1 points by mrkgnao 10y ago|0 comments
314.
by mrkgnao 10y ago
It might be interesting to see what mathematicians-in-the-wild think about higher category theory, which is viewed in a somewhat similar way by people who don't work in certain fields.[0] http://mathoverflow.net/quest
315.
by mrkgnao 10y ago
"I'll write under a pseudonym and you'll see what I can do to him!" I mean, the Federalist Papers "fifty-one!" sequence would probably have made a better refernce, but they're not too explicit about the ps
316.
by mrkgnao 10y ago
Previous discussion: https://news.ycombinator.com/item?id=13446478 https://news.ycombinator.com/item?id=13440651
317.
by mrkgnao 10y ago
Is it the hackerly affinity for Zen Buddhism (e.g. koans, among other similar things), perhaps? Or Steve Jobs' fascination with it, or the countercultural openness to "exotic"/Eastern spirituality that many of the people
318.
by mrkgnao 10y ago
School has forced me to take a break (thankfully coming to an end now) from learning math for the past few months, so throwing walls of text at the gracious HN crowd simultaneously makes for good practice and expository-itch-scratching. Y
319.
by mrkgnao 10y ago
Apologies. I was remembering more than I was thinking: you are right in that the relation doesn't hold at the level of elements [0]. The correct statement is (2) = (1+i)^2 where (2) and (1+i) represent the ideals generated by 2
320.
by mrkgnao 10y ago
Wouldn't the function sort of "eat itself" if it grew too fast? I can't make this precise, but if it grew fast enough, then most numbers would have many factors accounted for among the smaller numbers already (in a sort
321.
by mrkgnao 10y ago
The concept of factorization, properly defined, usually excludes "units", that is, numbers with an inverse. So 1 is a unit, since we can solve 1x = 1 by letting x = 1. -1 is a unit too, since (-1)x = 1 is also solvable. F
322.
by mrkgnao 10y ago
I wrote this a while back. You might find it of some use. https://news.ycombinator.com/item?id=13907573
323.
by mrkgnao 10y ago
I remember seeing an Edwin Brady talk (it featured a now-possibly-famous Brexit joke) in which the compiler almost inferred ... I think it was either zip or a fold.
324.
by mrkgnao 10y ago
Yes, it does.
325.
by mrkgnao 10y ago
> webcomics https://www.reddit.com/r/KenM/
326.
by mrkgnao 10y ago
Might have been an early mobile phone camera.
327.
by mrkgnao 10y ago
He's definitely matured a ton as a speaker. I mean, he isn't smooooth now, but there are far fewer pauses, to the point where it's just another striking feature about him instead of making his words hard to follow. Also, th
328.
by mrkgnao 10y ago
As is, on the other end of the spectrum, "lithobraking" :)
329.
by mrkgnao 10y ago
> "Exhalation" is my favourite Ted Chiang story. I haven't audibly exhaled (I am honestly not trying to pun here) at a story this way in quite a while. Thank you.
330.
by mrkgnao 10y ago
> In “Understand,” he pointed out, the protagonist learns to reprogram his own mind. He knits together the vocabularies of science and art, memory and prediction, literature and math, physics and emotion. “He’s searching for the perfect

More ›