Andy Wang

@malikshi Yup I've just added a proper release note

There were requests from people who want to debug crash dumps in shipped binaries or profile them: https://github.com/rust-lang/rfcs/pull/3127#issuecomment-850387079 and https://github.com/rust-lang/rfcs/pull/3127#issuecomment-850491441. Before settling on two debuginfo scopes, the original design to...

> and I think its not clear what the threat model we're actually tackling is While security is the main intention of the RFC, I want to mention that the...

Another idea I had is to have some way that pins a load to the latest value when running on Miri. This would allow the user to debug through elimination...

@SabrinaJewson I think the logic deduction is a bit off. You started with the assumption of B loading false, reached a contradiction, thus proving that B cannot load false. But...

This is not hard to fix I think. Basically, if there's an SC load that reads from any store, then another SC load later in S cannot read before that...

SC fences are better behaved. Adapting Promising Semantics' SC fences is possible and can actually simplify our code. The bit I'm not fully comfortable with is the interaction between SC...

Looks like https://github.com/rust-lang/miri/issues/2301#issuecomment-1403915704 [does fail under Miri](https://github.com/rust-lang/miri/pull/2766#issuecomment-1404178020). However, I don't think the asserted execution is forbidden under SC Fix. An execution is only forbidden if there is a contradiction between...

Indeed I have drawn the rb edges the wrong way round 😅. The execution is forbidden and Miri is wrong here

> 感谢 @wkrp 的 post，这一段让我想起了 Shadowsocks 的 [Cloak](https://github.com/cbeuw/Cloak) 插件，它的 [Client Hello](https://github.com/cbeuw/Cloak/wiki/Steganography-and-encryption#for-each-tcp-connection) 是： > > 1. random 字段为客户端生成的 x25519 public key > 2. session id 字段为前 32 字节密文 > 3. key...