Everything User Search
Here you can list all the writeups contributed by any user.
ariels has 1345 writeups. Showing writeups 1 to 50:
C!s | Writeup Title (type) | Published |
---|---|---|
forwards/backwards | newest/oldest first | |
compugen (thing) | Mar 10 2000 at 12:57:38 | |
dynamic programming (idea) | Mar 10 2000 at 13:14:59 | |
assertion (thing) | Mar 10 2000 at 18:45:58 | |
green curry (thing) | Mar 10 2000 at 19:31:41 | |
1C! | green curry paste (thing) | Mar 11 2000 at 05:06:51 |
1C! | Benford's Law (thing) | Mar 11 2000 at 06:04:46 |
Newcomb's law (thing) | Mar 11 2000 at 06:27:51 | |
Baire category theorem (thing) | Mar 11 2000 at 17:08:33 | |
countable (idea) | Mar 11 2000 at 17:11:53 | |
Denumerable (idea) | Mar 11 2000 at 17:13:40 | |
1C! | complete (idea) | Mar 11 2000 at 17:23:17 |
Cauchy sequence (thing) | Mar 11 2000 at 17:27:57 | |
1C! | dense (idea) | Mar 11 2000 at 17:34:59 |
nowhere dense (idea) | Mar 11 2000 at 17:43:55 | |
first category (idea) | Mar 11 2000 at 17:48:53 | |
1C! | Counting 1 bits (idea) | Mar 11 2000 at 18:29:10 |
triangular wheel (thing) | Mar 11 2000 at 19:22:51 | |
1C! | generating function (thing) | Mar 11 2000 at 19:48:33 |
generating function tricks (idea) | Mar 11 2000 at 20:02:19 | |
Concrete Mathematics (thing) | Mar 11 2000 at 20:09:58 | |
1C! | vegetable cruelty movement (idea) | Mar 11 2000 at 20:29:17 |
pumping lemma (thing) | Mar 11 2000 at 21:38:14 | |
DFA (thing) | Mar 11 2000 at 21:55:41 | |
balanced braces language (thing) | Mar 11 2000 at 22:03:31 | |
pumping lemma proof that the balanced braces language is not regular (idea) | Mar 11 2000 at 22:17:14 | |
1C! | Myhill / Nerode Theorem (thing) | Mar 11 2000 at 23:03:42 |
Myhill Theorem proof that the balanced braces language is not regular (idea) | Mar 11 2000 at 23:08:40 | |
1C! | Philosophers' football (thing) | Mar 11 2000 at 23:59:51 |
normed space (thing) | Mar 12 2000 at 02:44:40 | |
use strict (thing) | Mar 12 2000 at 06:43:13 | |
Enough rope to shoot yourself in the foot (idea) | Mar 12 2000 at 06:49:11 | |
2C!s | ontological argument (idea) | Mar 12 2000 at 07:00:17 |
Kitbag question (idea) | Mar 12 2000 at 07:25:47 | |
Proof of the Myhill Theorem (idea) | Mar 12 2000 at 17:29:01 | |
1C! | The set of decimal representations of numbers divisible by 17 is regular (idea) | Mar 12 2000 at 18:32:06 |
twin primes (idea) | Mar 12 2000 at 19:04:42 | |
1C! | Goldbach's conjecture (idea) | Mar 12 2000 at 19:26:25 |
PDL (thing) | Mar 12 2000 at 19:40:28 | |
magic number (idea) | Mar 12 2000 at 19:48:08 | |
3C!s | Collatz conjecture (thing) | Mar 12 2000 at 20:17:27 |
1C! | Halting problem (thing) | Mar 12 2000 at 22:29:25 |
1C! | infinite propositions paradox (idea) | Mar 13 2000 at 00:35:59 |
Liar Paradox (idea) | Mar 13 2000 at 00:40:10 | |
1C! | ETLA (idea) | Mar 13 2000 at 00:53:01 |
1C! | Two Envelope Paradox (idea) | Mar 13 2000 at 19:12:57 |
computable (idea) | Mar 13 2000 at 22:15:40 | |
primitive recursive (thing) | Mar 13 2000 at 22:42:55 | |
recursive (idea) | Mar 13 2000 at 23:12:12 | |
1C! | Ackermann function (thing) | Mar 13 2000 at 23:25:48 |
1C! | Feature request for Universe 2.0 (idea) | Mar 13 2000 at 23:45:19 |