Viewing profile — onair4you

I have to admit I used to think any level of formal verification was worthwhile. But I recently tried having agents try starting with formal models, and then building code using th…

I’ve been loving it for personal projects. But for work, some of our homebrew tooling relies heavily on hashes. So any operation that causes snapshotting to occur tends to lead to …

It might have more to do with the first release of Z3 being in 2012, with the first stable Rust release being in 2015. Rather than the authors of Z3 passing some kind of judgment o…

Not sure what you are using, but that’s easier said than done. I just set up an agent to ensure that my other agent would follow my coding guidelines by using hooks. The coding age…

My employer keeps Slack so locked down it is not really possible to use anything useful with it anyway…

https://alliance.seas.upenn.edu/~plclub/contest/results.php

I’ve been hoping these folks do well.

I’m more worried that by the time I’m 50 it will no longer be available…

That’s not the issue. I have the images. I just can’t find any Linux or macOS tools that can interpret the data. For example, I can mount the FAT images I have for MS-DOS 35 years …

A bit back I got a https://kryoflux.com/ to try to get some data off old Apple II disks. I think I successfully captured the images, but then I couldn’t really find any tools that …

Thanks! Yeah. It definitely isn’t the absolute best in quality but it trounces the default TTS options on macOS (as third party developers are locked out of the Siri voices). And f…

Okay, lots of details information and example code, great. But skimming through I didn’t see any audio samples to judge the quality?

Oh you beat me to it!

https://en.m.wikipedia.org/wiki/Noweb

I like the ingenuity, but I didn’t want have to build custom hardware. My solution: Lutron smart plug “On Air” sign off of Etsy Script to watch log file indicating the state of my …