And then the men with guns tell you to do it anyway https://lobste.rs/s/u7v2sn #philosophy #privacy #security
https://shkspr.mobi/blog/2026/08/and-then-the-men-with-guns-tell-you-to-do-it-anyway/
philosophy
AI, Gods and Selves: Incredibly Effective Illusions via @paulbutgold https://lobste.rs/s/tdy6ws #video #ai #philosophy
https://www.youtube.com/watch?v=9X1CQlrwgDI
OMFG, 🤌 **fantastic** philosophy article and video (about "unicontext"):
"A Philosopher’s One-Word Theory to Explain Why the World Feels So Weird":
https://www.derekthompson.org/p/a-philosophers-one-word-theory-to
#philosophy #culture #SocialMedia #internet
Talks about the cultural shift from "bottom-up" style vs. "top-down" style, of where to place our attention in our day-to-day lives. Also how everything got more and more abstract, as our culture became more metropolitan. All our heavy internet usage is just a continuation of this trend. @autistics
notes and customs
https://www.letters.directory/
@writingbooks
@writingcommunity
@bookstodon
@violencestudies
#writingCommunity #books #bookstodon #ViolenceStudies #feminism #feministGeography #SpaceAndPlace #capitalism #ScienceFiction #SciFi #economics #finance #history #sociology #philosophy #poverty #classism #authoritarianism #writing #InternetArchive #humanities
95 reasons for having your own website https://lobste.rs/s/v3xuxn #philosophy #web
https://bellkiosk.website/blog/reasons-to-website.html
Conviviality in computational science via @ayba https://lobste.rs/s/pg7hce #compsci #philosophy
https://blog.khinsen.net/posts/2026/07/06/conviviality.html
I think I say this a lot but I am just so incredibly burnt about all the years I wasted listening to my NT siblings parroting their #NTPsychology at me, shaking their heads at me like I’m the one not getting it.
.
I was born knowing that and they weren’t and can never learn it, they know nothing, but they’re going to teach what they do not understand to the person who wrote the book. NT psych is business psych, army psych. It is not humanist or medical, it’s only there to keep you going to work.
.
They spent the greater half of all of our lives telling me something is wrong and guessing about my possible early abuse, they listened to me tell them I had taken the whole idea further and refused to dish out even “normal,” levels of abuse, that I forsook and banned punishment, period - and when my bubble popped, I found out they hadn’t heard or believed any of it, and assumed I had been rough on the kids, despite everything I ever said or did: they couldn’t hear, “no punishment.”
.
It’s not a thing. The NT have no brain path, no neuroreceptors for the negation of punishment. There are probably more aspects to the actuarial function, but that’s part of it and they don’t have it.
.
What of my life they didn’t wasting talking their psychobabble, I wasted trying to tell them not to hurt people and expect things to improve because of it. THAT’s what I understand to be the core idea of lower case “p” psychology.
.
I didn’t learn/figure out until my sixties that there are different brain types and that they don’t all have all the features, and then I finally saw that they just can’t get it.
.
And yes, I pathologize. It’s a problem.
.
Sorry. 💔😇
.
/1 (maybe)
@autistics #AuDHD #ND #Psychology #Philosophy #ActuallyAutistic
Edited 63d ago
The anguish of choice
In the shattered aftermath of war, Sartre delivered a formidable lecture on freedom and meaning. Its urgency remains
by Skye C Cleary
A Love Letter to Object Orientation https://lobste.rs/s/9mocvp #api #compsci #philosophy
https://blog.mempko.com/a-love-letter-to-object-orientation/
I would've thought that was the printing press but what do I know 😂
But know all industries are dirty and corrupt, so buy Indie when you can...
@bookstodon
@books
@philosophy
@humor @humor@lemmy.world @aiop
#Publishing #Indie #Thinking #Meme #Philosophy #Humor #Humour #Funny #BookMemes #Reading #Readers #Litterature
#Books #Bookstodon
Edited 48d ago
For months I've been publishing essays on late-diagnosed autism. You already see the titles here. I've opened a newsletter for those who also want to follow the theoretical research (preprints on Zenodo, open access) and the second book in progress.
Subscribers receive My AuDHD Organization System immediately, as a free PDF.
https://www.christiangajewski.com/newsletter
#ActuallyAutistic #Neurodiversity #Autism #MentalHealth #ADHD #Neurodivergent #Psychology #Philosophy #AuDHD #productivity
RE: https://mstdn.social/@archaeology/116942317256778474
My point is, what is the point of trying to show the violence is forever except to justify it today? What good does it do us to think that it’s forever?
.
#Evolution #Psychology #NTPsychology #Philosophy #ActuallyAutistic #ND #AuDHD @autistics
I’m taking a huge risk in starting an educational organization at a time when the conditions for risk-taking aren’t ideal. I wrote about what this has looked like recently, & why I’m doing it:
https://elftheory.substack.com/p/why-im-starting-lenox
If you don't like Substack, this essay is archived on my very non-Big Tech website:
https://emmastamm.com/why-lenox/
We've already made a lot of magic happen through organic connections. If you're at all inclined to like & share, please know it makes a real difference! ✨ 🙏
New preprint out! One of two collaborations with Marcus Neustetter that we submitted to the #ArtScience journal #Leonardo.
"Co-Creation: Systems Thinking Beyond the Machine"
https://zenodo.org/records/21416181
#science #philosophy #art #complexity #sustainability #cocreation
Unfortunately you sometimes need to do the thing https://lobste.rs/s/ry92nr #philosophy #programming #rust
https://griffinberlste.in/blog/do-the-thing/
Times may change, but silly people are as silly as ever 😁
@psychology
@humor @humor@lemmy.world @aiop
#Thinking #Dog #Meme
#Philosophy #Psyhology #Humor #Humour #Funny #Dogs
Mindful coding: Purpose and intention https://lobste.rs/s/864m3v #philosophy #programming
https://var0.xyz/posts/mindful-coding-purpose-and-intention.html
What even are microservices? https://lobste.rs/s/7qtdhk #distributed #philosophy
https://var0.xyz/posts/what-even-are-microservices.html
Regarding the LB, https://fedi.kbg.sh/users/kevin/statuses/117085582358711627
There's an interesting thing about strongly typed programming languages, especially dependently typed ones (1), wherein if you know the type signature of a function there is sometimes only one implementation of it, and that implementation will have lots of nice properties (e.g. Philip Wadler's Theorems for free! paper, also Jose Oliveira's work, and the followups to these). It's a fascinating set of results that holds out the possibility of at least some amount of automatic programming that has desirable, provable properties concerning correctness, resource use, security, and so on.
However, that "some amount" is very important to remember. I'd argue that no matter how far such work is pushed, there will always be an infinite space of things one might wish to express in software that cannot be automatically programmed in that way. That's the Therac-25 space the LB evokes. We all know this intuitively, I think, yet in the various mystifications thrown up about computers and software and now LLMs it can be hard to remember.
For example, I'd say so-called "side effects" or just "effects" are still a large blind spot of these methods. Without effects functional programming does little more than heat up a CPU (but the heat is an effect oops), so if we're being snarky we might say functional programming without effects isn't programming at all. But in spite of the gazillion attempts to do so, you really cannot faithfully capture all side effects of interest in a type system, for the simple reason that the real world is open-ended.(2) There's a funny contradiction that functional programming languages could not exist were it not for irreducibly effectful computational architectures to exist on. Asking the CPU to execute an instruction, and all the statefulness this necessarily involves, is a "side effect" in this view of computation, which is absurd.
For these reasons I've found it fruitful to conceive of functional programming as an intricate bureaucracy sitting between the programmer and the real world.(3) Set up enough bureaucracy and you can comfortably pretend most of the real world isn't there most of the time. Some people do this for so long that they begin to think the bureaucracy is the real world (4); or they try to warp the real world till it becomes more and more like the bureaucracy.(5) But the real world is oozy and eventually squishes around all attempts to constrain it in this way. Neglecting this is how people end up being harmed by digital technology.
#AI #GenAI #GenerativeAI #LLMs #Lean #math #ComputerScience #theory #FunctionalProgramming #philosophy
(1) "leanslop" in the linked post refers to Lean, a dependently typed functional programming language that's being used to formalize mathematical ideas. We should always remember that Lean originated from Microsoft Research
(2) There's a long history of philosophical arguments hiding behind that assertion but there's no space to get into that here. A less contentious way to put it would be that the claim that all side effects worth caring about can be captured in a type system is a philosophical commitment, not a fact about the world, and therefore it's possible it cannot be done
(3) We use terms like runtimes, preludes, standard libraries, or APIs/ABIs (among others) for this bureaucracy
(4) "Touch grass"
(5) Financialization and neoliberalism, e.g.
There's an interesting thing about strongly typed programming languages, especially dependently typed ones (1), wherein if you know the type signature of a function there is sometimes only one implementation of it, and that implementation will have lots of nice properties (e.g. Philip Wadler's Theorems for free! paper, also Jose Oliveira's work, and the followups to these). It's a fascinating set of results that holds out the possibility of at least some amount of automatic programming that has desirable, provable properties concerning correctness, resource use, security, and so on.
However, that "some amount" is very important to remember. I'd argue that no matter how far such work is pushed, there will always be an infinite space of things one might wish to express in software that cannot be automatically programmed in that way. That's the Therac-25 space the LB evokes. We all know this intuitively, I think, yet in the various mystifications thrown up about computers and software and now LLMs it can be hard to remember.
For example, I'd say so-called "side effects" or just "effects" are still a large blind spot of these methods. Without effects functional programming does little more than heat up a CPU (but the heat is an effect oops), so if we're being snarky we might say functional programming without effects isn't programming at all. But in spite of the gazillion attempts to do so, you really cannot faithfully capture all side effects of interest in a type system, for the simple reason that the real world is open-ended.(2) There's a funny contradiction that functional programming languages could not exist were it not for irreducibly effectful computational architectures to exist on. Asking the CPU to execute an instruction, and all the statefulness this necessarily involves, is a "side effect" in this view of computation, which is absurd.
For these reasons I've found it fruitful to conceive of functional programming as an intricate bureaucracy sitting between the programmer and the real world.(3) Set up enough bureaucracy and you can comfortably pretend most of the real world isn't there most of the time. Some people do this for so long that they begin to think the bureaucracy is the real world (4); or they try to warp the real world till it becomes more and more like the bureaucracy.(5) But the real world is oozy and eventually squishes around all attempts to constrain it in this way. Neglecting this is how people end up being harmed by digital technology.
#AI #GenAI #GenerativeAI #LLMs #Lean #math #ComputerScience #theory #FunctionalProgramming #philosophy
(1) "leanslop" in the linked post refers to Lean, a dependently typed functional programming language that's being used to formalize mathematical ideas. We should always remember that Lean originated from Microsoft Research
(2) There's a long history of philosophical arguments hiding behind that assertion but there's no space to get into that here. A less contentious way to put it would be that the claim that all side effects worth caring about can be captured in a type system is a philosophical commitment, not a fact about the world, and therefore it's possible it cannot be done
(3) We use terms like runtimes, preludes, standard libraries, or APIs/ABIs (among others) for this bureaucracy
(4) "Touch grass"
(5) Financialization and neoliberalism, e.g.
Edited 28d ago
The Dark Night of Mathematics https://lobste.rs/s/hrhb42 #math #philosophy
https://kirwinhampshire.substack.com/p/the-dark-night-of-mathematics
Man and the Computer - John G. Kemeny (1972) https://lobste.rs/s/ndprns #pdf #philosophy
https://archive.org/details/mancomputerbyjoh0000john