Email or username:

Password:

Forgot your password?
22 posts total
blake shaw 🇵🇸

"Using the compiled #scheme code is around 470x faster than our current interpreter, at least for this simple arithmetic loop."

The #Unison project on replacing their compiler backend with #Chez scheme
unison-lang.org/whats-new/jit-

#lisp #compilers

blake shaw 🇵🇸

andy keep's #nanopass framework for chez #scheme should become the #LLVM of functional programming

blake shaw 🇵🇸

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.

Go Up