4 ms·
Slightly unfortunate name - z3 is the name of a widely-used theorem prover written at Microsoft.
by johnday 6y ago
Slightly unfortunate name - z3 is the name of a widely-used theorem prover written at Microsoft.
- iou 6y agoYeah, feels wrong to add that ambiguity
- iou 6y agoI'll take the opportunity to plug Dennis Yurichev's Z3 book ;) https://sat-smt.codes/main.html https://sat-smt.codes/main.html
- snovv_crash 6y agoAn I was thinking for a moment about the album by The Devin Townsend Project
- cgearhart 6y agoClicked into the comments to say the same thing. I was just using Z3 today, actually–so that's what I thought this article would be about.
- scomp 6y agoYeah I got excited to see a thread about z3 then I realized.
- alert0 6y agoThey should just swap it to ZFS3.
- nikisweeting 6y agoNo that sounds like ZFS version 3.
- faeyanpiraat 6y ago3ZFS it is then
- alert0 6y ago3ZFS2S34ME
- Datagenerator 6y agoZFStoS3 would fit. Avoids the version number suggestion.
- account4mypc 6y agoi agree, but z3 is already heavily overloaded: https://en.wikipedia.org/wiki/Z3 https://en.wikipedia.org/wiki/Z3
- bcaa7f3a8bbc 6y agoAt least don't make it worse. Every time a new program uses the name "Z3", Konrad Zuse rolls in his grave. Using it for a single program shows homage and dedication, using it twice or more is excessive.
- faeyanpiraat 6y agoWhat does Z3 in itself even mean, so that so many people conclude it’s the righ name for their new project? You cannot even register most of the like 5 chars long domain names, who would think 2 chars will be unique?