Skip to main content

Search

Items tagged with: Logic


Oh fargh... I just realized how daunting this new venture into #Macbook territory is. I have to learn an entirely new operating system as well as an entirely new DAW. I tend to do better at this sort of thing if I have access to an ordered way of doing things, like some sort of course... lessons, etc. There's somebody I'd love to learn from despite the fact I'm stupidly intimidated by them, but I don't think I can afford the nearly $65 an hour price tag. I've just jumped off a cliff and am plummeting toward unknown waters... Help? #Blind #Musician #MacOS #Logic #Komplete #A11y #Voiceover


I'm a little puzzled at the salience that is being given to the Apple conclusions on #LLM #reasoning when we have lots of prior art. For example: LLMs cannot correctly infer a is b, if their corpora only contain b is a. #Paper: arxiv.org/abs/2309.12288

#AI #MachineLearning #logic


Coming up in the new academic year, I get to spend the semester with a fresh bunch of second-year students who are going on to learn some more logic than the first-year basics.

Like last year, in Intermediate Logic we’ll be exploring natural deduction proof theory and different kinds of models for propositional, modal and first-order predicate logic.

New this year, my Doktorvater, Prof. Graham Priest, will be joining us in the last week of classes, so we’ll have a fun back-and-forth about truth-value gaps, gluts and paradoxes to end things with a bit of a bang.

consequently.org/class/2024/py…

#logic #philosophy


How-to: Use Logic's Built In Net Send and Net Receive Plugins youtu.be/837ApDYyH3A #Logic #LogicPro #DAW #MacOS


#AudioMo: Welcome to the Shift R trick.
I play stuff, I shift R it, I hope it’s OK.

This is a track-stack with two Keyscape sounds, the Double Felt Grand, and the Dulcitone.
Shift R in #Logic is basically like the capture option in #Ableton, IE: even when the transport is stopped, it will capture what you recorded and add it to the focused MIDI track. Doesn't work with audio.