finegeometer

Missing information in `elm init` text

1

**Quick Summary:** When I start a project, I want to know if `elm init` will create my project in that folder, or a subfolder. That information is not readily available....

How do I enforce an invariant on a struct?

9

Suppose I have this code: ``` #[derive(Copy, Clone)] struct Vector(i32, i32); impl Vector { fn neg(self) -> Self { Self(-self.0, -self.1) } } ``` I would like to specify that...

Suggestion: provide proof that set-coequalizers of finite sets are finite?

2

I recently found myself in need of a theorem that any set-coequalizer of finite sets is finite. Would it make sense to add this theorem to the standard library, either...

What is the final field in each entry of `transdefs`?

1

In `transdefs.js`, each row has six fields. To the best of my understanding (I'm not an expert), this is what they do. - The transistor id. - The id of...

Potential minor error in paper-qcoh.tex: "ring ℚ of integers".

1

Hi! `paper-qcoh.tex`, on lines 1318 and 1319, contains the phrase "`and~$A$ is the ring~$\QQ$ of integers`". While I admit I'm not fully understanding everything, this seems likely to be an...

60Hz Das on Firefox

3

Recently, the Tetris pieces have been moving significantly faster than normal. After a bit of testing, it seems that the pieces are moving at roughly 60Hz, or twice the maximum...