Thing I'll add: while a whiteboard will reflect sound somewhat, a shotgun mic still has the "talking in the wrong direction" problem in exactly the way a lavalier mic or adequately-used vocal mic doesn't - the lav sits on you and comes with, the vocal mostly just needs to stay about the same distance in front of your mouth.
Less of a problem for slides, but you're still going to point, right?
(do remember to take off the lav before going to the lav, mind)
Thinking things about hybrid and/or recorded-but-intended-as-local talks and mic setups.
I know some people who really do need both hands free or at least a marker in one hand and another to point with.
I definitely know people who won't be used to/comfortable with holding a mic in their off-hand while talking, especially while using the other hand to write and/or manage slides.
Managing to point with the mic hand while talking into it definitely requires a certain level of coordination! Me and my dyspraxia might have got away with dual-wielding a mic and a stick to point with, but my dyspraxia is tempered by having done some martial arts including just enough with a pole to make it look easy.
Sometimes I can't help wondering if universities should've given groups a bigger AV budget during the pandemic though. Omnidirectional mics "to help everyone participate" end up doing bad things to the mix by default, and you can do a lot with more than one mic: for starters you can make the speaker sound a lot clearer!
At the same time, I know why I know a damn thing about audio engineering and it's pretty difficult to ask for budget when none of you really know yet...
Thought experiment: you've got an interface with four inputs (let's assume XLR by default) and money for enough low-to-mid-end prosumer/professional mics to populate it plus any cabling you need. You don't have to use all of the mics in a given talk: what would you buy and why? How does that change if you're allowed acceptable wireless interfaces for them?
(things I'd seriously consider: one each of lavalier+wireless interface, shotgun which someone's probably going to have to keep pointed at the speaker, one standardish vocal mic, then some thinking about one for room participation. Speaker gets first pick of what's handling them with lavalier and shotgun as the "just make it work" options, organiser gets whichever of vocal or lavalier's spare...
...and then I start figuring out how to get a decent signal chain in front of Zoom, but a basic software mixer will do in a pinch)
In the last few days I scratched my head to prove something, producing 2000+ lines of Agda black-board code.
And very ugly, with no global structure, only local structure, ending up with like 20 goals to fill, which "clearly" can be filled "easily".
Then this afternoon I managed to prove what I wanted in 95 lines, without using any of the above Agda "blackboard" code.
However, these 95 lines were possible only because I wrote the above "useless" (incomplete) 2000+ lines of blackboard code exploring ideas.
Now that the above remarks are out of my head, I'll carry on making these 95 lines more beautiful, before I commit the code to TypeTopology.
Then everything will look very easy to the reader, as, if by magic, I can come up immediately and directly with clear, short, easy, and elegant proofs.
For your weekend reading pleasure.
Audrey Tang, Taiwan's Digital Minister, in conversation with Meredith Whittaker, President of the Signal Foundation (2023-04-06):
https://moda.gov.tw/en/press/background-information/4483
(I did learn useful things from the transcript.)
bandcamp won their union! bandcamp won their union!!
i'm so fucking happy for them, and also for the possible knock-on effects of some of epic game's holdings unionizing
their full statement - https://blog.bandcamp.com/2023/05/19/bandcamp-and-bandcamp-united-release-joint-statement-on-union-vote/
Very happy to share that "HasChor: Functional Choreographic Programming for All", a functional pearl paper led by my students Gan Shen and Shun Kashiwa, has been accepted to ICFP 2023! 🎉 https://arxiv.org/abs/2303.00924
A short thread about HasChor: 👇
Are people in the #ComputerScience community thinking of organized responses to the anti-trans legislation in Florida, Texas and elsewhere in the US? There's the new "bathroom" law in Florida, which will force trans people to use the wrong (and unsafe) restrooms in government buildings, including state universities.
Perhaps @ACM, @ieee_bot and other professional societies should cease hosting conferences in states that have passed anti-trans legislation?
BREAKING: Starbucks to shut down *all* Ithaca locations as a part of its union busting efforts.
This means that over 30 people will lose their jobs, as a result of Starbucks' illegal anti-union efforts.
Ithaca was the first city that had 100% of its Starbucks stores unionized & now it will the first city to have all of its Starbucks stores shuttered.
The story hasn't broken locally yet (SB did a news dump last night); message me if you want to cover this
Today I implemented overcommitment. Then I toned it down a bit and had the feature I actually wanted.
Well, the one I'll put up with for now, anyway. The layer I'm working on's still a compilation target.
I'd like prompts/named choice points and commitment to a named one instead of the most recent though. And not just because I've been meaning to write a small parsing lib with that as the major change!
Technically it's missing a minor-variant case that I'll sort out tomorrow, but I have successfully implemented semi-unification in terms of stuff that's supposed to be directly in my source language!
Need a few more bits and bobs, but full (first-order) unification to follow at some point.
Just don't ask about all the failure-to-unchain bugs?...
Either way, it’s clear they cannot tolerate facts. So much so, they break from themselves, throwing a tantrum or worse. They start attacking, throwing accusations that describe how they are behaving, not others. Claiming others are “living in fear”, when actually they are the ones unable to tolerate how the current epidemiological situation makes them feel. Unable to keep their fears from overtaking their perspective of reality.
It’s this pattern that makes me think about fascism the most.
Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Dealing with a serious case of Information Awareness.