Viewing profile — Tyr42

You can prove something is in NP by providing a (polynomial) reduction from a known NP hard task, and vice versa. All the known NP problems (Knapsack, SAT, etc) are mutually reduca…

That's handwashing right?

Man, I always wonder what would have happened if Bill Watterson had been around for the era of webcomics. Much more creative freedom, and no editor or syndicate to tell you how to …

Ty but the animations don't seem to animate on mobile chrome on Android.

Same blog eh?

Can I do echo blah blah >> ~/.ssh/authorized_keys And that'd be auto approved?

> None of this bites evenly. The editing falls hardest on broadcast and promotional push; the notifications people actually want tend to pass through untouched or amplified. Sounds…

What's the best way to play on Linux? I'm sure proton would work but it's not on steam...

My instructor for Epsilon Delta proofs and limits would always talk about "his cousin in Romania" picking the Epsilon and him picking the Delta. i.e. forall epsilon > 0. exists del…

Health outcomes of lottery winners suggest it's not great.

I second this proposal. Three weeks shift can feel about right. But we lost a lot of nice symmetries that way, which is unfortunate

Ah but then you'd need to hard shut down to carry it home. The battery should keep the ram active to commute while sleeping

Heck, doing a self review when you wrote the code catches stuff like forgetting debug prints.

Hey hey, 15 = 3*5 is factoring.

Being unable to start a project without doing 5 years of legal wrangling once you put shovel to earth may not be a "ban", but it sure doesn't encourage development.

Funny you'd mention that, when Notepad had a CVE in it's markdown parsing recently.

I mean I remember when Penny Arcade Ram ads for games and such and they only ran the ads if the approved of the game. The ads were worth clicking into. They sold a real product for…

I think bridging this syntax onto legacy checked exceptions from java would make a lot of sense.

Sounds like checked and unchecked exceptions. I mean, this could be a syntax wrapper for java checked exceptions right? Those are isomorphic to Result in that you must handle or pr…

I tried to resize my already mostly fullscreen window now, and I cant, as it always triggers the hot corner for notes. I guess I have to have full sized windows then.

I see it too. What the heck?

That's the paid upgrade for "enterprise" level quality.

Luckily, there are lots of mods which make the base game more. I really enjoyed my bobs + angels run. I'm sure it would be even more fun if you opted into quality on top to really …

It was IMAP sync between the Gmail server and the Outlook/Yahoo/etc server. Then you have a regular Gmail account and get notifications, spam checking, mobile push notifications et…