Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
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:

275
active users

shakedown.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.4

#logic

6 posts6 participants0 posts today
Public
screwlisp

#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
Public
Nick Byrd, Ph.D.

#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

The title versus the admission on page 14.
#computerScience#LLMs#work
Public *
The Krononaut Moon Project 🌑

 
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

YouTubeEvery Time Travel Paradox Explained in 8 MinutesBy Explained-4-You
#Kronodon
Public
bgm

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
Public
Friedrich Wilhelm Grafe

@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.

Public
🌟Kira Aeva🌟

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

Public
José A. Alonso

Logic.py: Bridging the gap between LLMs and constraint solvers. ~ Pascal Kesseli, Peter O'Hearn, Ricardo Silveira Cabral. 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.
Public
Lkdc

Sign seen in a Lidl supermarket in the United States:

"Fresh butter croissant
* imported from France
* baked fresh in stores"

No one else in the store seemed to find the sign amusing, but I did. How can a croissant sold in the United States be both imported from France AND baked fresh?

#Lidl#logic
ExploreLive feeds
About