theoh

50 ms·

451.
by theoh 8y ago
You can't generalise about books. Old textbooks at a low academic level, or especially old guides to computer software, don't have a lot of intellectual value. Of course we don't want to completely lose the knowledge of what
452.
by theoh 8y ago
Here's one modern example: https://pagethink.com/v/project-detail/Wiss-Janney-Elstner-A... It really means massiveness and stability, in order to have an acceptable margin of safety. One aspect of the theory
453.
by theoh 8y ago
"Primitive" structures and other structures engineered to avoid tension in the concrete. Concrete doesn't have zero tensile strength. Apparently it's a few MPa, so a fifth or a tenth of the compressive strength. http:&#
454.
by theoh 8y ago
Why are you sure that at some point in the future, we will live in homes with AI-generated floorplans? It's a bit like saying that poetry will mostly be written by computers at some point in the future, or humans will mostly have sex w
455.
by theoh 8y ago
You have to build formwork to construct with in-situ concrete, so there's still carpentry (or equivalent) involved. It's a good point that existing architectural concrete 3d printing creates "mass concrete" not reinforce
456.
by theoh 8y ago
Yes, monads don't imply strictness. The idea of using a data dependency to force a certain order of evaluation predates monads and it predates laziness. So it is implemented accordingly, and any hoops that need to be jumped through in
457.
by theoh 8y ago
To discuss this properly, you need to consider the evaluation strategy, which is part of the semantics of the language. Strict, lazy, call-by-need: things do get evaluated in a prescribed order, and sequencing using monads (predictably) inv
458.
by theoh 8y ago
Reading this: https://wiki.haskell.org/IO_inside did not make me come to that conclusion. The IO monad is noncommutative, and thus controls sequencing of operations, because of data dependencies, more or less hidden. A &quo
459.
by theoh 8y ago
"... in one respect"
460.
by theoh 8y ago
If it's Marx's thought that's being referred to as "popular culture", that's a pretty inaccurate characterisation. It's bona fide political philosophy and/or political economy. Even a soft, humanities
461.
by theoh 8y ago
Induction hobs also have the similar property that only the pan is heated. If it is removed, the surface cools down even though the power is still on.
462.
by theoh 8y ago
If you look at what happened here, I posted a very short comment asserting that honesty/"truth to materials" was a long-standing architectural value. Somebody followed up, attempting to refute every sentence in my comment. I
463.
by theoh 8y ago
I'm sincere, if that's what you are asking. I have a postgrad in architectural history and theory, spent 5 years in architecture school, so I guess the answer to your question is probably "yes". The idea that functional
464.
by theoh 8y ago
> > The way architects think, it's considered more convincing to use materials honestly than to dress them up or conceal them > That's not the way that architects think, it's a common current design fashion (and what
465.
by theoh 8y ago
The way architects think, it's considered more convincing to use materials honestly than to dress them up or conceal them. So painting or otherwise decorating acoustic tiles is not an attractive option. The exposed ductwork thing is ab
466.
by theoh 8y ago
The comment I was replying to made a clear distinction between acoustic and aesthetic aspects. Music is aesthetic sound, so you have a point, but most architects consider acoustics as something functional like temperature or ventilation. It
467.
by theoh 8y ago
Meeting aesthetic criteria may be non-negotiable, particularly in a hospitality context. So it is probably on top of those that acoustics needs to be addressed. Acoustic ceiling tile is pretty horrible from an interior design perspective...
468.
by theoh 8y ago
Actually, though, the voice was a standard, default part of the DECTalk system, called "Perfect Paul". There were a few other options. https://m.youtube.com/watch?v=8pewe2gPDk4 In general, there's no security
469.
by theoh 8y ago
This is a teaching problem, because (like most things that are taught) there's no way for most students to verify it. People who seek out areas of ambiguity or contested models in later life, after formal or professional education: goo
470.
by theoh 8y ago
You might be referring to the dark current, which is the noise floor for any signal coming out of the CCD. There doesn't need to be an activation threshold of a particular number of photons (maybe there is, though?) for the dark curre
471.
by theoh 8y ago
If you compare "getting into Linux" with "getting into Adobe CS" then I think the cost does have an effect. For example I'm interested in digging into the functionality offered by both, but I've never felt that
472.
by theoh 8y ago
Even to think that it's a matter of a shopping list of elements is reductive. Architecture is holistic. While it's obviously great to be made aware of and be able to analyse various standard components and their relationships, com
473.
by theoh 8y ago
You're right that this is about judgements of value. But part of the problem is that architecture can't be reduced to bite-sized principles and quick-reference rules of thumb. Architecture is so much more complex and nuanced than
474.
by theoh 8y ago
The other thing that contains non-associative elements is logic. Due to the Curry-Howard correspondence, that means functional programming too. So this quote about mathematicians seems a bit off. Baez is talking about mathematical physicist
475.
by theoh 8y ago
They no longer even own the LA Times, so hopefully it will change.
476.
by theoh 8y ago
Irish in Ireland is adminstratively mandated, but as a language it is on life support. There's a particularly pernicious habit here (Ireland) of bleating about the requirement for bilingual versions (Irish always first) of official tex
477.
by theoh 8y ago
Somebody mentioned "failure of full abstraction" on HN a few months ago (actually they said something a bit different), which I tracked down to a late 90s paper by Martin Abadi. It refers to a situation where the object code is ex
478.
by theoh 8y ago
I was talking about someone programming in the very simple language (e.g. Simplicity, as discussed in the LtU conversation) in which the jets do exist. I guess for you that would be a compiler implementor. Edit: NB I'm drawing on this
479.
by theoh 8y ago
Take microcode: one human-visible instruction gets implemented by many microcoded instructions. With jets, a string of many very simple human-visible instructions gets translated to just a few actual machine instructions. So it's the o
480.
by theoh 8y ago
It's the opposite.

More ›