[03:03] *** huggable6 left
[03:03] *** quotable6 left
[03:03] *** releasable6 left
[03:03] *** tellable6 left
[03:03] *** coverable6 left
[03:03] *** Geth left
[08:15] *** Geth joined
[09:56] *** ShimmerFairy left
[09:57] *** ShimmerFairy joined
[11:44] <timo> https://bernsteinbear.com/blog/partial-ssi/ - this is essentially about the thing i mentioned recently about deriving facts about versions of registers based on if and unless branches

[11:47] <lizmat> interesting...

[11:53] <timo> one thing I hadn't considered yet is that some operations implicitly give us information about some of their operands by way of "if this wasn't true, the code would have thrown an exception and we wouldn't have reached this part at all"