Evgenii Kotelnikov (@aztek) 's Twitter Profile
Evgenii Kotelnikov

@aztek

I write programs, prove theorems, and write programs that prove theorems

ID: 10573972

linkhttps://ekotelnikov.com calendar_today25-11-2007 23:20:23

1,1K Tweet

264 Followers

176 Following

Tim Gill (@timgill924) 's Twitter Profile Photo

No One: Academics: It’s a shame this conference is online… I would much prefer the State fund and fly me to an otherwise cost-prohibitive conference at the Hilton in NYC, where I’ll present my research for 12 mins to nobody, and then drink wine with my buds for five days.

tara (@proletarat) 's Twitter Profile Photo

“Can you explain this gap in your resume” yeah I made it in LaTeX and I don’t know how to make the paragraph breaks smaller

Eric Holk (@theinedibleholk) 's Twitter Profile Photo

When your code fails 997 out of 1000 tests, it will probably take a lot less time to fix than when it fails 3 out of 1000 tests.

Will Crichton (@tonofcrates) 's Twitter Profile Photo

An underappreciated aspect of functional programming is that it's different from other styles because it arose from a historical context where the foremost goal was to formally reason about semantics, not to accomplish programming tasks on existing hardware.

morgan (@casualeffects) 's Twitter Profile Photo

The mark of a great programmer is not doing exotic stuff. It is writing code that anyone can understand and see is obviously correct by inspection. Once a year you might do something extreme--and then write a giant comment explaining why it was unfortunately necessary.

Shubhro Saha (@shubroski) 's Twitter Profile Photo

This weekend I built =GPT3(), a way to run GPT-3 prompts in Google Sheets. It's incredible how tasks that are hard or impossible to do w/ regular formulas become trivial. For example: sanitize data, write thank you cards, summarize product reviews, categorize feedback...

d@x (@groktheworm) 's Twitter Profile Photo

I'm speechless. Not peer-reviewed yet but a submitted paper. The 'presented images' were shown to a group of humans. The 'reconstructed images' were the result of an fMRI output to Stable Diffusion. In other words, #stablediffusion literally read people's minds. Source 👇

I'm speechless.

Not peer-reviewed yet but a submitted paper.

The 'presented images' were shown to a group of humans. The 'reconstructed images' were the result of an fMRI output to Stable Diffusion.

In other words, #stablediffusion literally read people's minds.

Source 👇
Hussein Nasser (@hnasr) 's Twitter Profile Photo

What is the difference between the two urls? one has an @ and one doesn't. But also the first downloads version 15 of postgres from GitHub and the second one resolves to v15 dot zip domain which can also downloads a zip file that sure doesn't have postgres in it. You see,

What is the difference between the two urls? 
one has an @ and one doesn't.

But also the first downloads version 15 of postgres from GitHub and the second one resolves to v15 dot zip domain which can also downloads a zip file that sure doesn't have postgres in it.
 
You see,