Viewing profile — cxseven

1. Some of the "AI" proofs applied existing human work from lesser-known papers. AI proofs could solve the long-standing problem in math of almost all attention concentrating on le…

Engineers would win many more arguments if that was their full-time job. Who has the energy after completing a blitz to solve a highly technical problem by deadline to debate a PM …

Who are the geniuses / slimeballs at Microsoft who snatched the JEDI contract away from AWS for dubious reasons, and who partnered with Duck Duck Go, the most visible complainant a…

Wow, none of my AP teachers back in '97 offered anything close to this advice. I wonder if that was normal for the time, or if I just experienced the low end of the variance of pre…

I believe this is the truest interpretation: > In the days of the PDP-1 only one person could use the machine, at the beginning at least. Several years later they wrote a timeshari…

JWZ draped camouflage netting around his desk to make an ad-hoc "Tent of Doom": https://www.jwz.org/tent-of-doom/ . Maybe an actual tent would be even better. Surrounding yourself …

I think he meant the airport employees on the tarmac who wear giant ear muffs.

The median Googler works there for about a year, too, so I guess they have little interest or ability to understand existing code.

That would be useful information, but it would also need some way to judge how biased (or not) the promotions are. There's also another likely contribution to higher pay for women:…

The Bible Belt is running out of notches

Location with respect to what?

Serious question, ignoring the other environmental impacts of logging old growth forest: Is logging carbon negative?

You'd probably find that ancient humans, just like many animals, formed cooperative groups that weren't limited to family, with children not infrequently cared for by nonfamily. A …

If they blanket an area with cameras, as China does, they can use multiple vantage points to get more accurate measurements and, when a positive ID is made, they can persistently t…

This could be the product of sharing course materials they already mostly had, at a low additional cost.

Update: It looks like on October 2nd, Facebook clarified that 50 million users actually had their login credentials stolen, and an additional 40 million were unconfirmed but known …

> But people always forget that the way to build a platform is to start by nailing a niche use case and then expanding. The median Googler works there for something like 1.1 years,…

I always wondered why Facebook didn't just syndicate its site, i.e. allow people to congregate on differently-themed sites as they wish, while using the same infrastructure underne…

Just possible. Similarly, the recent FB hack didn't actually penetrate 50 million accounts -- that was just an upper bound estimate based how many accounts were "exposed to the ris…

I don't understand how that follows. Google doesn't need to fix its purported usability problems. It can let the non-corporate users enjoy the fruit of their labors at keeping Goog…

What's the point, then? Google will (or should) spend just about as much effort keeping it live for enterprise users as it would for the rest of us. I don't use it often, but occas…

There's not going to be anything more hospitable than Earth for a long time, long enough for the warnings here to come true and then some.

Windows 10 Education also lets you do this, and is a lot less expensive than Pro. Sometimes it's free to members of certain organizations.

For the Kepler Conjecture, human mathematicians first found a way to show that it could be proved by checking a finite (but long) list of computer-verifiable claims. Here Scholze i…

The no-context Linus quotes and the outlining of how he gets paid made this article seem like somewhat of a hatchet job meant to milk clicks out of the #MeToo movement, which I oth…