mcguire

30 ms·

391.
by mcguire 4y ago
Depends on what your dehumidifier and related equipment is. On the other hand, distilled water isn't necessary to maintain the purity of your bodily fluids.
392.
by mcguire 4y ago
Do you have a source for that claim?
393.
by mcguire 4y ago
SF's population declined between 1950 and 1980, and it's homicide rate between roughly 1970 and the mid-1990s was up to 2 or 3 times what it is now.
394.
by mcguire 4y ago
According to the chart, the current homicide rate is about 7/100,000. I found a spreadsheet showing homicides going back to 1849. The rate between 1968 (happy birthday to me) and 1996 is significantly higher than now, bouncing around b
395.
by mcguire 4y ago
That is Musk's renaming of the "state affiliated" label originally applied to NPR, PBS, and the BBC.
396.
by mcguire 4y ago
Does the federal government assert editorial control over NPR?
397.
by mcguire 4y ago
The thermal expansion coefficient of water: https://www.engineeringtoolbox.com/water-density-specific-we...
398.
by mcguire 4y ago
The average ocean surface temperature is about 20°C and the thermal expansion coefficient is 0.000207/°C ( https://www.engineeringtoolbox.com/water-density-specific-we... ). If I have my google-fu and math right, that&#x
399.
by mcguire 4y ago
You could think of many of the formal tools outside of dependently typed programming as design by contract plus a thingy that complains if the contract doesn't work.
400.
by mcguire 4y ago
Got a blank page. Sorry I missed the mention of SPARK. TLA+, although I haven't fiddled with it as much, is more similar to Alloy than anything else. SPARK actually works on Ada code.
401.
by mcguire 4y ago
I get mocked for using Sigma instead of E. :-)
402.
by mcguire 4y ago
3. For the "big 4" applications at least, the Palm was significantly faster and significantly more usable than anything I've seen on smartphones.
403.
by mcguire 4y ago
Brute force string search: /*@ // There is a partial match of the needle at location loc in the // haystack, of length len. predicate partial_match_at(char *needle, char *haystack, int loc, i
404.
by mcguire 4y ago
That's actually what many formal tools excel at. Of course, you have to do have to define "never promised that behavior" which is extra work that nobody wants to do.
405.
by mcguire 4y ago
One advantage of formal methods is in determining "what was expected" (including all the goofy edge cases) without having to burrow into the details of code. Take a look at Alloy ( http://alloytools.org/ ) and TLA+
406.
by mcguire 4y ago
I'm not sure if the author is here, or if my comment attempt was successful. So, can I suggest you take a look at a third leg of the formal methods stool? If you are familiar with C, check out Frama-C ( https://frama-c.com&#x
407.
by mcguire 4y ago
In most situations, a half-assed answer quickly will a beat a good answer slowly. Most. " "Software should be reliable." " Reliability is not usually worth the effort. Most software is not used enough, or not important e
408.
by mcguire 4y ago
Physically modern humans are a couple of hundred thousand years old.
409.
by mcguire 4y ago
At the risk of calling for a no-true-Scotsman response, I do not know very much about Jainism, but a quick perusal does not leave me with the impression that its adherents are much less violent when they are in charge. "His expansion o
410.
by mcguire 4y ago
Oh, heck, it's made of porcelain. Check out the history of that.
411.
by mcguire 4y ago
Take, for example, Clovis points ( https://en.wikipedia.org/wiki/Clovis_point ). There is an amazing amount of skill in those relatively utilitarian tools.
412.
by mcguire 4y ago
"The usual memory management practice" in C depends a lot an what you are doing. Malloc/free scattered through your code is...not uncommon. That does require discipline or ugliness ensues. Other common options are not allocat
413.
by mcguire 4y ago
It usually isn't. Reference counting is good when you need to rather tightly limit memory use, are wedded to RAII, or need something simple enough that a programmer can knock it out in an afternoon.
414.
by mcguire 4y ago
No. Rust has completely consigned all of computer science to the dustbin of irrelevance.
415.
by mcguire 4y ago
And when talking about intergalactic gas.
416.
Hubble sees possible runaway black hole creating a trail of stars(hubblesite.org)
324 points by mcguire 4y ago|182 comments
417.
by mcguire 4y ago
" Then recently I learned that ChatGPT falsely reported on a claim of sexual harassment that was never made against me on a trip that never occurred while I was on a faculty where I never taught. ChapGPT relied on a cited Post article
418.
by mcguire 4y ago
I'm tempted to ask if you acquire semantics via nasal chemoreceptors or via absorption in the small intestine (and if the latter, I'm going to get a bottle of ketchup and take another pass at Kant). But I won't. I will note t
419.
by mcguire 4y ago
As an alternative to Loquebantur's comment, Searle's is trivially reversed: he has no way to demonstrate that he has "semantic" capabilities. On the first hand, all communication is purely syntactic; letters, words, ge
420.
by mcguire 4y ago
Can you get 3-way LEDs? I have some 3-way lamps and I've been casually looking for bulbs but haven't found any. (Yes, I know I could search online and order them. It's not that important.)

More ›