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.
Tried the demo for Heavier7Strings sample-based guitar VST, and it's pretty darn impressive! I'm a guitarist, but don't always have a recording setup ready to go, so this rocks a lot.
The price is a little steep (i.e. just above my impulse purchase limit), and so I'm wavering.
The chuggas and meedlies may finally win me over, though.
I've been gaming since the ZX Spectrum. I'm familiar with how absorbing/addictive games can be. But I don't think I've ever been absorbed by a game in quite this way before, that feels so good for me.
Starship EVO ["SEVO"] is a block-building game that's been six years in development with no end in sight. Rough edges abound. Nevertheless, the core building experience has its hooks in me something fierce and is rewarding me with experiences that are speaking to my soul.
Art has always been about Craft. About working beautiful miracles within limitations. SEVO's got me building and designing and problem-solving in a way that seems to have brought new instincts out of me, or at least revitalised old ones. The intuitive itch that a solution is possible, if only you just work it for a little while, dig around in the blocks and possibilities, and you'll find your David within the stone. Such an organic process. You look at one problem, solve it, and it creates new problems ripe for solving. A little journey of discovery and delight. If that sounds frustrating I'm here to say it is a profoundly relaxing space to be in, immersed in the joy of Creation.
Last night I adapted a simple A-B-B-A Logic circuit (the game has a rudimentary wiring system) to become an A>B>A-A I know sex is good but have you ever cracked a logic problem by yourself in a creative building game?So Incredibly satisfying.
Today, my friendship with #Django has developed serious cracks.
I realized by accident that QuerySet.filter(Q()) gives you all instances, suggesting that the Q() is in some sense equivalent to "true". The surprise comes when you have QuerySet.filter(Q() | Q(foo='bar')), which gives you only those instances where foo is "bar", even though the disjunction should also be equivalent true, since "true OR something" is always equivalent to true. This makes no sense.
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.
The subjs were asked: Would you share these stories online?
The results seemed to defy #logic of modern #politics or #polarization. “There were many…who seemed willing to share any #ConspiracyTheory, 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 #trust in every system of #power.
Am I the only one who unequivocally thinks that philosophy has made progress? Perhaps I have a different definition of what progress means, but surely I can't be the only one?
The number of theories and arguments that philosophers uncovered, as well as the clarity and breadth of their analyses, is certainly progress.