#formalism — Public Fediverse posts

🎉 "Why not just use Lean?" they ask, as if the entire history of formalized #mathematics didn't exist before their shiny new toy. 🤖 Let's all pretend that #logic only started clicking when #Lean rolled in, because who needs decades of foundational work when you’ve got a cult-followed package with emojis and a reddit fan club? 🚀
https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html #Formalism #Community #Cult #Following #HackerNews #ngated

🎉 "Why not just use Lean?" they ask, as if the entire history of formalized #mathematics didn't exist before their shiny new toy. 🤖 Let's all pretend that #logic only started clicking when #Lean rolled in, because who needs decades of foundational work when you’ve got a cult-followed package with emojis and a reddit fan club? 🚀
https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html #Formalism #Community #Cult #Following #HackerNews #ngated

Aram Khatchaturian -- Symphony No. 3 (Symphony-Poem) -- Chicago Symphony Orchestra , Leopold Stokowski conductor
https://youtu.be/FvPa1ASaxLA?si=qQFFWDPjOpx1YtTL

This 1947 work in praise of the "Soviet Motherland" was condemned by Zhdanov as "formalistic".

I find this assessment difficult to understand. To my ears, this 24 minutes of vulgar bombast has more in common with the movies at their worst than with modernism.

Anyway, when the announcer on KMFA said that John Williams was coming up, that's when I knew it was time to switch off.

#ClassicalMusic #Khatchaturian #SovietMusic #20thCenturyMusic #JohnWilliams #Ahdanov #Formalism

Aram Khatchaturian -- Symphony No. 3 (Symphony-Poem) -- Chicago Symphony Orchestra , Leopold Stokowski conductor
https://youtu.be/FvPa1ASaxLA?si=qQFFWDPjOpx1YtTL

This 1947 work in praise of the "Soviet Motherland" was condemned by Zhdanov as "formalistic".

I find this assessment difficult to understand. To my ears, this 24 minutes of vulgar bombast has more in common with the movies at their worst than with modernism.

Anyway, when the announcer on KMFA said that John Williams was coming up, that's when I knew it was time to switch off.

#ClassicalMusic #Khatchaturian #SovietMusic #20thCenturyMusic #JohnWilliams #Ahdanov #Formalism

𝑳𝒊𝒕𝒆𝒓𝒂𝒓𝒚 𝑵𝒐𝒎𝒂𝒅𝒔: 𝑺𝒕𝒆𝒑𝒉𝒆𝒏 𝑲𝒊𝒏𝒈 𝑴𝒆𝒆𝒕𝒔 𝑺𝒉𝒆𝒍 𝑺𝒊𝒍𝒗𝒆𝒓𝒔𝒕𝒆𝒊𝒏: 𝑭𝒐𝒓𝒎𝒂𝒍𝒊𝒔𝒎 𝒂𝒏𝒅 𝑻𝒓𝒐𝒑𝒆 𝒊𝒏 𝑺𝒕𝒐𝒓𝒚 -

What do a children’s story and horror film have in common? Maybe our Suffering Child question, with very different approaches to it.

https://waywordsstudio.com/podcasts/waywords_podcast/stephen-king-meets-shel-silverstein-formalism-and-trope-in-story/

#podcast #literature #books #bookworm #book #read
#stephenking #stormofthecentury #shelsilverstein #thegivingtree #formalism #genre #medium #trope #cliche #stereotype #formulafiction

𝑳𝒊𝒕𝒆𝒓𝒂𝒓𝒚 𝑵𝒐𝒎𝒂𝒅𝒔: 𝑺𝒕𝒆𝒑𝒉𝒆𝒏 𝑲𝒊𝒏𝒈 𝑴𝒆𝒆𝒕𝒔 𝑺𝒉𝒆𝒍 𝑺𝒊𝒍𝒗𝒆𝒓𝒔𝒕𝒆𝒊𝒏: 𝑭𝒐𝒓𝒎𝒂𝒍𝒊𝒔𝒎 𝒂𝒏𝒅 𝑻𝒓𝒐𝒑𝒆 𝒊𝒏 𝑺𝒕𝒐𝒓𝒚 -

What do a children’s story and horror film have in common? Maybe our Suffering Child question, with very different approaches to it.

https://waywordsstudio.com/podcasts/waywords_podcast/stephen-king-meets-shel-silverstein-formalism-and-trope-in-story/

#podcast #literature #books #bookworm #book #read
#stephenking #stormofthecentury #shelsilverstein #thegivingtree #formalism #genre #medium #trope #cliche #stereotype #formulafiction

Every Sunday I look back at the preceding week in kpop and pick out a music video or performance that I have particularly liked. This week I have chosen tripleS ∞! – Untitled.

As with just about everybody else who is not a hardcore fan of tripleS, I am now completely lost when it comes to subunits; I don’t even know how to read this subunit’s name.

Anyway, the song itself has grown on me. When it really clicked was with the release of this performance version, which abstracts away from the high school setting and adolescent angst of the original MV. As is so often the case, performance versions and stages, by dispensing with narrative and the straightforwardly representational, appeal to the formalist in me.

https://youtu.be/_9Wgsd19cto?si=r49OGEY2LLJTVhyX

#Kpop #KpopOfTheWeek #TripleS #Untitled #GirlGroups #PerformanceVideos #Formalism #Aesthetics

Every Sunday I look back at the preceding week in kpop and pick out a music video or performance that I have particularly liked. This week I have chosen tripleS ∞! – Untitled.

As with just about everybody else who is not a hardcore fan of tripleS, I am now completely lost when it comes to subunits; I don’t even know how to read this subunit’s name.

Anyway, the song itself has grown on me. When it really clicked was with the release of this performance version, which abstracts away from the high school setting and adolescent angst of the original MV. As is so often the case, performance versions and stages, by dispensing with narrative and the straightforwardly representational, appeal to the formalist in me.

https://youtu.be/_9Wgsd19cto?si=r49OGEY2LLJTVhyX

#Kpop #KpopOfTheWeek #TripleS #Untitled #GirlGroups #PerformanceVideos #Formalism #Aesthetics

Sehr informative Rezension zu dem Must-Read-Buch der #Theorie-Saison, auch weil man Kontext geliefert bekommt, in welchen Debatten sich das Buch bewegt. Sowas hat man ja als Interessierte nicht-akademisch-institutionell verankerte Person eher nicht auf dem Schirm.
#literaturtheorie #gesellschaftskritik #marxismus #Formalism
Premium Content: On Anna Kornbluh’s “Immediacy” | Los Angeles Review of Books https://lareviewofbooks.org/article/premium-content-on-anna-kornbluhs-immediacy-or-the-style-of-too-late-capitalism

Sehr informative Rezension zu dem Must-Read-Buch der #Theorie-Saison, auch weil man Kontext geliefert bekommt, in welchen Debatten sich das Buch bewegt. Sowas hat man ja als Interessierte nicht-akademisch-institutionell verankerte Person eher nicht auf dem Schirm.
#literaturtheorie #gesellschaftskritik #marxismus #Formalism
Premium Content: On Anna Kornbluh’s “Immediacy” | Los Angeles Review of Books https://lareviewofbooks.org/article/premium-content-on-anna-kornbluhs-immediacy-or-the-style-of-too-late-capitalism

Join this exciting seminar on the intersection of formalism in art history and computer vision algorithms.
Discover how AI technology can help us question and better understand Heinrich Wölfflin’s Principles of Art History and Alois Riegl’s Stilfragen analysis in light of AI visual similarities.
#formalism #arthistory #computervision #AI #Wölfflin #Riegl #Stilfragen #digitalarthistory

➡️ https://www.unige.ch/visualcontagions/seminars/styles-revisited/wolfflin-ai

Join this exciting seminar on the intersection of formalism in art history and computer vision algorithms.
Discover how AI technology can help us question and better understand Heinrich Wölfflin’s Principles of Art History and Alois Riegl’s Stilfragen analysis in light of AI visual similarities.
#formalism #arthistory #computervision #AI #Wölfflin #Riegl #Stilfragen #digitalarthistory

➡️ https://www.unige.ch/visualcontagions/seminars/styles-revisited/wolfflin-ai