kd0amg

49 ms·

481.
by kd0amg 13y ago
It says "96% understand politics, vs 60% of non-homeschoolers". What would be the corresponding quotas for evolution theory? Further down, the text version says, "Consider politics and government too complicated to understa
482.
by kd0amg 13y ago
The scale difference is the difference between trivial and serious. Cosmic rays aren't nearly as much a hazard of day-to-day programming as other cars are of day-to-day driving.
483.
by kd0amg 13y ago
Why would that be obvious? A straight up "no collisions" theorem would require proving limits on the behavior of other objects in and around the road and also that certain mechanical components never fail.
484.
by kd0amg 13y ago
Exactly what sense of "correct" are we assuming has been proven? The correctness is obviously not that the car cannot be involved in a collision.
485.
by kd0amg 13y ago
no NULL checks, no out of bounds checks I would expect formal verification to make many instances of these superfluous. If this code genuinely needs to have these added, that sounds like a flaw in their verification system.
486.
by kd0amg 13y ago
like the wifi market? 47 CFR 15 (and other countries' equivalents) probably counts as regulations.
487.
by kd0amg 13y ago
I don't really know what has changed in Rust over time (though a fair amount has changed in Redex (and some in Racket) since this was written, particularly an improved way to write a type checker). Skimming over the current version of
488.
by kd0amg 13y ago
Cambridgeshire? In that case, we're changing it from "Illinois" to "Cook County, IL"!
489.
by kd0amg 13y ago
proper 'if' What (if anything) does MUMPS proper have for 'if'?
490.
by kd0amg 13y ago
I was under the impression that the "privilege" in a border crossing was entering the destination country (and thus to be granted or not according to the destination country's will) rather than leaving the source country. Thi
491.
by kd0amg 13y ago
I remember trying that when I was in middle school and discovering that the local library did not exactly have a great selection, and I didn't know anyone who could recommend good resources. Searching the web kept bringing up the same
492.
by kd0amg 13y ago
Unfortunately, J's grammar isn't the cleanest. It uses juxtaposition to mean about a dozen different things depending on whether the tokens are data, first-order functions, or second-order functions and how many are juxtaposed. A
493.
by kd0amg 13y ago
I took that to mean the testimony was from people who had studied at the university, not the university itself.
494.
by kd0amg 13y ago
What subset of the federal government is considered the sovereign entity here?
495.
by kd0amg 13y ago
A PhD does not take at least 5 years, I did mine in just under 3 and am now 2 years in to a startup I founded which will take at least 5 years. I think the post is meant to be about an American PhD program, not a European one. 3-year PhDs
496.
by kd0amg 13y ago
But now we can't marvel at how short it is.
497.
by kd0amg 13y ago
Or use something like NoScript
498.
by kd0amg 13y ago
I would not expect so. Mechanized proof systems tend to require a lot more detail than one would put into a proof meant for humans to read. There's been a lot of work in automating part of the generation of a proof, but that still requires
499.
by kd0amg 13y ago
I had thought you had asked about the difference between seeing whether a problem was just some odd, isolated thing and informing the people running a system that you were having a problem. If that's not it, I'm unclear as to what you were
500.
by kd0amg 13y ago
For example, checking downforeveryoneorjustme.com or asking if a co-worker can reach a web site is different from contacting the site's operators to tell them about the trouble you're having.
501.
by kd0amg 14y ago
I do it in handwriting to make them easier to distinguish from 1 and 2, though in typed text, they tend to look different enough for me.
502.
by kd0amg 14y ago
Contrast with the CPU simulator SimpleScalar, whose source code is freely available to academic users. Google Scholar lists hundreds of citations for the original tech report (you wouldn't do work based on someone else's simulation code wit
503.
by kd0amg 14y ago
The carjacking victim reported that they'd been driving around for about half an hour before he escaped at a gas station. Time's arrow beats proximity.
504.
by kd0amg 14y ago
I heard the carjacking reported on scanner while the MIT standoff was still going on, and there was a pretty short time between police at the MIT incident switching channels and some frantic-sounding talk from police following up on LoJack'
505.
by kd0amg 14y ago
actually in both settings you have an example of shared values being affronted. Strictly speaking, yes, but certain values are much more likely to lead to mutiny if disrespected. I'd like to think most managers would get deposed/abandoned
506.
by kd0amg 14y ago
The Y combinator is a way to express recursion in lambda calculus. Tail call optimization (turning certain function calls into GOTOs) is the traditional way to keep from overflowing the control stack in languages based on lambda calculus.
507.
by kd0amg 14y ago
Plain old price discrimination? I wouldn't expect SRI to try to get a Yahoo-sized license fee out of some tiny startup.
508.
by kd0amg 14y ago
Some of the "experimental features of static type systems" like dependent types are really powerful; you can make some strong proofs about the logic of your program. Yes, it is nice to be able to write proofs and have them checked mechani
509.
by kd0amg 14y ago
So, he does know some, but chooses to ignore them because why exactly? My initial guess as to why was that a lot of type systems research seems to be more focused on systems that are only really accessible to other researchers (i.e. not u
510.
by kd0amg 14y ago
The comment about the last 20 years also makes me twitch a bit. That sort of thing always makes me wonder if it's supposed to be about the state of actual usable programming languages or of recent PL research. Either way, the first two thin

More ›