theoh

79 ms·

721.
by theoh 9y ago
I find the idea that "the map is not the territory" useful in considering delusional beliefs. It keeps belief and reality separate, where "belief" could include things you know to be hallucinations etc (though I've
722.
by theoh 9y ago
Reminds me of this, by the author Steve Aylett: "I certainly don’t think in words. I’m not sure that anyone does. Does anyone really think in sentences, like in films when you see someone thinking and you hear a voice-over? I don’t any
723.
by theoh 9y ago
https://yosemite.epa.gov/r9/sfund/r9sfdocw.nsf/ViewByEPAID/c...
724.
by theoh 9y ago
Yes, and it's not to be confused with a recent (2009) widely reported crash of this type of aircraft in South Africa: http://aviation-safety.net/wikibase/wiki.php?id=70066
725.
by theoh 9y ago
Frank Blokland is working in this direction. I don't think every aspect of typography is amenable to being reduced to a mathematical model, but some things are. http://www.lettermodel.org
726.
by theoh 9y ago
Credit for color science goes to the scientists, credit for artistic effects using color goes to the artists. There's plenty to go around. Jan Koenderink's book on color measurement looks good.
727.
by theoh 9y ago
It's hard to believe that you really think that the two dichotomous possibilities are a) the bottom line is absolutely the most important thing or b) the motivation is charity, to hell with quality or creating a nice, personally expres
728.
by theoh 9y ago
That's a good idea. On the topic of place value, I've been wondering whether either of these concepts is suitable for entertaining youngish minds: https://en.wikipedia.org/wiki/Zeckendorf%27s_theorem (leads t
729.
by theoh 9y ago
The act of verification (of suspected fraud) is not costless to the various parties involved. So say I keep getting inconvenienced by this verification because of my behaviour ("was it really you who made this request?") then some
730.
by theoh 9y ago
Previously aware of Rama through a show in Dublin. While it's anathema to the art world to make moral judgements, Rama is problematic. "Yet Rama, whose mother was committed to a psychiatric clinic when the artist was a child, saw
731.
by theoh 9y ago
If you use an opaque machine learning technique to detect fraud, for the purposes of probity some kind of "parallel construction" could be employed to give a public exlanation; it's surely important to explain and justify to
732.
by theoh 9y ago
Not free, but related + possibly complementary: https://news.ycombinator.com/item?id=11745486
733.
by theoh 9y ago
Agreed, though exposing/using a bare TCP socket comes with security responsibilities that you are forced to address -- it's good to devolve those.
734.
by theoh 9y ago
In the old days it was convenient to be able to run a SunOS binary on a remote server and display on a Linux machine -- but this can't be as common today. The way X clients can be forwarded over SSH implies that network transparency do
735.
by theoh 9y ago
IMO, for everybody apart from a few graphic designers, it's not drawing skill that limits accuracy of the Starbucks logo: it's that we never registered its exact geometry in the first place. The ideas of Gestalt perception are fre
736.
by theoh 9y ago
As far as that Twitter comment goes: I've always found Bray to be a bit too pleased with himself and not as clever as he would like to think he is. In that context, it's not a humorous bit of side eye but a tedious manifestation o
737.
by theoh 9y ago
There was a device called an electric wheel, a few years ago, which did the continuously variable thing using a planetary gear (the sun and ring were driven by separate motors, and drive was taken from the planet carrier.) http:/&#x2F
738.
by theoh 9y ago
Specifically this brewery, I'm guessing: http://www.sab.co.za/the-sab-story/the-story-of-newlands-bre... http://www.702.co.za/articles/250909/sab-urges-members-of-th...
739.
by theoh 9y ago
Hmmm: actually cloth simulation is constrained relative to hair simulation. (It's an orderly grid -- a Chebyshev net? -- rather than spaghetti) With a simple Verlet integrator you can animate a "fishing net" of points with no
740.
by theoh 9y ago
The word is "metacircular". It's easy in some languages, difficult in others. I never learned Tcl properly but found the rules for quoting and evaluation of program strings to be a confusing aspect. That was 20 years ago, and
741.
by theoh 9y ago
Here's a reference I just found without any effort, from an occurrence of the above quote in Freeman Dyson's Origins of Life. GP comment does not deserve to be downvoted: a solid searchable reference was provided. https:/&#x
742.
by theoh 9y ago
Maybe you would agree with the statement "reality is broken"? I certainly don't think it's meaningful. The unfortunate associations of wanting society to "execute better" (i.e. the merger of industry and the st
743.
Definitions of “publishing” in various languages
1 points by theoh 9y ago|0 comments
744.
by theoh 9y ago
Actually, I was trying to get at the fact that disciplines do operate like conversations: you can make an unsolicited contribution from outside to a philosophical discussion, but it's unlikely to be well received. The HN crowd probably
745.
by theoh 9y ago
When you say society always executes poorly, what alternative social reality are you comparing it with?
746.
by theoh 9y ago
Deutsch is a physicist. Unless you can provide evidence of prominent philosophers applauding his contribution, it seems a bit glib to say he solved the problem posed by Goodman. It's their conversation, they get to decide what's a
747.
by theoh 9y ago
OK, so those techniques would work equally well on arbitrarily complicated and intractable code examples -- which is useful in practice but not in the spirit of a formal determination of equality. From the perspective of an Agda-phobe: The
748.
by theoh 9y ago
Does that work for X being the real numbers?
749.
by theoh 9y ago
See https://en.wikipedia.org/wiki/Top_type
750.
by theoh 9y ago
Even Haskell doesn't have a way to declare a value precisely of type Bottom. As far as the connection with monoids goes, Bottom is a subtype of all types in the same way that the empty element of a monoid is a "zero" of the e

More ›