#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

🎉 "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

🎉 "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

Homo Ludens: A Renewed Reading • Peter McDonald

The author discusses Johan Huizinga’s Homo Ludens and the animating mood that it calls the “play spirit.” He argues that these styles of playfulness represent a major practical and theoretical contribution Huizinga offers contemporary studies of play, and he considers Huizinga’s methodology in a reading that runs counter to formal definitions of play. Drawing on phenomenological, linguistic, and hermeneutic elements in the text, he presents an alternative understanding of play’s form and what resists formalization. By attending to Huizinga’s hesitations and rhetorical excess in key moments of explanation, the article unvails the development of play spirit in Homo Ludens and its significance for the study of play and games.

Key words: #formalism Johan #Huizinga; interpretations of Homo Ludens; #phenomenology

https://www.museumofplay.org/app/uploads/2022/01/11-2-Article-5.pdf

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

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

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

line segments everywhere; some of them loom

Higher-res and photonerd minutiae at Flicker:
https://www.flickr.com/photos/jbm0/54610203059/in/album-72177720317299282

#photo #photography #architecture #formalism #geometry #lines #linesegments #WeatheredBuilding #industrialbuildings

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

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

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

#CfP for the #conference "New Readings on Russian #Formalism at the Crossroads of Slavic #Cultural History: Primary Insights and Perspectives for Future Research", which will take place at the Université libre de Bruxelles on October 21 and 22, 2024.

🗓️Deadline for Abstracts: May 1, 2024

📌Further Information:
https://avldigital.de/de/vernetzen/details/callforpapers/new-readings-on-russian-formalism-at-the-crossroads-of-slavic-cultural-history-primary-insights-and/ #fidavlnews #LiteraryTheory #LiteratureTheory @litstudies

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

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

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

We should see code as a type of literature. It has a style, a form, multiple ways of achieving a result, digressions, comments, references to previous parts, and a creative pleasure in producing them. Like any literature, some types of funding and structures tend to imply certain politics inherent, even if not avowed, to the work itself. Technology is not a disinterested tool to achieve a result. It is also a political statement.

#Technology #Philosophy #Politics #Formalism #Literature

Hilbert and Gödel walk into a bar. Hilbert begins to tell the bartender exactly how he wants his drink prepared and all its ingredients. While starting to prepare it, the bartender asks Gödel if he wants anything. “I’m good,” Gödel says. “Thanks to him, I’ve finished the mental construction of the drink.”

#mathematics #formalism #intuitionism #humor #ontology

One of the fundamental errors of our moment is the idea that #programming is primarily a scientific activity. Its important that we remind ourselves that it is truly more art than #science in order to assume an antagonistic distance from those who presume to speak from positions of scientific objectivity while equating the scientific production of knowlege with what is in actuality commodity production.

This assumed equality of the incentives of commodity production & science is precisely the ideology of #ElonMusk & #tech billionaires. Its the same ideology that dominates a moment in history characterized by total neglect towards threats of existential proportions, where we sail head first towards the worst of possible worlds, not out of necessity, but due to the absolute greed and nihilism of those with wealth and power. I have no doubt that if every decent #hacker were given control of our time & provided the resources we need, we could autonomously and adaptively solve the climate crisis, rather than waste away creating meaningless webapps that are the result of the galaxy brained thought experiments of reactionary dude-bros at #vc incubators. But not its bcs we're scientific, although we employ cutting edge science as means to ends; no, its rather
because we're crafty.

As hackers, you are rarely either scientists or engineers, but rather writers producing some of the most novel writing of your time, a truly new writing uniquely suited to collaboration; writing that allows wordsmiths to amass infrastructure from mere letters & words, granted adequate time. You're not engineers, but artists alienated under capital. #Haskell & #Agda programmers are not mathematicians, but rather poets among mathematics. Despite claims that Haskell shines in authoring compilers, the move of #Idris2 & #Unison to #Scheme suggests that type theory is perhaps too constraining for long term compiler development. Typed functional programming is writing in a constrained style -- poetry amongst programs -- programs that get down to the rithm of #formalism. Haskell isnt for writing programs like Idris2, but rather for those like #TidalCycles. Its simply that our idiom discourages creativity, so we play along to survive.

#WalterBenjamin described circumstances such as ours as "the aestheticization of politics", which was, according to him, the only trait to distinguish fascism from capitalism. Our only hope would be for the text workers of the world to unite.