onair4you

4 ms·

1.
by onair4you 5mo ago
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 that as basis. In the end to models were never detailed enough
2.
by onair4you 6mo ago
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 breakage that utterly confounds Claude. I tried giving it
3.
by onair4you 6mo ago
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 on Rust…
4.
by onair4you 6mo ago
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 agent responded by switching to editing with `sed`, etc. to ci
5.
by onair4you 7mo ago
My employer keeps Slack so locked down it is not really possible to use anything useful with it anyway…
6.
by onair4you 7mo ago
https://alliance.seas.upenn.edu/~plclub/contest/results.php
7.
by onair4you 10mo ago
I’ve been hoping these folks do well.
8.
by onair4you 10mo ago
I’m more worried that by the time I’m 50 it will no longer be available…
9.
by onair4you 1y ago
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 ago, but not these.
10.
by onair4you 1y ago
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 would left me examine the filesystems.
11.
by onair4you 1y ago
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 for less than the size of many modern web pages…
12.
by onair4you 1y ago
Okay, lots of details information and example code, great. But skimming through I didn’t see any audio samples to judge the quality?
13.
by onair4you 1y ago
Oh you beat me to it!
14.
by onair4you 1y ago
https://en.m.wikipedia.org/wiki/Noweb
15.
by onair4you 1y ago
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 webcam. On changes, triggers an Apple Home command to turn t