HNHacker News
TopNewBestAskShowJobs

DonbunEf7

584 karma · joined April 26, 2017

submissionscomments
DonbunEf7··on Near-miss math provides exact representations of almost-right answers
Since nobody's spelled it out directly: Let an approximant be a rational number p/q which is near the desired irrational x. Then, let p/q be a best approximant iff no other rational with denominator smaller than q is closer to x.

It's a delightfully beautiful result that the best approximants for x are given by x's continued fraction: https://en.wikipedia.org/wiki/Continued_fraction#Best_ration...

DonbunEf7··on The Case for Learned Index Structures
And they will be forced to learn, the hard way, that this is a bad way to approach algorithms design. The same argument applies to quicksort, and we know how that turned out: http://www.cs.dartmouth.edu/~doug/mdmspe.pdf
DonbunEf7··on Project Euler
The best tool for solving these problems is a whiteboard; writing code should be seen as a last resort, and brute-force solutions should be shunned, as they provide no insight.
DonbunEf7··on Alaskan North Slope climate change just outran one of our tools to measure it
They're gnomes. Tell them the truth: they'll be helping to care for the planet. Throw in some vacation and pay and they'll love it.
DonbunEf7··on The fifth hyperfactorial: 5⁵ × 4⁴ × 3³ × 2² × 1¹ milliseconds is exactly 1 day
Ramanujan may have been aware of 1728 == 12² because of 12's recurrence within number theory. (Well, really, 24's recurrence. [1]) He wrote down several equations [2] which feature 12 and 24, and given the time in which he lived, he may have been acquainted with the work of Felix Klein and others [3] as well.

The other sum is 1000 + 729, much easier for a decimal-preferring mentat like Ramanujan to pull from thin air.

[1] http://math.ucr.edu/home/baez/numbers/

[2] https://en.wikipedia.org/wiki/Mock_modular_form

[3] https://en.wikipedia.org/wiki/J-invariant

DonbunEf7··on Larry Ellison allegedly tried to have a professor fired for benchmarking Oracle
"Oregon Ripped-off, America's Cup, Larry Ellison."
DonbunEf7··on What's worked in Computer Science (2015)
Hi, here are some modern resources.

First, what's the problem? http://www.cap-lore.com/CapTheory/ConfusedDeputy.html

What are capabilities? http://habitatchronicles.com/2017/05/what-are-capabilities/

Is there someplace with a massive pile of links? https://github.com/dckc/awesome-ocap

Yes, capabilities are abstract and simple. Don't worry if you don't get it at first.

DonbunEf7··on How Stylo Brought Rust and Servo to Firefox
"So it’s pretty clear by now that “don’t make mistakes” is not a viable strategy."

This is more generally known as Constant Flawless Vigilance: https://capability.party/memes/2017/09/11/constant-flawless-...

DonbunEf7··on The world's most toxic value system (2001)
Are there any countries with slavery which are outperforming similarly-situated countries without slavery? AFAIK slavery is only useful in Civilization 4 (whip it! whip it good!) and IRL it is no substitute for citizenship.
DonbunEf7··on First Support for a Physics Theory of Life
Not if it's in the Hadean Eon; we have serious difficulty finding well-preserved direct evidence from that time. It could be that we settled on DNA and cells before the geologic record was capable of faithfully preserving evidence of either.
DonbunEf7··on Patients with Access to Legal Medical Cannabis Are More Likely to Quit Opioids
Nobody? http://www.oregonvoices.org/
DonbunEf7··on All About Erasure Codes (2004) [pdf]
How do the schemes laid out here compare with zfec (https://github.com/tahoe-lafs/zfec)?
DonbunEf7··on Surviving a Tyrant at Work
This site's JS made me very sad.

A lot of points in this post are about appeasing toxic behavior and working with difficult bosses. Why? Appeasing toxicity only increases toxicity.

DonbunEf7··on Modeling Science as a Directed Graph
Reminds me of ologs: https://arxiv.org/abs/1102.1889v2

The category on top of a given graph just adds path equivalences. While that might not seem like a big addition, it's crucial for restricting the structure's internal state.

DonbunEf7··on The art and science of being charismatic
Talks about Hillary Clinton being "cold" and promotes Amy Cuddy's "power pose" pseudoscience. I find this to be an interesting, disappointing worldview.
DonbunEf7··on Chuck Moore, Extreme Programmer
He designed CPUs from scratch using a bare-bones minimal Forth (ColorForth) as his preferred way of writing code. The resulting chipset is utterly fascinating: http://www.greenarraychips.com/
DonbunEf7··on How natural is numeracy?
Núñez is not a mathematician and claims an anti-Platonic view of maths which is totally inconsistent with the reality of practicing mathematicians over the past century. In particular, I doubt that they grok the extent to which maths and physics have collaborated, and all of the predictions in particle colliders which started out as quirks of equations on blackboards.
DonbunEf7··on Quality != Quality
I have a book that is along these same lines, and it says, "Quality is what you like." Quality is between an observer and an object.
DonbunEf7··on Under a fermium sky
I was tempted to explain, in excruciating detail, exactly what will happen if thermonuclear weaponry is used on North Korea. But you were glib, so I'll be glib too: Many North Koreans, South Koreans, Japanese, Russians, and Chinese will all die. Some will die instantly, some will die over the next 15min, some will die over the next week, and some will die over the next 20yrs. We will poison the Pacific. China and Russia may respond, and if so, it will not be a gentle response.

If you think that nukes are "good news" then you probably do not understand what "good" is.

DonbunEf7··on To Settle Infinity Question, a New Law of Mathematics (2013)
Quantum mechanics has several facets which correspond to path integrals, infinite-dimensional operators, and infinite series, sums, and products.
DonbunEf7··on To Settle Infinity Question, a New Law of Mathematics (2013)
Here's Woodin talking about his work in this area on a more technical level: https://www.youtube.com/watch?v=nVF4N1Ix5WI
DonbunEf7··on A README maturity model
These levels are known to SREs as Initial, Repeatable, Defined, Managed, and Optimizing: https://en.wikipedia.org/wiki/Capability_Maturity_Model#Leve...

These levels are known to Discordians as Chaos, Discord, Confusion, Bureaucracy, and The Aftermath: https://en.wikipedia.org/wiki/Principia_Discordia

DonbunEf7··on The Upspin manifesto: On the ownership and sharing of data (2014)
Sounds like Named Data Networking, which cannot come soon enough. Is anybody doing commercial NDN yet?
DonbunEf7··on Chaos in Catalonia as Separatist Leader Runs into a Dead End
To clarify, for those wondering, the separatist leader Puigdemont has not (yet?) been assassinated.
DonbunEf7··on Ill-Advised C++ Rant, Part 2 (2016)
Languages where switch-statements or switch-expressions don't fallthrough by default include Ada, C#, E, Go, Monte, Perl, Swift, and I think basically every flavor of Pascal.

"Pretty much every language," right? C++ is right in there with C, JavaScript, and PHP.

DonbunEf7··on The Unfortunate Fallout of Campus Postmodernism
I'm ashamed to be a postmodernist because of these assholes.

Postmodernists supposedly say "there is no truth." But that sounds an awful lot like a truth! Anybody who thinks only Sith deal in absolutes is going to have a bad time.

Postmodernism still works once logic and critical thought are applied, but it stops being an excuse for bullshit.

DonbunEf7··on Why Python is Slow: Looking Under the Hood (2014)
Maths is zero-based. I'm not sure why you think that numbers start with one; every formulation of the integers in modern maths starts with zero.
DonbunEf7··on Is it illegal to own a rabbit in Queensland unless you're a magician?
Rabbits suck. I'm trying to find a good source, but it's well-known to outdoorsmen that a diet of rabbit alone is not sufficiently nutritious to sustain humans when compared to other meats.

Also, it's Australia. Rabbits got out of control because people had this hubris about managing them; they won't permit that mistake again.

DonbunEf7··on My night at the museum
Indeed, I learned in school that it was short for "cat URL", since it functions like the standard `cat` command but takes a URL instead of a file or pipe.

Just goes to show that we are very good at coming up with incorrect justifications for things.

DonbunEf7··on Arkansas City Sends Amazon a Dear John Letter Instead of a Pitch
Imagine that; cities don't want to end up like Seattle, with entire neighborhoods of Amazonians.
← PreviousPage 2 of 8Next →