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…
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.…
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…
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…
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 ago, but not these.
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.
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…
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 webcam. On changes, triggers an Apple…
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…
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.…
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…
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…
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 ago, but not these.
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.
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…
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 webcam. On changes, triggers an Apple…