mcguire

50 ms·

781.
by mcguire 4y ago
And cloves. :-)
782.
by mcguire 4y ago
A lot of this is simply a raw population effect. When I lived in Austin, I got in the habit of locking every door I went out of. Now that I live in rural Alabama, I frequently leave the house doors unlocked. I've forgotten to close the
783.
by mcguire 4y ago
One of the really fun experiences I've had with SPARK/Frama-C/some dependently typed languages was moving runtime tests into the contracts. Your function only works on arrays of a certain length? Rip out the test-and-return-e
784.
by mcguire 4y ago
There is a fairly close relationship between a dependently typed language, like Idris, and 'contracts' (really, pre- and post-conditions plus other propositions) in languages like Ada/SPARK, Dafny, and Frama-C. The major diff
785.
by mcguire 4y ago
" ...if you believe in the court's ability to force Musk to buy Twitter, you should continue to buy up stock... " " If you don't believe he'll be forced to pay... " Those are two very different statements.
786.
by mcguire 4y ago
"The government" isn't doing anything here. Elon and Twitter have a contract. Elon wants out; Twitter doesn't want to let him out; the contract only has limited conditions to allow Elon out. The court is simply deciding
787.
by mcguire 4y ago
That's dendrochronology, and it is used to date wooden objects. The problems are that you only get an age (the tree was N years old at the time this object was created), and that you only get a slice of the tree (you can only see the s
788.
by mcguire 4y ago
That is true of all of philosophy (he says, at the risk of his Junior Philosopher's Secret Decoder Ring). The interesting part is the systems you build (hopefully using logic) around it.
789.
by mcguire 4y ago
To disprove a universally quantified statement, only a single counter-example is necessary.
790.
by mcguire 4y ago
Mistakes, yes. 300 years? No. 300 years, including the Carolingian Dynasty, the expansion of Islam (i.e. The Battle of Tours), the Norse expansion (eventually leading to the domination of Europe by a bunch of guys named Norman)? Nope, no so
791.
by mcguire 4y ago
https://www.ghsa.org/sites/default/files/2019-02/FINAL_Pedes... See Figures 6 and 15.
792.
by mcguire 4y ago
This thread is full of "market efficiency" versus "national security", but there is another aspect to it: " Many ships now fly under the flags of Panama, Liberia and the Marshall Islands — countries that allow ocean
793.
by mcguire 4y ago
Not all of them. Entertaining trivia: The Space Shuttle main tank was manufactured at the Michoud Assembly Facility, somewhere near New Orleans, and transported to KSC by barge. In 1995, the tug lost power and nearly lost the barge and tank
794.
by mcguire 4y ago
Republicans have been floating a national ban on abortions; if the Republicans take the legislature in November, it is likely to be the first item on the agenda. Roe v. Wade was the only thing preventing that.
795.
by mcguire 4y ago
Federal institutions such as the Supreme Court?
796.
by mcguire 4y ago
" Other things the Supreme Court has blocked state law using the same logic as roe v Wade (due process of the 14th amendment[0]) on are blocking contraception bans (grisewald), overturning anti-sodomy laws (lawrence), and giving equal
797.
by mcguire 4y ago
Saw the title and was thinking, "Yes, and?" It's not exactly a crazy surprise. On the other hand, the article is good as a general introduction, and I hadn't heard of the Great Mosque of Samarra ( https://en.wi
798.
by mcguire 4y ago
Not quite. Say you work for General Motors. You can gripe about management all you want, but there's no expectation that you are going to be able to send out a company-wide memo saying the board should boot the CEO. Now say you work fo
799.
by mcguire 4y ago
For some reason I am suddenly reminded of SS-Sturmbannführer von Braun. https://youtu.be/QEJ9HrZq7Ro
800.
by mcguire 4y ago
Surprised? No. There's no large company in the world where attacking top management won't lead to major consequences. Of course, SpaceX (and Google, along with a stack of other "tech" companies) wasn't supposed to b
801.
by mcguire 4y ago
I rather suspect that Musk's definition of democracy aligns well with the Chinese government.
802.
by mcguire 4y ago
Are there independent Tesla service shops? My understanding is that all work has to be done by Tesla to keep OTA updates.
803.
by mcguire 4y ago
According to Tesla (and SpaceX) fans, Musk is the company. He not only makes strategic decisions, but is also involved in day to day engineering development. The valuation of the company is driven by Musk's social media behavior; cer
804.
by mcguire 4y ago
" Stocks are liquid enough... " Neither of those are stocks. Bonds are (usually) less volatile than stocks, but yeah, be careful about using them for short-term emergency funds.
805.
by mcguire 4y ago
The S&P 500 is down 21% since the beginning of the year.
806.
by mcguire 4y ago
All it takes is one to write the code.
807.
by mcguire 4y ago
" YouTube's policy is that an account is disabled after three "copyright strikes" against them. When you get one copyright strike, you get a warning. However, because I had more than three clips from "Java Head,&q
808.
by mcguire 4y ago
I don't know when the original article was published, but Jon Bentley's book Programming Pearls (IIRC) contains essentially this same essay (actually, reversing an array) and was published in 1986.
809.
by mcguire 4y ago
Objects in orbit are primarily cleared by atmospheric drag, with two major variables: height of perigee (lower causes more drag) and object mass (lighter objects are slowed more). Following an impact, some of the debris will be cleared quic
810.
by mcguire 4y ago
" Presumably it would have been even worse had everyone realized the United States had, a few years before this, planned to nuke the moon, more or less just because they could… " Do have to say, that was a glorious era of scientif

More ›