theoh

97 ms·

871.
by theoh 10y ago
Someday the equivalence between the notations will make it possible to (gasp) automagically translate between the two. If we're still typing programs.
872.
by theoh 10y ago
These are the days! "Chinese Restaurant is not the only game on display in the “game emporium” explored by Pikul and Geller in eXistenZ. Other titles include Hit by a Car and Viral Ecstasy."
873.
by theoh 10y ago
There's a lot of truth to that, except for what you said about "mediocre looking" which suggests that maybe you've missed something. Not all contemporary art is trying to be "retinal" (Marcel Duchamp's wor
874.
by theoh 10y ago
"Chicken Anatomy Browser" sounds like a really dull pedagogical tool, maybe a 90s CDROM...
875.
by theoh 10y ago
A single dysfunctional manager can do the trick, also -- or a bad personality interaction with a manager.
876.
by theoh 10y ago
As someone who has quoted it on HN recently, I don't think that misattributing it is going to get anyone into trouble. What's going to get them into trouble is not having any life experience that validates the sentiment.
877.
by theoh 10y ago
I don't know about "seemingly boring", that's a pretty famous building in Shinjuku. http://www.hiddenarchitecture.net/2015/05/new-sky-building-3... It's in the post-war Metabolist style. I
878.
by theoh 10y ago
Consider non-drug-related psychosis. It happens to people (young people) all the time, and they're in exactly the position you refer to: no way to describe it or to perform reality tests.
879.
by theoh 10y ago
State of the art?
880.
by theoh 10y ago
No, I disagree. I think he's doing it because he is building on Miyazaki's work (he refers to it multiple times). What's sad about this work is that Kitchin isn't really interested in having a technical discussion. Githu
881.
by theoh 10y ago
The Book of Proof is freely available online: http://www.people.vcu.edu/~rhammack/BookOfProof/
882.
by theoh 10y ago
I remember this when it first came out. The sequencing combinators are a bit like Occam's SEQ and PAR, though with the difference that just one of their arguments will succeed. A couple of years later I worked at a startup with a DSL w
883.
by theoh 10y ago
I'm not suggesting that those are criteria, just possible contributing factors. (And I'm not trying to exonerate the suppliers. We'll see what the final report says.) If the source is some kind of DEM (digital elevation model
884.
by theoh 10y ago
To be clear, the deficiency was in a warning system database of 3D elevation geometry (the EGPWS) not a "mapping system". Something that is geographically notable but quite small, vertical and isolated (like Rockall) may very well
885.
by theoh 10y ago
In the case of an artist, I'm sure you'd consider their life experience and artistic production to be deeply inter-related. It's the same with philosophy and literature. Only mathematical logic and similar formal philosophy i
886.
by theoh 10y ago
Key quotes from Eliot himself in the article: "I maintain even that the criticism employed by a trained and skilled writer on his own work is the most vital, the highest kind of criticism; and . . . that some creative writers are super
887.
by theoh 10y ago
I'm not a music theory guy, but Dmitri Tymoczko's work comes to mind here. That uses moebius bands rather than torii: https://www.simonsfoundation.org/multimedia/mathematical-imp...
888.
by theoh 10y ago
I'm not sure what Graham meant by "justification", if indeed that's the word he used. That would be a "why" not a "how". Of course you need an attack to solve a problem. Just formulating the problem d
889.
by theoh 10y ago
The best way to look at it is a corrective to the harmful pathologization of unusual mental states by psychiatry. Yes, the new-agey claims are not really plausible. But mental illness is less prevalent in traditional societies where it is u
890.
by theoh 10y ago
Maybe someone who knows more about structures can comment, but I guess the big issue is how rigid the joints are. A triangulated structure is good because the joints don't need to be fixed--they can be hinged pin-joints and the frame i
891.
by theoh 10y ago
Belief is mentioned later in the article, clarifying the meaning. But be assured: knowledge is only ever a form of belief. The laws of physics could change tomorrow (this is not precluded by any provable rule of existence). Really everythin
892.
by theoh 10y ago
Fingerprints are "something you have", but for multi-factor authentication you might also want to rely on "something you know". This news just indicates a problem of entering "something you know" into a device:
893.
by theoh 10y ago
There's a five-minute video specifically about the chemistry of that rocket here: https://www.youtube.com/watch?v=JLCrZGgKD-k
894.
by theoh 10y ago
See https://en.wikipedia.org/wiki/Goodhart%27s_law
895.
by theoh 10y ago
There's a discussion to be had about the correlation between a preoccupation with interacting with the world through computing and "attachment styles" that are not considered to be healthy. (avoidant etc.) Witch-hunts are a d
896.
by theoh 10y ago
That, and Nagel's book on the proof, have been recommended on HN before (very recently!). And Rebecca Goldstein's book has been dismissed as too hand-wavy. For important, wiki-friendly topics like this one, HN is frustratingly not
897.
by theoh 10y ago
Fuzzy logic is good for fuzzy things. Dealing with nature, in the widest sense of the term. Category theory is good for making extremely watertight conceptual arguments for discrete properties being preserved under transformations: it'
898.
by theoh 10y ago
Lived experience is all any of us has got, in terms of experimental data. If someone thinks they are having a bad time, it's difficult and dangerous to discount that: right now there is no way to assess the validity of someone else&#x2
899.
by theoh 10y ago
It's not "just" anything. It implies that the communication in question doesn't appear to be taking account of context or audience, as if it was a song sung by someone who was literally tone-deaf and didn't realise
900.
by theoh 10y ago
Surely (multidimensional) analysis is the term used in mathematics for a more rigorous investigation of the basis of calculus. In physics, vector calculus is taught as a tool and the course is called vector calculus (or maybe multivariable

More ›