mcguire

31 ms·

361.
by mcguire 3y ago
Heh, eh, well, ah, ... (and other strange noises). Dijkstra's Guarded Command Language is a specification language, sort of, but it's better looked at as a very simple programming language for use with Floyd/Hoare/Dijk
362.
by mcguire 3y ago
There is no introspection here.
363.
by mcguire 3y ago
They also mention they got a score above 0.8 for 1000 neurons out of GPT2 (which has 1.5B (?)).
364.
by mcguire 3y ago
In this case, I think we do if you will check out the paper ( https://openaipublic.blob.core.windows.net/neuron-explainer/... ). Their method is to 1. Show GPT-4 a GPT-produced text with the activation level of a specifi
365.
by mcguire 3y ago
My impression is that the understanding of that research that comes up with statements like "But when it comes to decisions we tend to assume they are made by our conscious mind. This is questioned by our current findings" is base
366.
by mcguire 3y ago
Oliver Sacks' A Leg To Stand On is a lengthy discussion of that, including his own experiences after breaking a leg---IIRC, at one point after surgery but before he starts physical therapy, he wakes up convinced that a medical studen
367.
by mcguire 3y ago
I think the point is that, in a non-healthy brain, the brain can create a balanced and flexible reasoning system that creates inferences that have explanatory power, but which may not match external reality. Oliver Sacks has a long bibliogr
368.
by mcguire 3y ago
Your response doesn't seem to be directly related to the previous poster's split-brain comments, but rather the popular misuse of the lateralization idea.
369.
by mcguire 3y ago
1. If the penalties are not insanely high, it just becomes another cost of doing business issue. 2. If you look at IRBs, how much do you think Scott Alexander is going to be able to pay for liability insurance? The review model does have so
370.
by mcguire 3y ago
I haven't been keeping up; does TWSBI still have quality problems with their plastic? The last I heard, there were a lot of reports of parts breaking. TWSBI was always good about replacing the parts, but I heard too many stories about
371.
by mcguire 3y ago
" In the interviews, the refugee had first maintained that she’d made it through one particular event alone, but the written statement seemed to reference other people with her at the time — a discrepancy large enough for a judge to re
372.
by mcguire 3y ago
The source information in public? Copyright isn't a thing anymore? That's news to me.
373.
by mcguire 3y ago
That, as they say, is the purpose of any corporation. Their responsibility is to their shareholders.
374.
by mcguire 3y ago
Because, as you suggest, suppressing competition is a winning strategy, especially when there are barriers to entry? Because the free market prefers monopolies?
375.
by mcguire 3y ago
I mean, that's roughly 800,000,000 years of life lost. " YLLs per death increased from 9.2 in the first year of the pandemic to 10.8 through the first 2 years. " ( https://pubmed.ncbi.nlm.nih.gov/35640260/
376.
by mcguire 3y ago
I once heard a story about Microsoft: a research group had discovered that they could control the radio-frequency emissions of computers with code, and could broadcast the license serial number of running software. Unfortunately, the signal
377.
by mcguire 3y ago
Some days I wish I could contemplate the possibility of roughly 80,000,000 deaths with such equanimity.
378.
by mcguire 3y ago
" Globally agricultural land area is approximately five billion hectares, or 38 percent of the global land surface. About one-third of this is used as cropland, while the remaining two-thirds consist of meadows and pastures) for grazin
379.
by mcguire 3y ago
Oh, I like Haskell a lot. I'm a bit leery of using it because performance and memory use are still a bit of a dark art, though much less than they used to be. I just like mocking Haskellers (and Scala) for the symbols. :-)
380.
by mcguire 3y ago
Now that's impressive. Yow.
381.
by mcguire 3y ago
"Occasional" is a vast understatement. Yes, you had to have a prescription but you could get that by phone, without getting an appointment. Or the doctor would give you a prescription "just in case" when you were in for
382.
by mcguire 3y ago
That is actually pretty similar to what Americans did before 2000 or 2010, until antibiotic resistance started being generally known.
383.
by mcguire 3y ago
Hmm. I haven't seen the latter in OCaml as much. More the opposite; when I first used it, things like list length in the standard library weren't tail recursive. 8-| Now, Haskell and shudder Scala shudder, on the other hand.
384.
by mcguire 3y ago
" Lack of widely used operations such as popcount for integer types, unicode character operations. " popcount is widely used?
385.
by mcguire 4y ago
By the way, meaning also drifts over time.
386.
by mcguire 4y ago
The NTSB Report https://data.ntsb.gov/carol-repgen/api/Aviation/ReportMain/G...
387.
by mcguire 4y ago
There are a couple of reasons for this. First, unless the aircraft just suddenly fell apart, the pilot is always involved somehow. For example, in this case, the direct cause of the crash was the pilot providing a hard right (?) rudder inpu
388.
by mcguire 4y ago
Goofy story that is unrelated to anything. UT Austin CS dept. used Apple LaserWriters as department printers for years. IIRC, they were 300x300dpi. Then one day, we upgraded to 600x600dpi laser printers (I forget the brand). I was on staff
389.
by mcguire 4y ago
If you learned to type on a Selectric like I did, a lot of computer keyboards are unpleasant. The C64's and its ilk are especially bad.
390.
by mcguire 4y ago
The Texas panhandle area? We've all got fluoride stains. And the water tasted like crap because it was mixed with excessively saline water to reduce both the salt and fluoride levels to something reasonable.

More ›