nikita borisov

Arachno-capitalist web6 researcher. Tweets not suitable for the casual reader. @[email protected] this week.

[nikita borisov @nikitab]

I should make this my pinned tweet

[nikita borisov @nikitab]

@Noahpinion @grok @LemanWalters Grok has been Noah-pilled

[nikita borisov @nikitab]

Great work by the Cloudflare team and our own Tianyu Zhang!

[Cloudflare @Cloudflare]

Let's explore one potential future for post-quantum privacy on the web, made possible by a recent breakthrough in the design of blind signatures. https://t.co/P62EvirME2

[nikita borisov @nikitab]

@bwesterb MOLE is just three VOLEs in a trench coat

[nikita borisov @nikitab]

37, eh? *starts considering a run for senate*

[John J. Foxe @JohnnyFoxe]

Newly elected Senator Abdul El-Sayed has an H-Index of 37. This makes me inordinately happy. Expertise matter. Science matters. Facts matter. Rationality is a magic power -- @AbdulElSayed
#ScienceMatters #FactsMatter #BLUEWAVE

[nikita borisov @nikitab]

@Pinboard Each featuring a subtly hidden picture of Brent Spiner

[nikita borisov @nikitab]

@sergey_nog Why wouldn’t you want computing at edge

[nikita borisov @nikitab]

@secparam ICLR is double blind but makes all submissions public. Idk how well that works in practice.

[nikita borisov @nikitab]

A step in the right direction. Confidentiality of submitted papers should be a thing of the past.

[Gautam Kamath @thegautamkamath]

STOC 2027 received 1665 submissions. In a bold new experiment, all submissions (and author identities) are immediately made public. This is the most immediate and revealing posting of any conference I am aware of.

Take a look and see what you find!

https://t.co/Ph7RKx6jhc

[nikita borisov @nikitab]

@thegautamkamath @socrates1024 ICLR has been posting all submissions for a while

[nikita borisov @nikitab]

Fool me once, shame on you. Fool me twice, shame on me. Fool me three times, you get added to CLAUDE.md.

[nikita borisov @nikitab]

@socrates1024 @z0r0zzz You and RMS both

[nikita borisov @nikitab]

@__apf__ Amplification? sigh. I yearn for the good old days when recipe singing bands gave acoustic performances.

[jim iuorio @jimiuorio]

This is outstanding

[nikita borisov @nikitab]

@lukOlejnik Assumption usually says that ECDL is super polynomial which this result doesn’t contradict.

[nikita borisov @nikitab]

@nibot That’s how you get recursive self improvement

[nikita borisov @nikitab]

@TaliaRinger I used to think AI will help by making writing specs more accessible, but I think in practice expressing subtle properties is just fundamentally hard. And AI is just as likely to do a poor translation, as can be seen by the mismatches between AI lab papers and Lean statements

[nikita borisov @nikitab]

@TaliaRinger That is true, and I've seen major errors where a verification team creates a spec that the application team tries to vet, but fails to catch subtleties.

[nikita borisov @nikitab]

@matthew_d_green Glad to see the publish or perish attitude applied to ai research

[nikita borisov @nikitab]

o(Big) if true

[Ryan Williams @rrwilliams.bsky.social @rrwilliams]

An internal model at OpenAI has produced a claimed refutation of ETH! Russell Impagliazzo, Mohan Paturi, and I have been asked to help organize an open and independent examination of this claim. 1/4

[nikita borisov @nikitab]

Found Guido von Rossum’s origin story