Evgenii Kotelnikov

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

[Brendan Dolan-Gavitt @moyix]

Duck typing? You're thinking too small. With AI, we can finally take Guido van Rossum's dream to its logical conclusion

[Evgenii Kotelnikov @aztek]

The "X is Turing-complete" Iceberg
https://t.co/sj0xmB0XBk

[Hussein Nasser @hnasr]

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, URLs with @ in them are split into two parts, anything before @ is user info and anything after it is the host name, however this rule is broken if what comes before @ are forward slashes.

The second URL includes a character encoded like forward slash but isn't really the real forward slash, which URL parsers ignores making anything before the @ as user info and treating whatever comes after it as the real hostname.

While this can happen on any domain, the zip domains makes it more likely to happen. When you click on a link that ends in zip especially if it looks like from GitHub you won't think twice about it.

Read the full blog from Bobbyr below.

[d@x @groktheworm]

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 👇

[Shubhro Saha @shubroski]

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...

[morgan @CasualEffects]

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.

[Will Crichton @tonofcrates]

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.

[Ian Henry @ianthehenry]

emacs on a remarkable 2, wireless edition

[Evgenii Kotelnikov @aztek]

But what if you don't allow yourself to use comments like that? I came up with this monstrosity of a quine palindrome: https://t.co/VQoi796LpQ

[Evgenii Kotelnikov @aztek]

Palindrome programming is easy if you hide the "mirrored" code in the comment. Here is a palindrome Haskell program that print its own source code.

[Evgenii Kotelnikov @aztek]

A "Hello, world!" Haskell program that is also a palindrome

[Evgenii Kotelnikov @aztek]

A "Hello, world!" Haskell program that is also a palindrome

[Raymond Hettinger @raymondh]

Hmm, I didn't know you could do this in #Python:

>>> float(bytes([51, 46, 49, 52]))
3.14

[Eric Holk @theinedibleholk]

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.

[Stephen Diehl @smdiehl]

Happy Halloween. 😱
https://t.co/cNRXQwYFMH

[Caleb Watney @calebwatney]

Some real Neal Stephenson shit
https://t.co/QoqIoM9SMd

[julesh @_julesh_]

Theoretical computer scientists make up a computer and get mad at it

[tara @proletarat]

“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

[Tim Gill @timgill924]

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.

[Ted Gioia @tedgioia]

Unusual music trivia (via https://t.co/J0C3Is8eic).