#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 ! 
Recent searches
Search options
#logic
4 posts4 participants1 post today
#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?
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...
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
Replied to foldworks
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
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
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.
ESSLLI 2025Welcome to ESSLLI 2025ESSLLI 2025
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.
Centipede implies
Millipede implies
Billipede implies
Bollypede implies
Bollywood Human Centiped implies
Porno Adaptation of Bollywood Human Centipede.
Kira AevaFolks 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
arXiv.orgLogic.py: Bridging the Gap between LLMs and Constraint SolversWe present a novel approach to formalise and solve search-based problems using large language models, which significantly improves upon previous state-of-the-art results. We demonstrate the efficacy of this approach on the logic puzzles benchmark ZebraLogicBench. Instead of letting the LLM attempt to directly solve the puzzles, our method prompts the model to formalise the problem in a logic-focused domain-specific language (DSL) called Logic.py. This formalised representation is then solved using a constraint solver, leveraging the strengths of both the language model and the solver. Our approach achieves a remarkable 65% absolute improvement over the baseline performance of Llama 3.1 70B on ZebraLogicBench, setting a new state-of-the-art with an accuracy of over 90%. This significant advancement demonstrates the potential of combining language models with domain-specific languages and auxiliary tools on traditionally challenging tasks for LLMs.
#MULCIA: Assistant professor in mathematics with focus on mathematical logic at Stockholm University. https://tinyurl.com/27qnzgq8 #Job #Logic #Math
tinyurl.comAssistant Professor in Mathematics with focus on Mathematical LogicWith its long tradition of excellent research, the Department of Mathematics at Stockholm University has a prominent place in Scandinavian mathematics. The department consists of three departments: ma