It's #Logic 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 #ElevenLabs, chuck some music under it and make a silly production out of it? In Logic obviously.
Well, I’m now beyond frustrated with Apple. Was working with Apple Loops in Logic this morning, went to use the search feature, picked a filter and now all the loops are totally gone. I reindexed them, nothing; reinstalled & reindexed them, nothing. Deleted the preference file, rebooted, nothing. Lost all my settings when I deleted the preferences too. So looking like I need to delete anything Logic related for preferences & logs the reinstall Logic. 🤬 #apple#logic#recording#gearsquad
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 ✨✊
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.
I think I’m ready for my talk at our two-day proof theory workshop, starting tomorrow: https://consequently.org/presentation/2024/lambda-mu-arche/ — I have a lot to pack in to 25 minutes, so the monster-sized handout contains some of the details I’ll skim over in the talk.
I have a new(ish) preprint on the arXiv! You can find "Invariants of structures" at https://arxiv.org/abs/2402.18063. This is a somewhat embellished version of one half of my PhD thesis. A talk which I gave about this subject in the fall of 2022 is available at https://www.youtube.com/watch?v=5TeGZZ_mepc.
In this new version, I have finally added an explicit description of something I've been telling people for years: My main result shows that any first-order property of finite structures can be computed by counting small substructures. Perhaps surprisingly, this comes as a result of synthesizing a categorical treatment of Bourbaki's notion of mathematical structure with Hilbert's classical result on symmetric polynomials.
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.
So a #fallacy is defined by how the conclusion was arrived at, not what the conclusion actually is. Any conclusion that was arrived at through fallacious reasoning, is a logical fallacy.
However, that only proves that the conclusion is illogical, it doesn't prove that the conclusion is logically false.
To see how amazing this is: it's standard that you can write a program to compile Python programs to Java programs and vice versa. Just from those two compilers, Rogers's Equivalence Thm implies that there is a total computable function f that transforms Java programs into input-output-equivalent Python programs that is 1-to-1 (not so surprising) and onto - every Python program arises as f(p) for some Java program p, and p and f(p) compute the same function. That is pretty surprising!
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).
I've talked before about how some default #DAW metronome sounds are stupid. #Cubase, #ProTools... 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.
#Logic... Where you going with that? You can't leave the house with that stupid click. Get to your room!
#Reaper... Reaper... What? Just no. Don't even look at me like that, you know you're just wrong. Stop it. Don't!
#Ableton... Finally someone I'm not embarrassed to be seen with. Well done, well done. #Maschine... 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?
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.
#BOTD: Yan Fu 嚴復 (1854–1921), the most important translator of modern #Western ideas into #Chinese. He translated, among others, Thomas Huxley's #Evolution and Ethics, Adam Smith's Wealth of Nations, and John Stuart Mill's On #Liberty and A System of #Logic.
Does anyone have recommendations for a good beginners midi controller that's fairly cheap, ideally a 25-key one? I don't want to break the bank just yet, but I'm getting incredibly tired of Musical Typing and trying to play complex melodies on a MacBook's internal keyboard. #Musician#Logic#Midi