Michael

1. $TMPDIR was /tmp and on a local filesystem. 2. The binary was successfully written to a directory in /tmp, and it was visible in the container `ls /.cntr/` as...

``` mburge@lam:~$ uname -a Linux lam 5.4.0-77-generic #86-Ubuntu SMP Thu Jun 17 02:35:03 UTC 2021 x86_64 x86_64 x86_64 GNU/Linux mburge@lam:~$ lsb_release -a No LSB modules are available. Distributor ID: Ubuntu...

I also ran into this issue, using a PowerA Model 1506933-01 Xbox controller. DotA 2 crashes when started with it plugged in, on a fresh Ubuntu 21.04 Desktop LTS installation....

I suppose the true ask is "Suppose someone put a very inefficient judgment form or metafunction into a large model. How would you quickly identify the specific rule responsible?" Exposing...

Thanks for taking an interest in this, Robby. This one has `O(2^n)`, not `O(n^n)`, but it has a similar idea: ```scheme #lang racket (require redex/reduction-semantics) (define-language L [e ::= #t...

This variation also gives a weird error: ```scheme (define-language L [ x ::= variable-not-otherwise-mentioned] [ e ::= x natural ] [ s ::= (begin s ...) (define x e) e]...

The bubblesort example completes after making this change. https://github.com/racket/redex/blob/master/redex-lib/redex/private/reduction-semantics.rkt#L1883 ```scheme (unless (null? anss) (hash-set! ht (first anss) #t)) ;(for-each (λ (ans) (hash-set! ht ans #t)) anss) ``` You could reduce...