Ich war beim #Javaland und hab da gelernt, dass #Haskell als #Frege inzwischen angeblich mit #Java interoperabel/kompatibel sei. (mein letzter Versuch vor Jahren war mehr Krampf als brauchbar).

Dadurch spiele ich gerade wieder mit Haskell rum und freue mich. z.B. über Literate Haskell. Ein Dokument, wo man gleichzeitig Doku und Code schreibt. Wenn da steht "in diesem Block *someBlock* wird xyz gemacht", dann ist *someBlock* der reale Code, der compiliert wird.

Buroker likes to cite #Frege's essay 'Negation' as showing that the theory of propositions as acts of affirmation/denial (& of affirmation & denial as separate acts) in Port-Royal & #Locke is confused, but arguably this theory captures something Frege misses.

#philosophy #logic #language #histodons

I'm currently writing about #Locke, & I'm worried that my draft sounds like I'm simultaneously grumpy at Locke's interpreters for failing to take his ideas seriously & grumpy at Locke for not being as good at philosophy as #Arnauld & #Berkeley.

Trouble is, poor Locke was very popular among 'analytic' historians of #philosophy in the 20th century & those folks think every time Locke agrees w/ #Frege he's confused, but if they had understood the Port-Royal Logic they wouldn't've thought that.

So glad to be part of this special day to honour Eva Picardi's philosophy and legacy: https://www.iusspavia.it/sites/default/files/2022-12/Rari%20nantes%20in%20gurgite%20vasto_def2_2.pdf where two new volumes of Eva's work curated by Annalisa Coliva are presented #Frege #mind #psychology #language #logic @philosophy @philosophyofmind

Sadly, Gottlob Frege (1848-1925), the founder of analytic philosophy & quantificational logic, was also a Far-Right extremist and an eliminationist antisemite. A supporter of the fascist DVFP, then in a formal alliance with the Nazis, Frege proposed that an ultranationalist political theology could boost the prospects of the extremist Far Right. Read more here:
https://publicautonomy.org/2022/06/29/on-gottlob-freges-volkisch-political-theology/
@philosophy

#philosophy #analyticphilosophy #Frege

@bberno @alexandru
Ok, college:
#Fortran #Pascal
for money:
#ASM (8080, 6502, ICL, x86)
#COBOL #C #CPP
#Smalltalk #Eiffel #Java
#JoCaml #Scala #Golang
#Haskell
for fun:
#Frege #Rust

When your love of German punk and functional programming are in conjunction
#DieTotenHosen #frege

@codinbzh
#Frege by @mittie