kd0amg

13 ms·

91.
by kd0amg 7y ago
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 middl
92.
by kd0amg 7y ago
Full-year sabbatical is the norm, but the home institution does not necessarily offer salary for that full year, so it's up to the professor to find funding for the rest of it from the host or some grant. According to their web site[1]
93.
by kd0amg 7y ago
how much tenants can be bled for before they give up and leave That's demand.
94.
by kd0amg 7y ago
if alternative ideas received little funding support, it was because NIH’s Alzheimer’s budget was woefully insufficient ($425 million in 2012, $2.4 billion in 2019) low NIH funding for Alzheimer’s from the 1980s through the 2000s is to b
95.
by kd0amg 7y ago
The few that turn out to be right get funding and recognition, exactly as many of the researchers mentioned in this article are getting now. Some of the ones that are right eventually get funding, as long as their proponents stick aroun
96.
by kd0amg 7y ago
Even there, if your goal is to learn to write in that currently preferred style, your odds are much better if you have someone who can point out when you deviate from it.
97.
by kd0amg 7y ago
You don't know what all those library calls do behind the scenes either.
98.
by kd0amg 7y ago
I think you could do some interesting stuff with error-correcting codes or polynomial spaces (or more generally function spaces). I'm not too familiar with representation theory. Do you know where I could find a worked example of const
99.
by kd0amg 7y ago
Linear: having to do with lines, planes, etc. 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?
100.
by kd0amg 7y ago
It takes a fair amount of work on top of "set theory and traditional mathematics" if you want to actually state a semantics for APL.
101.
by kd0amg 7y ago
Spoilage would happen even in storage, but the rate was temperature-dependent so you could make it last longer by keeping it somewhere colder. I remember there being some work on preserving food indefinitely by storing it in a barrel of vin
102.
by kd0amg 7y ago
communities that formerly bought locally produced goods 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
103.
by kd0amg 7y ago
Hanlon's Rogaine?
104.
by kd0amg 7y ago
What do administrators use Blackboard for, and is it actually very good at that?
105.
by kd0amg 7y ago
The real reason enterprise software sucks is that enterprises have complex and unique workflows I strongly doubt that support for complex and unique workflows is why Blackboard is so bad at entirely conventional workflows.
106.
by kd0amg 7y ago
I don't think I have ever seen any vehicle whose ABS wasn't essentially rapid cadence braking, and in bad road conditions, the car will turn a bit during the intervals while the wheels are locked (so I generally found threshold br
107.
by kd0amg 7y ago
That's pretty normal behavior, in my experience.
108.
by kd0amg 7y ago
You’re describing and absolute failure of the ABS system. 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 in
109.
by kd0amg 7y ago
Might still be useful if you're placing enough nails in the right arrangement, sort of like railroad track laying machines.
110.
by kd0amg 7y ago
Hiring and compensation decisions have enough of a principal-agent problem that value to the business doesn't even set a firm ceiling.
111.
by kd0amg 7y ago
I wonder that about pretty much any case of embezzlement these days. With conventional larceny, a thief can appear clean after fencing the stolen goods, but moving money around other than as cash leaves a paper trail indefinitely. There&#x2
112.
by kd0amg 7y ago
If you live in a downtown area, you likely don't have the space for a proper setup. 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
113.
by kd0amg 7y ago
Specifically, it's an attempt to hedge against the possibility of the market rate increasing by more than 7% in a year.
114.
by kd0amg 7y ago
The table of contents is surprisingly thorough in covering this topic.
115.
by kd0amg 7y ago
The grain can influence flavor a lot, but that's more from how the grain was processed than where it was grown. I don't think I could tell American 2-row pale malt from British 2-row pale malt or Belgian pilsner malt, but they&#x2
116.
by kd0amg 7y ago
There's generally more to a spirit than water and ethanol.
117.
by kd0amg 7y ago
Even if they did, there's often a substantial cost difference between delivering an order form and delivering the goods being ordered. I'm not sure I've ever ordered something as small and light as a letter.
118.
by kd0amg 7y ago
They generally didn't just decide to become wealthy. They got lucky about price movement.
119.
by kd0amg 7y ago
The claim was that being the owner of high-priced land is easy, not that becoming the owner of high-priced land is easy. Your question is essentially asking why people don't decide to just time the market successfully or inherit valuab
120.
by kd0amg 7y ago
The first argument seems to be a normal Lisp expression, with no special syntax, and the second argument has the solution variable and all the variables mentioned in the expression bound to (the solution object, the values of the variables

More ›