screwlisp

#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

Apr 7 at 11:38pmWeb
Show threadscrewlisp1d ago
Chat on lambda.moo.mud.org as always please ! co guest @join mdh #lambdaMOO
Show threadscrewlisp1d ago

We were asked who the incredible original music DJ *after* the episode is:

That's DJ Bugspray (ae)'s Hacker Worlds.
Special Ed with Dj Bugspray the same timeslot the day later (Wednesday night in the Americas) is also them!

@northernlights is the show Praise-then-darkness *before* the lispy gopher climate, and @hairylarry is the host of https://sbblues.com/ .
You can find the show calendar on https://anonradio.net/#qtip

Show threadhairylarry16h ago

@screwlisp @northernlights

I will continue listening to catch DJ Bugspray.

Show threadscrewlisp1d ago

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 threadPaul SomeoneElse1d 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 threadscrewlisp1d 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).