Jason Gross

Unfriendly error message Error: EACCES: permission denied, open '/__w/_temp/_runner_file_commands/save_state_e59de318-2ebd-4430-adee-f74fc8e00eb1'

14

When running this action with `container: coqorg/coq:dev`, [I see](https://github.com/mit-plv/fiat-crypto/actions/runs/7320568634/job/19939855942#step:7:18) ``` /usr/bin/docker exec d2f4cc80928d9913b66a607fd95b3abc47ed3b5a78234ed06151b3bcd6260342 sh -c "cat /etc/*release | grep ^ID" node:internal/fs/sync:78 return binding.openSync( ^ Error: EACCES: permission denied, open '/__w/_temp/_runner_file_commands/save_state_e59de318-2ebd-4430-adee-f74fc8e00eb1'...

exponent-base gives non-sensical results when parsing numbers with exponent-mode=scientific

2

```tex \documentclass{article} \usepackage{siunitx} \begin{document} \num[exponent-base=2,exponent-mode=scientific]{1024} \end{document} ``` I expect to see something like 210, but instead I see 1.024 × 23. I get that someone might want to pass something...

onmousedown, onmousemove, onmouseout, onmouseover, onmouseup do not seem to work for `\PushButton`

1

This code works: ```latex \documentclass{article} \usepackage{hyperref} % For creating form fields and JavaScript \usepackage{etoolbox} \makeatletter \def\picture@coords{} \newsavebox{\pushbutton@picture} \pretocmd{\@PushButton}{\savebox{\pushbutton@picture}{#2}}{}{\errmessage{could not patch \string\@PushButton}} \pretocmd{\@picture}{\xdef\picture@coords{{#1}{#2}{#3}{#4}}}{}{\errmessage{could not patch \string\@picture}} % width, height, Xoffset, Yoffset,...

`opam pin add js_of_ocaml-compiler https://github.com/OlivierNicole/js_of_ocaml.git#optim_sourcemap_link` cf https://github.com/ocsigen/js_of_ocaml/issues/1612#issuecomment-2158668664

`opam pin add js_of_ocaml-compiler https://github.com/ocsigen/js_of_ocaml.git#speedup` cf https://github.com/ocsigen/js_of_ocaml/issues/1612#issuecomment-2158668664

Currently, we are pulling various `sed` hacks to deal with .map files when bedrock2 is enabled. We should have a more systematic way of generating files with appropriate names and...

Perhaps we should sign & notarize the MacOS binaries for ease of use? ChatGPT suggests that the steps are: ------ Without a Mac, you can still handle code signing and...

Make `FactoredMatrix` compatible with tensor-like arguments

1

# Description I'd like to be able to use `FactoredMatrix` with things that implement the interface of `torch.Tensor` without subclassing it. This slight change allows `FactoredMatrix` to work with such...

[...] It might be worth writing a script (more robust than the sed script) to do this: it should be possible to write a generic `qualify-names Coq.Lists.List.map map List.map .`...