Michael
Michael
The tutorial introduces an `Affine` struct with 1-dimensional and 2-dimensional arrays as fields, and describes how to train it: ```julia julia> import Flux julia> struct Affine W; b end julia>...
### What version of Racket are you using? v6.12 ### What program did you run? ```scheme #lang typed/racket (: id (-> Integer Integer)) (define (id x) x) (match '(5) ((list-no-order...
Steps to reproduce 1. Install Nix 2. Mount an NFS to /media/nas: `mount -t nfs nas.lan:/ /media/nas` 3. Bind mount /nix/store: `mount -o bind /media/nas/nix-store /nix/store` 4. Follow instructions listed...
The intention of this program is for the scope of a `define` to be its entire surrounding context. ```scheme #lang racket (require redex/reduction-semantics) (define-language L [ x ::= variable-not-otherwise-mentioned] [...
Using redex patterns to implement a `simplify` method causes O(n) simplifications to each be evaluated O(n) times, for a total of O(n^2). The problem is that patterns are matched to...
The following test code demonstrates a common issue. ```scheme #lang racket (require redex/reduction-semantics) (check-redundancy #t) (define-language L [ xs ::= (n ...) ] [ n ::= natural ] ) (define-metafunction...
## Summary I have code which repeatedly reduces to the first term returned from `apply-reduction-relation` until no more remain. Sometimes, a term causes a reduction in the list to heavily...
When I first tried to use this tool, I forgot to set the `-a` parameter to specify the encryption algorithm. After comparing `strace -e ioctl` output with a SCSI command...
It looks like Coalton doesn't have symbols or keywords as native types. They're very easy to add in a "custom Prelude", and they're even on the front page as an...