Unpublished memo: Density of the product of two real Gaussian random variables. This result is mentioned in the paper On the Frequency Function of $xy$, by Cecil C. Craig, Ann. Math. Statist. Volume 7, Number 1 (1936), 1-15, where it is said to be ``well-known'' and attributed to a 1932 paper by J. Wishart and M. S. Bartlett.
nvsetvol.c is a simple program that sets the volume of the Power Macintosh startup chime from linux. Setting the volume to 0 disables the startup sound altogether.
Public key
Here is my GPG public key.
This page maintained by: Matteo Frigo. Last updated: Sat Jul 13 21:23:26 2019