rudy, to ai
@rudy@mstdn.ca avatar

Sally (a girl) has 3 brothers. Each brother has 2 sisters. How many sisters does Sally have?

Here are 60 LLMs getting it wrong (via Vince Vatter @vatter.bsky.social)

https://benchmarks.llmonitor.com/sally

Nonilex, to politics
@Nonilex@masto.ai avatar

The Who Need

They’re embracing & upending .

Several years ago, the scientist Michael Bang Petersen… wanted to understand why people share on the Internet. He & other researchers designed a study that involved showing participants blatantly false stories about & , such as , , , & Donald .

https://www.theatlantic.com/ideas/archive/2024/02/need-for-chaos-politicsl-science-concept/677536/

Nonilex,
@Nonilex@masto.ai avatar

The subjs were asked: Would you share these stories online?

The results seemed to defy of modern or . “There were many…who seemed willing to share any , regardless of the party…,” Petersen said. These participants didn’t seem like stable partisans of the left or right. They weren’t even negative partisans, who hated 1 side w/o feeling allegiance to the other. Above all, they seemed drawn to stories that undermined in every system of .

ambergrey, to music
@ambergrey@mastodon.social avatar
arfy, to music

I'm arfy, a long-time fan of via , as well as just enjoying music in all of its various forms. These days my compositions are few and far between, but the interest is definitely still there, especially now I have access to and Native instruments Komplete Kontrol and its system of . I still love keeping up with the music scene and the technologies coming down the pipe. My other big interest at the moment is , and , particularly of and how it evolved from a mix of Germanic, , and all sorts of others. Also I'm an aspiring operator, wanting to get my foundation Licence. I think that's it for now, so, 73s!

Onj, to Logic
@Onj@mastodonmusic.social avatar

#'LogicEase' is a new venture aiming to make using Pro easier to use for and visually impaired users. Find out more here: https://logicease.org/blog/

RanaldClouston, to ComputerScience
@RanaldClouston@fediscience.org avatar

I've been on Mastodon for a year, so it's time for a new pinned post with an updated dog pic! I'm a lecturer in at Australian National University in , / country. I research , , and a little , and teach an intro to programming class in . Sometimes I post about work; when I'm busy at work I'm more likely to post about , my , and other pleasant distractions

Snowshadow, to math
@Snowshadow@mastodon.social avatar

Complexity Theory’s 50-Year Journey to the Limits of Knowledge

"How hard is it to prove that problems are hard to solve? Meta-complexity theorists have been asking questions like this for decades. A string of recent results has started to deliver answers.

https://www.quantamagazine.org/complexity-theorys-50-year-journey-to-the-limits-of-knowledge-20230817/?mc_cid=3a7c726c9f

ppatel, to music
@ppatel@mstdn.social avatar

announces Final Cut Pro and Pro for , available as subscriptions on May 23; Final Cut requires an M1 chip or newer and Logic needs A12 or newer

https://9to5mac.com/2023/05/09/final-cut-pro-logic-ipad/

Onj, to random
@Onj@mastodonmusic.social avatar

I've talked before about how some default metronome sounds are stupid.
, ... Just go home. Go home, stay at home and don't let anyone have to hear that shower singing noise. Kill it with fire. Or water as the case may be.

... Where you going with that? You can't leave the house with that stupid click. Get to your room!

... Reaper... What? Just no. Don't even look at me like that, you know you're just wrong. Stop it. Don't!

... Finally someone I'm not embarrassed to be seen with. Well done, well done.
... Yep, you ain't half-bad either. Good. Proud of you.

Sure, you can make others behave nicer, but why are so many default metronomes just such a pile of shite?

etcetera, to mathematics French
@etcetera@c.im avatar

Vous êtes 99 enfermés dans une pièce. Chacun doit choisir un nombre entier entre 1 et 100, et ce dans un temps limité et en autonomie (sans coordination avec les autres personnes). Vous ne survivrez que si personne d'autre ne choisit le même nombre que vous. Lequel choisissez-vous et pourquoi ?

⚠️ Please boost + répondre en mode content warning.

Onj, to Logic
@Onj@mastodonmusic.social avatar

It's 11 update day, so while I wait excitedly for a whole new version number to drop, as we go from V10 to V11, what better way to pass the time than to copy text I sent to a Logic WhatsApp group and email list into , chuck some music under it and make a silly production out of it? In Logic obviously.

SirRantsALot, to Logic
@SirRantsALot@mstdn.party avatar

The major term (P): Revenge is a dish best served cold
The minor term (S): Gazpacho is a dish best served cold.
The middle term (M): Gazpacho is the best dish when served for revenge.
🤨

ScienceCommunicator, to climate
@ScienceCommunicator@mstdn.science avatar

pollution is harmful to people & is causing [1,2]

People burn wood [3]

Conclusion. People’s activities are harming themselves & causing climate change

Ref.

  1. The immediate impact of substituting wood for is an INCREASE in atmospheric relative to coal. https://dx.doi.org/10.1088/1748-9326/aaa512

  2. Woodsmoke is pollution https://www.dsawsp.org/

  3. Warning! Misinformation! Burning "certified wood" also causes diseases & global heating https://www.gov.uk/guidance/selling-wood-for-domestic-use-in-england

lydiaschoch, to Logic
@lydiaschoch@mastodon.social avatar

Who else likes logic grid puzzles like these ones? https://www.brainzilla.com/logic/logic-grid/

I had a teacher who loved them. Sometimes she’d give us one to work on. After a while, she’d put up that same puzzle on the projector and explain how to solve it for anyone who didn’t find all of the answers.

Her enthusiasm for them made me a lifelong fan of them, too.

ByrdNick, to Logic
@ByrdNick@nerdculture.de avatar

If mapping arguments improves critical thinking, then argument mapping skills should correlate with critical thinking skills, right?

Alas, they didn't correlate among 115 Advanced Placement students across 4 high schools who mapped arguments for universal basic income (from a Douglas Murray article).

proquest.com/docview/2915819770/abstract/336A7C32595F4464PQ/1

Pages 18 and 19 explaining the critical thinking test and assigned reading by Douglas Murray.
An example of a student's scored argument map (Figure 5a).
Pages 46 and 47 showing correlations between critical thinking test scores and each argument mapping score.

rzeta0, to Logic
@rzeta0@mastodon.social avatar

Most of us agree that

P ⇒Q

is the same as

"If P is true, then Q is true"

But I can't see how it is also the same as

"P only if Q"

Help! 😵‍💫

rzeta0, to ai
@rzeta0@mastodon.social avatar

If you struggled with the traditional textbooks .. this short course was developed just for you.

✅ Develop understanding through hands-on bite-size examples.

✅ Example code is minimal to avoid distraction.

✅ Talk through how new ideas work, step-by-step.

✅ Avoid terminology and jargon if it is likely to hinder more than help.

YouTube: https://www.youtube.com/@prologbyexample/videos

Web: https://prologbyexample.blogspot.com/p/toc.html

GitHub: https://github.com/prologbyexample/code

Book: https://www.amazon.com/dp/B0BTQ7P69H/

rrrichardzach, to Logic

Lolz

ByrdNick, to conservative
@ByrdNick@nerdculture.de avatar

Should appeal to politically people who are paranoid about ?

Does “” thought heroize only White, male ?

This longish piece in the sketches the history of , its proponents (like ), its recent proponents on the right (like ), and more.

https://www.newyorker.com/magazine/2024/03/18/have-the-liberal-arts-gone-conservative

jimdonegan, to mathematics
@jimdonegan@mastodon.scot avatar
consequently, to Logic
@consequently@hcommons.social avatar

Coming up in less than 18 hours, our two-day Proofs, Rules and Meanings extravaganza. Sophie, Viviane and Francisca have been working hard to organise a productive two days of logic, and our participants get to enjoy the fruits of their hard work very soon.

https://www.st-andrews.ac.uk/arche/event/workshop-proofs-rules-and-meaning

KhouryVis, to psychology
@KhouryVis@vis.social avatar

Congratulations to Helia Hosseinpour, Laura Matzen, Kristin Divis, Spencer C. Castro, and @lace for the acceptance of their paper "Examining Limits of Small Multiples: Frame Quantity Impacts Judgments with Line Graphs" to @ieee_tvcg @computersociety ✨✊

Preprint available here:
https://osf.io/preprints/psyarxiv/a6k8z

dmm, to ChatGPT
@dmm@mathstodon.xyz avatar

"No, A → B is not equivalent to - B → - A in logic."

Except that the truth table that ChatGPT [1] generated says the opposite. Also, see the law of contraposition [2].

Claude [3] makes the same mistake.

I've had pretty good luck with the chatbots. This is the first thing that I have asked that all of them seem to get wrong.

Interesting.

References

[1] "ChatGPT", https://chat.openai.com

[2] "Contraposition", https://en.wikipedia.org/wiki/Contraposition

[3] "Claude", https://claude.ai

#chatgpt #claude3 #firstorderpredicatelogic #math #maths #logic

dave, to LLMs
@dave@mastodon.solar avatar

can't handle the truth (tables). They are impressively bad at .

If A xor B is true, and B xor C is true, then A xor C is false.

Reasoning is still the Achilles Heel of .

image/png
image/png

freeschool, to mastodon
@freeschool@qoto.org avatar

Your Love and Logic Podcast #1

Mastodon based communication to encourage co-operative style contributions and participation

Messages and submissions welcome of any kind.

Listen, Follow, click Notification Bell for updates & new audio.

Let me know what you think! @freemo @bhaugen
based

  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • kavyap
  • DreamBathrooms
  • thenastyranch
  • magazineikmin
  • osvaldo12
  • khanakhh
  • Youngstown
  • mdbf
  • slotface
  • rosin
  • everett
  • ngwrru68w68
  • Durango
  • anitta
  • InstantRegret
  • GTA5RPClips
  • cubers
  • ethstaker
  • normalnudes
  • tacticalgear
  • cisconetworking
  • tester
  • Leos
  • modclub
  • megavids
  • provamag3
  • lostlight
  • All magazines