egl2021

Why stop with the executives? Why not throw the shareholders into jail --- they approve the selection of the executives and benefit from whatever malfeasance you are targeting.

I never expected to see headlines like "Authorities investigate Bayesian disaster".

None of the birds look like a pelican, whose "beak can hold more than his belly can."

You don't have anything to apologize for; you did everyone a service.

Has anyone visited these sites in the last few years? (The field trip was in 2006.) Has construction, road repairs, etc. obscured many of these? I know of a few roadway offsets in the immediate Bay area that have been "fixed" and are no longer visible.

"...you'd want to work for..." This is a misleading framing. The private equity firm only wants to make the deal work financially and only for them. Anything else is secondary. You shouldn't be thinking about their respect, wanting to work for them, or anything beyond the deal terms.

I found Malcolm Wilcock, A companion to the Iliad, and Ralph Hexter, A guide to the Odyssey, helpful when I read Homer recently.

Would you please describe your setup for coding? I'm interested in trying this out, but I need an ELI5. Thanks.

PS Anybody is welcome to jump in with a description of their setup.

Phosphoric acid, hydrochloric acid, and boiling sulfuric acid: I should have paid more attention in chemistry lab. This is a neat project and answered a lot of questions.

Depends on what you learned during that "ton of experience programming." My only regret was that I had, but stupidly ignored, the MIT course notes that preceded publication of SICP. I didn't realize what I had missed until many years later when I sat down to work my way through SICP. I coulda been a contender.

I'm working on a code base with lots of #define. I replace them when I'm doing maintenance nearby, but you can't change them blindly: some bit of code may be inadvertently depending on the 0-artifact or something similar. "Science progresses one funeral at a time."

For now this might be a project for Fields medalists, like Tao and Scholze, who have the leisure to spend 10x the time on a proof. I recently talked to a post-doc in a top-ranked math department, and he doesn't know anyone who actually uses lean4 in their work. For early-career people, it's probably better to trust your intuition and get the papers out.

If you read the article carefully, you'll see clues to why this developer can make it work in spite of conventional wisdom:

1. He picks his buildings carefully. His projects are "market rate", so he has to work out the conversion cost, inventory yield, and rental rates to find good candidates.

2. He includes rooms without windows and labels them as storage, work-from-home offices, or something else that does not need a window to be legal. But (wink-wink) he fully expects that these will be counted as bedrooms by potential renters.

Economy was not really a consideration. The project developed two different bomb designs (plutonium and uranium) in parallel. They tried three different paths to fissile material: gaseous diffusion and electromagnetic separation for uranium and reactors for plutonium.

This is my candidate for the most influential master's thesis ever.