add OOPSLA paper

[web.git] / personal / _posts / 2022-07-02-miri.md

diff --git a/personal/_posts/2022-07-02-miri.md b/personal/_posts/2022-07-02-miri.md
index 78f4bbb4bc34ae6dd87d8a48f8a2d20befd79925..41022f119f53f6357154a6b88c237696f2dfd3d5 100644 (file)
--- a/personal/_posts/2022-07-02-miri.md
+++ b/personal/_posts/2022-07-02-miri.md
@@ -200,7 +200,7 @@ Passing all of these flags will make Miri's concurrency entirely deterministic.
 That can be useful to avoid non-deterministic test failures, but note that this will also mask many real-world bugs.
 Those test failures are often real, even if they can be hard to track down!
 
-If you are still having trouble, feel free to come visit us in our [Zulip stram](https://rust-lang.zulipchat.com/#narrow/stream/269128-miri), which is the official communication channel for Miri.
+If you are still having trouble, feel free to come visit us in our [Zulip stream](https://rust-lang.zulipchat.com/#narrow/stream/269128-miri), which is the official communication channel for Miri.
 
 By the way, if you are still disabling some tests on Miri because Miri used to not support panics/concurrency, it's time to give those tests another try. :)
 So this is a good opportunity to go over your `cfg(miri)` and similar attributes and re-evaluate if they are still needed.
@@ -219,6 +219,8 @@ let limit = if cfg!(miri) { 10 } else { 10_000 };
 If your test suite needs to access OS facilities such as timers or the file system, set `MIRIFLAGS=-Zmiri-disable-isolation` to enable those.
 (Miri will tell you when that is necessary.)
 If your test suite runs into an unsupported operation, please [report an issue](https://github.com/rust-lang/miri/issues).
+However, note that we can only really support sufficiently "generic" operations -- like accessing file systems and network sockets.
+To implement things like `Py_IsInitialized` would mean putting a Python interpreter into Miri; that is not going to happen. ;)
 
 If you want to add Miri to your CI to ensure your test suite keeps working in Miri, please consult our [README](https://github.com/rust-lang/miri/#running-miri-on-ci).
 That document is also a great starting point for any other questions you might have.
@@ -226,7 +228,7 @@ That document is also a great starting point for any other questions you might h
 Miri is also integrated into the [Rust Playground](https://play.rust-lang.org/): you can select Miri in the "Tools" menu to check the code for Undefined Behavior.
 
 If Miri complains about your code and you do not understand why, we are happy to help!
-The best place to ask for support is our [Zulip stram](https://rust-lang.zulipchat.com/#narrow/stream/269128-miri).
+The best place to ask for support is our [Zulip stream](https://rust-lang.zulipchat.com/#narrow/stream/269128-miri).
 Questions are much easier to answer if you manage to reproduce the problem in a small self-contained bit of example code (ideally on the playground), but feel free to ask even if you do not know how to reduce the problem.
 
 ## Helping Miri