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

Been working on an archive of my #webcomics work.
https://www.hypercomics.net/

I started making comics online in 2000 and gained traction in the bubbling ooze of the Jurassic internet. The wonderful Scott McCloud enjoyed my work, and it's been cited in academic papers. Analyzing my work actually gained one person a doctorate.

I recently got the original files from a crash and have been updating.
https://www.hypercomics.net/

#art #MastoArt #comics #hypercomics #formalism #visualstorytelling #artist

Balthus
La Rue, 1933
#art #formalism

A Logical AI Approach to Context
(1996) : McCarthy, John
url: http://www-formal.stanford.edu/jmc/
#ai #formalism #logic #context #my_bibtex

FINAL CALL FOR APPLICATIONS

PhD Position in the History of Philosophy of Science and Mathematics (3 years,
fully funded, 75% equivalent to 30 hours/week), University of Vienna

https://formalism.phl.univie.ac.at/wp-content/uploads/sites/28/2022/11/PhD-Position-in-the-History-of-Philosophy-of-Science-and-Mathematics.pdf

#philosophy #philosophyofscience #phd #vienna #mathematics #logic #formalism

#soundstudies #eduardsievers #formalism The age of sound recording, which is around 150 years old, is the golden age of voice ghosts. Our videos, our telephones, are voice activated recorders, preserve for us the voices of the dead – something you realize more as you move into the age where people around you die. In my family, we have pictures of my Mom, but no recording of her voice – a huge loss to us, I think. https://limitedinc.blogspot.com/2022/12/eduard-sievers-coulda-been-contender.html

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.

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
remotely and autonomously 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 bcs we're scientific, although we employ cutting edge science
as means to ends (as all art has); no, its bcs 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 amongst mathematics. Despite claims
that Haskell shines for 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 paradigm that discourages
creativity, so we play along as a means 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.

My latest #Substack post delves into some nerdy #comics #formalism, and my self assessment #ASD test results!

It's both a podcast and blog, so along with the audio here you'll find visual aids on the post.

https://mindengine.substack.com/p/processpod-009-blockage-and-the-t

Backhouse, Hoogendeijk

Link: http://buff.ly/2p2Qu13

The "Boom hierarchy" is a hierarchy of types that begins at the level of trees and includes lists, bags and sets. This hierarchy forms the basis for the calculus of total functions developed by Bird and Meertens, and which has become known as the "BirdMeertens formalism".

#types #programming #formalism

https://mstdn.io/media/6UY8dMXpj8ZuvSYfsF0