✨ Can You Trust a Compiler to Optimize Your Code?
https://matklad.github.io/2023/04/09/can-you-trust-a-compiler-to-optimize-your-code.html
Here’s a doozy of a C++ edge case I just ran into.
In https://gcc.godbolt.org/z/P35fdhczP, struct A has no copy constructor. That’s a problem when I pass a const A& to a function that takes A by value. But A does have a constructor taking const B&, and B has a constructor taking const A&. So the compiler… converts the A to B and then back to A?
Yet C++ normally doesn’t chain multiple implicit user-defined conversions.
And if instead of A->B->A, I try A->B->C, it doesn’t work: https://gcc.godbolt.org/z/377YoWGEo
@julesjacobs I don't know if this is the kind of thing you're looking for or even if they're LR(0) or 1, but I liked this post and the one linked therein: https://pavpanchekha.com/blog/top-down-lr.html
meta-discussion on fascism
If you haven’t read Umberto Eco’s famous short essay “Ur-Fascism”, set aside 30–60 minutes to read it today.
It succinctly enumerates the properties of what we all instinctively recognize as #fascism. It gets to the essence of Fascism—not merely the particular instances of it, e.g. Hitler, Mussolini, Franco, but their “family resemblance”.
I find this an essential read. I think Eco is right that the archetype of Fascism is ever-present; I think of it as a pattern that can be deployed to exploit the peculiar ways in which the human psyche operates. Its spirit is very much alive today in political parties around the world.
You can read it for free here [PDF]: https://sites.evergreen.edu/politicalshakespeares/wp-content/uploads/sites/226/2015/12/Eco-urfascism.pdf
Lyrics from the early hits tend to be a bit incoherent because the songs were written by 100% Swedish teams, who had a good but imperfect command of English, e.g., Hit Me Baby was originally written for TLC, which makes no sense until you find out that they meant Hit Me Baby to mean "call me", as in "hit me up", but they got the idiom wrong (the rest of the lyrics also make more sense if you use the intended meaning and ofc TLC declined the song because "hit me baby" doesn't match their brand).
How long before we commonly see the programmer equivalent of artists griping that "I lost everything that made me love my job through Midjourney over night"?
https://www.reddit.com/r/blender/comments/121lhfq/i_lost_everything_that_made_me_love_my_job/
Poll in next message because you can't attach a poll and an image in the same post :-(
In a new paper, David Smith, Joseph Myers (@jsm28), Chaim Goodman-Strauss and I prove that a polykite that we call "the hat" is an aperiodic monotile, AKA an einstein. We finally got down to 1! https://arxiv.org/abs/2303.10798 4/6
heyooooooo new article: "A world to win: WebAssembly for the rest of us" https://wingolog.org/archives/2023/03/20/a-world-to-win-webassembly-for-the-rest-of-us
Of interest if you wonder: why does it seem like only rust and C are winning with WebAssembly? what is the deal with garbage collection? how would you compile scheme to wasm? how can I win with my weirdo altlang? also, is WebAssembly haunted? guaranteed success or your money back!
Susan Kare
https://www.moma.org/artists/38483
https://www.moma.org/collection/works/188382?artist_id=38483&page=1&sov_referrer=artist
https://en.wikipedia.org/wiki/Susan_Kare
"Susan Kare is an American artist and graphic designer best known for her interface elements and typeface contributions to the first Apple Macintosh from 1983 to 1986. She was employee #10 and Creative Director at NeXT."
https://www.youtube.com/watch?v=EtapU5nI6G4 (via @tfae on twitter)
Also this is a fascinating paper on interpretability: https://thegradient.pub/othello/
Did not know this kind of thing was (already) possible.
Apparently Sydney (unlike GPT) can play chess. https://twitter.com/zswitten/status/1631107663500304384
@georgebeck @johncarlosbaez Indeed, as discussed in the (admittedly long) post.
@johncarlosbaez @georgebeck There's an intriguing startup betting on the idea that solar will scale (and costs will fall) fast enough that getting natural gas from the air will be cheaper than getting it from the ground: https://terraformindustries.wordpress.com/2023/01/09/terraform-industries-whitepaper-2-0/
Of course, this is only *capture*, not *sequestration*. (As long as there's still any "getting it from the ground" for it to displace, however, the net effect is equivalent.)