Matthew Dempsky
Matthew Dempsky
codesweep reports that: ``` /usr/local/google/home/mdempsky/wd/go/src/cmd/compile/internal/gc/subr.go:58:19 func (cmd/compile/internal/gc.byLineno).Less(i int, j int) b ``` is unused, but it's actually needed to implement sort.Interface.
https://go.dev/play/p/EO98OQn3OIr If the generic method value `x.M` appears at package scope, then `x` is spilled into a global variable and never gets garbage collected, even if the method value itself...
`//go:notinheap` is the only current type pragma, and it imposes a lot of complexity and special cases on the compiler and tools. E.g., it's not captured within the go/types or...
I'd like to remotely verify that a tpm2-pkcs11-generated key was actually generated on a real TPM. E.g., Yubico's yubico-piv-tool personalization tool supports an "attest" command to generate a signature for...
I tried switching Go's curve25519 implementation to use fiat-crypto (golang.org/cl/314889), and some (5/16) of the test vectors are failing. The same ones with both the 32-bit and 64-bit routines: Failing...
TL;DR: We should disallow declarations like `type I interface { m() interface { I } }`. They cause a lot of trouble for tools, and no one uses them in...
I was reading AbstractInterpretation.v's definitions of [absint_sound](https://github.com/achlipala/frap/blob/51a7fae33e0056581cb3ab7e7595090cad97878a/AbstractInterpretation.v#L44) and [absint_complete](https://github.com/achlipala/frap/blob/51a7fae33e0056581cb3ab7e7595090cad97878a/AbstractInterpretation.v#L81), and found them quite challenging to read because of the verbosity. I thought I'd try rewriting it a bit to more...
Tracking issue for removing GOEXPERIMENT=nounified for Go 1.21.