Mastodawn

#lispyGopherClimate #ARCHIVED https://toobnix.org/w/jxqLVhztVoXbUzuukGg77P as every week

#climateCrisis : The LLMs are well-studied to be doing up to three orders magnitude more power use per token you see viz tokens internally consumed (common 'not-that-bad' metrics are 1000x too low). #AI

The new Ontolog summit 2026 Foundation weekly track is incredible. Every single student must watch Ken's 15 minute what-are-foundations seminar. https://ontologforum.com/index.php/OntologySummit2026

My own #commonLisp #ontology #lambdaMOO #logic

Show thread

screwlisp

Some links we mentioned:

https://www.wheresyoured.at/the-subprime-ai-crisis-is-here/

Ken (Baclawksi)'s 15 minute what-are-foundations seminar: https://youtu.be/Ba8Cs0eVeHo?si=T4VdKtb3GPxWB8fI #mustWatch #ontology #mathematics

https://ontologforum.com/index.php/OntologySummit2026

https://nhplace.com/kent/

The Subprime AI Crisis Is Here

Hi! If you like this piece and want to support my independent reporting and analysis, why not subscribe to my premium newsletter? It’s $70 a year, or $7 a month, and in return you get a weekly newsletter that’s usually anywhere from 5,000 to 18,000 words,

Ed Zitron's Where's Your Ed At

Show thread

Paul SomeoneElse 19h ago

What's this topos theory business?
I see that guy wrote an introductory R book
and it supposedly talks about markov chains some.
(R is interesting to me since I failed at using SAS in school, and
maybe getting good at R would redeem me.)

Show thread

screwlisp 19h ago

@pkw If you watch the fifteen minute video, you will see! It is about ontology, not particularly about any of the programming things Ken has taught (or invented).

Routine mathematics can be constructed using set theory (classic), or category theory (e.g. type theory), but it can also be constructed using the relatively little known topos theory. This shows there is more than one different and incompatible foundation model for normal mathematics. (Set theory and category theory are well known).