#FreshSoundFriday: Layering 2 AX73s to get this Cinematic Oceanligh preset from the AX73 Strata Collection by Heat Audio. Dive into the sound Split->Select->Layer !
#FreshSoundFriday: Layering 2 AX73s to get this Cinematic Oceanligh preset from the AX73 Strata Collection by Heat Audio. Dive into the sound Split->Select->Layer !
#formalMethods #gamedev #programming #commonLisp #acl2 #itch https://lispy-gopher-show.itch.io/lispmoo2/devlog/907091/formal-game-logic
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?
Spring Sale on Steam has just arrived! Buy Quadrata and Lovux with 40% OFF between Mar 13th and Mar 20th!
https://store.steampowered.com/developer/mindlabor
My solution to the liars paradox is geometry. Especially topology.
A liars paradox is just a linguistic Möbius strip. It has only one side and only looks like having more.
If you follow one path, you will realize it.
The >>whole<< object is a lie.
'We live in a world where everyone is lying'? Welcome to the world of https://en.wikipedia.org/wiki/Liar_paradox
#paradox #TheGuardian #logic
#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
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.
https://www.youtube.com/watch?v=qQ7hfWtTR_E 2024 Jul 12
https://en.Wikipedia.org/wiki/Temporal_paradox
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
36th European Summer School in Logic, Language and Information
https://2025.esslli.eu/
Registration is now open for students!
Boosts are appreciated.
@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.
Centipede implies
Millipede implies
Billipede implies
Bollypede implies
Bollywood Human Centiped implies
Porno Adaptation of Bollywood Human Centipede.
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
Logic.py: Bridging the gap between LLMs and constraint solvers. ~ Pascal Kesseli, Peter O'Hearn, Ricardo Silveira Cabral. https://arxiv.org/abs/2502.15776 #LLMs #Logic #SAT #SMT
#MULCIA: Assistant professor in mathematics with focus on mathematical logic at Stockholm University. https://tinyurl.com/27qnzgq8 #Job #Logic #Math