unnatural_log

An orphan of CS and Math.
The soul of the science is it's middle finger.

[unnatural_log @dejank5]

@ericweinstein @sama 1. Nothing prevents a decision that Witten gets premium access over you.
2. API is not distribution.
3. Continued ripoff of scientists (even good ones).
4. Credit (always matters)? Adjacent: scooping via chat monitoring.

But I guess scientific progress outweighs this all?

[Michael Hartl @mhartl]

Any sufficiently advanced incompetence is indistinguishable from malice.

[Beff (e/acc) @beffjezos]

You will never be this cool, anon.

RIP legend

[unnatural_log @dejank5]

Greatness.

[Roger Federer @rogerfederer]

To my tennis family and beyond,

With Love,
Roger

[unnatural_log @dejank5]

*Glances over 23 opened tabs of reading material*

[IACR @IACR_News]

#ePrint An efficient key recovery attack on SIDH (preliminary version): W Castryck, T Decru https://t.co/2DAWdVYuNA

[unnatural_log @dejank5]

@cronokirby Indeed, a full paper read is on a summer tbd list after the internship, but a brief glance over Rosulek's book looks very promising :)

[unnatural_log @dejank5]

@cronokirby Maybe the line of research that has been trying to unify different proof methodologies might pave ways towards clearer way of writing proofs? (like https://t.co/06ZrWhFu2U although I know way too little about this, so take it with a huge grain of salt) 3/3

[unnatural_log @dejank5]

@cronokirby An "outsider" might have insights into how the existing proofs can be simplified, since they are not as burdened by the formalism adopted by the senior peers. This doesn't really solve the proof methods issue, but at least fast tracks early-stage researchers into the field. 2/3

[unnatural_log @dejank5]

NIST's pqc forum discussions >>>>> any kind of soap operas.

[Dr. Glaucomflecken @DGlaucomflecken]

An American experiences universal health care

[Boaz Barak @boazbaraktcs]

My friend, Scott Aaronson https://t.co/Z17IQfpQfO

[@[email protected] @pfasante]

Me (and probably every cryptographer) , today, since waking up:
1) check mails for NIST PQC announcement
2) wait(5min)
3) goto 1)

[Stark Raving Dad @issysrd]

As a homeschool family we’re often asked to justify the educational choice we’ve made. To family, friends, strangers. If you’ve ever asked those kinds of questions, have you tried answering them yourself?

Because if your child attends school, I would like to know the following:

[Quantum Computing Memes for QMA-Complete Teens @QuantumMemeing]

The year is 2090:

- Top Gun 5 has been released
- fault tolerance is only 10 years away
- Nadal has just won the French Open

[Lex Fridman @lexfridman]

Here's my conversation with @JonHaidt. He gives a respectful but hard-hitting response to my conversation with Mark Zuckerberg. We discuss what's broken with Twitter, Instagram, Facebook, and social media, and how we can fix it. https://t.co/32kWTkwk8s

[Ramon Massoni Badosa @rmassonix]

When @hubermanlab wants you to sleep 8 hours a day, get >180 min of zone 2 cardio / week, work each of your muscles for >6 sets / week, take a ~4 min shower per day while you solve math problems & work every day with a standing desk.

[Tom Brady @TomBrady]

These past two months I’ve realized my place is still on the field and not in the stands. That time will come. But it’s not now. I love my teammates, and I love my supportive family. They make it all possible. I’m coming back for my 23rd season in Tampa. Unfinished business LFG