How does being classical help with automation? I'm more familiar with ACL2, which seems to gain a lot more on the automation front from being first-order than from anything else (though it has sort of a weird take on the excluded middle).
1,587 karma · joined December 1, 2009
Reachable at jrslepak@gmail.com
That's demand.
low NIH funding for Alzheimer’s from the 1980s through the 2000s is to blame for alternative ideas languishing
This seems like a hollow excuse. AFAIK, NIH doesn't have a mandate to put a certain amount of funding towards one line of inquiry before funding another.
Some of the ones that are right eventually get funding, as long as their proponents stick around long enough and produce enough results to convince someone to fund them. On the time scale this article talks about, I'd expect a quite a few people who had ideas worth looking into gave up and went off to do something else instead.
I'm not too familiar with representation theory. Do you know where I could find a worked example of constructing, say, a representation of (F_p)^m on R^n? (for prime p and m>1)
This definition makes me worry that the book is going to operate entirely in R^n. Is there anything here about substantively different vector spaces?
You'd have to adjust your food production strategy to fit your climate. In a cold climate, you'd have a short growing season and need to set up cool storage/pickling barrels in order to survive the winter. In a very warm climate, you might not be able to get anything to keep very long, but you'd be able to grow crops year-round.
How long has it been since these communities actually did that? Small towns can't really support the diversity of industry it takes to buy more local goods than shipped-in goods in a modern-day lifestyle.
I strongly doubt that support for complex and unique workflows is why Blackboard is so bad at entirely conventional workflows.
In that scenario, braking hard enough to engage ABS at all is the failure. It is not a failure on ABS's part unless you consider all ABS faulty. Some loss of yaw control is inevitable whenever ABS is engaged. ABS only gives better yaw control than completely locking the wheels.
When the money's tight, being short on space doesn't necessarily keep you from doing it anyway. Hot desking at WeWork would cost more than half my rent.
That doesn't sound any more unhygienic than pattern matching.