shakedown.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A community for live music fans with roots in the jam scene. Shakedown Social is run by a team of volunteers (led by @clifff and @sethadam1) and funded by donations.

Administered by:

Server stats:

276
active users

#logic

4 posts4 participants1 post today

#formalMethods #gamedev #programming #commonLisp #acl2 #itch lispy-gopher-show.itch.io/lisp

Since yesterday I advocated strong use of defgeneric, defmethod and McCLIM's define-command, here I present

just giving lisp's defun to acl2's first order #logic.

I present a batch processing style for using acl2 both in #shell and in #lisp with a worked example.

Thoughts and opinions, gamedevs and logical types?

itch.io(formal) game logic - lispmoo2 by screwtape1. Intro This begins part 2 of https://lispy-gopher-show.itch.io/lispmoo2/devlog/906389/my-programming-principles-for-game-dev-12 . Which contains the first five parts. These second five parts contain...
Replied in thread

#Microsoft's viral paper about *correlations* between #AI use and #criticalThinking also has "impact" in the title (despite admitting "Our analysis does not establish #causation"). 🤦‍♂️

#Confidence in #GenAI predicted LESS critical thinking.

SELF-confidence predicted MORE critical thinking.

PREDICTED ≠ CAUSED

microsoft.com/en-us/research/p

 
Every #TimeTravel #Paradox Explained in 8 Minutes.

At The #KrononautMoon Project, we long to see real Time Travel in our time, while being painfully aware of the criticisms of the concept. Still, despite its near-hopeless #logic, we are moving ahead with our attempts to contact #TimeTravelers on Thu-Fri Nights of next week. Please join us under the #FullMoon & #TotalLunarEclipse, and share lots of #MoonPhotos.

🔗 youtube.com/watch?v=qQ7hfWtTR_ 2024 Jul 12
🔗 en.Wikipedia.org/wiki/Temporal

Hey there, any #VoiceOver peeps know how to configure a #UniversalAudio Solo/Arrow interface to record my #VO in a #Logic session with a client directing me on a video call? I’ve tried all the videos and articles about routing and virtual channels in #Console but in a recent Meets call, Meets just hijacked my audio so it was really quiet in Logic. Don’t know what I’m doing wrong. If you could explain it like I’m a baby that would be awesome. Don’t wanna use Loopback.
#HomeRecording #Video

Replied in thread

@tg9541 @bookstodon @philosophy

yes, agree in a way. but do not see a win in playing off those two against each other, as later (after their common work PM) their work developed rather independently in more or less complementary areas, sometimes overlapping in #PhilSci topics.

E.g., if one focusses in #philosophy first of all on questions of #ontology (of science), ANW's process ontology will be much more impressive than the duplicating entities of logical constructs in say 'logical atomism' (which imop is a late and needless sin of BR).

If, on the other hand, the main focus is #logic and logic related
#epistemology and/or #PhilMath, there is roughly anything deeper and more worth considering than say the theory of incomplete symbols; and perhaps no more careful and penetrating study than the ramified theory of types as developed from the circulus vitiosus argument, even when this theory was abandoned in the sequel for independent reasons.

Folks who use Logic, I've got a dilemma here. I' a complete newbie to using the program, and the only way I know how to learn anything about using it extensively right now requires that I pay 50 British pounds an hour, which I quite frankly cannot afford at this point. I've got the VOLogic keymap installed, which is the keymap that this person uses, and I'd prefer to use that rather than something like Keyboar Ninja. Does anyone have any suggestions as to where to start at this point? Thanks! #Logic #Mac #Voiceover #Blind #Musician #Composer #Music