Notices by Indieterminacy (indieterminacy@social.coop)

@cwebber That Racket packaging bug was god talking to you:
https://social.coop/@cwebber/114722839491269899

@owen

@cwebber This video from Markus Triska covers meta predicates and decidability.
https://inv.nadeko.net/watch?v=m3cbgebcKng

It left me with a kind of dread hearing such CS positions, though I guess there was enough insights and knowhow to get over it.

@cwebber @spritely Cool!

@dpk It may be worth looking into Pengines (developed for SWIProlog and hopefully evolving into Web Prolog form at some point).
There are some interesting ideas buried in there regarding containerized distributed services that may be worthy of study and comparison:

https://www.swi-prolog.org/pengines/
https://www.swi-prolog.org/pldoc/man?section=pengine-overview
https://github.com/SWI-Prolog/packages-pengines

@cwebber Sure, provided that classic usability isnt dropped (this has affected many communities).

Ive been intrigued by Jean Louis' enthusiasm for LLM dictation is worth noting:
https://list.orgmode.org/Z9h8IIiJsYyZXTeD@false/

Not only for Jean's specialism on #pkm but additionally his historic emphasizing libresoft philosophy.

(Itching for the chance to scat inside Emacs should I ever get the time).
@hailey

@cwebber Out of curiosity, as somebody who got into advanced typing techniques (I recently heard your talk on that peeling injury), have you had any thoughts on typing; recall; and throughput?

For instance, I feel ambiguous when I valorize typing to the point where its borderline repetitive. Im unsure whether Ive succeeded (enough to think through process) or merely am missing one or more procedures to then hit real artisanal strides. @hailey

@cwebber @spritely Im pleased these areas are being focused on, I was getting a bit worried about that domain going stale at the Lisp end.

Ive been focusing on Scryer-Prolog to understand logic-programming better instead.

Hopefully when Im satisfied at my end Ill be able to adapt enough of what Ive learnt and built back to the Lisp camp.

@cwebber I feel brutally discombobulated by this thread - if only my brain had a soft reset option. #congrats

@GossiTheDog Its rather hypocritical that the Coop would be wading into the outsourcing game

@cwebber This thread from academics discussing it not only presents a picture on the strains of regulating such widespread activity but points towards a mental strain that such interrogations place on the empathetic staff:
https://mastodon.social/@VCP/114492468455911725

@janneke You might find this conjecture on monotonic logic to be funny

https://github.com/mthom/scryer-prolog/discussions/2525

@janneke You are missing a trick, you have been developing a binary seed that have been feeding gnus for years.

All you needed was a farmhouse - THEN they would compensate for you not to working on different sections of it @cwebber

@cwebber Given the “$HOC” House of Commons coin scam its a shame that ministers in that house dont take crypto seriously:

https://www.independent.co.uk/news/uk/politics/crypto-scam-labour-lucy-powell-hacked-b2733517.html

@cwebber While I agree with your point and your concerns it is worth noting that AI generated artwork has been used by freedom orientated activists.

For example, the wedding scene preceding the film, The People's Joker was an exemplary (albeit crude) approach at satire as a means of appropriating cultural markers. The use of an AI generated Carson was an effective mechanism for setting mood.
Nethertheless, Vera Drew's speech (future suffering from the film's infamy) makes clear such asymmetries

@cwebber The philosopher Kid Creole, covered it with his theses on #pseuds:
> Some people live off other people's dreams
> Reciting lines in someone else's scene
> They reach the sky, never touch the dirt
> Some other guy does all the work

> Some people crave uncle's pumpkin pie
> They got the fruit, ain't got the spice
> Do all they can, take the recipe
> Then take the prize for originality

Imitation, Tropical Gangsters

@cwebber as somebody who actively takes coding risks to the point where I have to be mindful of things breaking and coding being not easily understandable by outsiders, it seems perverse seeing a (growing?) body of people accepting increased chaos and brittleness of processes for instant convenience. En masse, it looks like a dangerous moral hazard experiment. A shame ML hasnt been explored by more prior to AI. Its adoption is akin to caffeine, amphetamine or opiates as an industrial strategy.

Doing another Fosdem talk:
https://fosdem.org/2025/schedule/event/fosdem-2025-6337-constraint-logic-programming-from-the-perspective-of-annotations/

Lots of themes to be covered, looking forward to presenting it

@cwebber Theres a study on babies, where they are shown a board featuring a smiley trying to go up the hill. There are 2 others, one preventing the ascend, the other assisting.

The babies are offered the others -- they all universally reach for the assister, demonstrating empathy being a hardwired instinct.

Months later they repeat the test.
Its only then that the deviation from the babies to reach for the antagonist emerges -- its an acquired perspective/behaviour in these young meatsacks.

@ps @how Concerning the Offdem webpage, a certificate has expired!

@onepict The cartoon in the Guardian features long covid
https://www.theguardian.com/commentisfree/picture/2023/dec/10/ella-baron-rishi-sunak-evidence-covid-inquiry-cartoon

@baslow @inthehands @SETSystems Ive noticed that hackerspaces have been capable of harbouring autodidact behaviours and creating an unpressured and low cost of entry for experimenting and troubleshooting.