Hatim El Jazouli
RFormal methods,PPoetry,FForecasting,NNotes
- Entries
- 13
- Tracings
- 21
- Crossing class
- 16
- Last accession
- 2026-08-28
Casablanca · hatim.eljazouli@proton.me
Provisional records — not for circulation
| From class, to class | RFORMAL METHODS | PPOETRY | FFORECASTING | NNOTES |
|---|---|---|---|---|
| RFORMAL METHODS | 2 | 2 | 1 | 2 |
| PPOETRY | 1 | · | · | 1 |
| FFORECASTING | 1 | · | 1 | 4 |
| NNOTES | 1 | 2 | 1 | 2 |
See also
Every tracing in this catalog that leaves one class and arrives in another. 8 of 16 carry the reason they were drawn.
- N104What a drawer is forR101Compression as the shape of understanding
A catalog is a compression of a body of work. The tracings are what is left when you take out everything that was not a relation.
- N104What a drawer is forP103Casablanca in October
- P103Casablanca in OctoberN103Half-ass it with everything you've got
- F103Calibration review, second quarterN102On being wrong in public
The review only works because the numbers were public before they resolved. A private forecast is a memory, and memory edits itself.
- R103Invariants you cannot nameP102Legibility of loss
I spent four months failing to state this invariant and then wrote it in eleven lines without meaning to. I do not know what to conclude from that and I am not going to pretend otherwise.
- R103Invariants you cannot nameN101The legitimacy loop
- P102Legibility of lossR103Invariants you cannot name
- F102Forecasting my own projectsN101The legitimacy loop
The optimism is not really about time. It is about how much preparation I will decide is necessary once I am inside the work.
- F102Forecasting my own projectsN103Half-ass it with everything you've got
- R102Where prediction stops being computationF101Resolution criteria are the question
The formal version of the same problem. A question with no decision procedure and a question with no resolution criteria fail for the same reason, one rung apart.
- R102Where prediction stops being computationP101A proof with nothing to prove
- N102On being wrong in publicF103Calibration review, second quarter
- N102On being wrong in publicP101A proof with nothing to prove
Filing the thing is the same act. You put it where it can be found and where it can be checked, and those turn out to be one requirement.
- F101Resolution criteria are the questionR102Where prediction stops being computation
Same failure, one rung up the ladder. If no procedure settles the question, the number you put on it is decoration.
- F101Resolution criteria are the questionN102On being wrong in public
- R101Compression as the shape of understandingN104What a drawer is for
The catalog is the argument in miniature. Filing is compression you can walk through.
The drawer
Every record, most recent accession first. A call number addresses a record; type one in the field above to go to it.
What a drawer is for
Notes. — 2026-08-28. — Provisional.
Why this site is a catalog and not a blog, and what the tracings are supposed to do.
Calibration review, second quarter
Forecasting. — 2026-07-06. — Provisional.
Ninety-one resolved questions. Overconfident in the eighty-to-ninety band, and the reason is not what I assumed.
Invariants you cannot name
Formal methods. — 2026-06-30. — Provisional.
On the gap between knowing that a thing is preserved and being able to write down what it is.
Forecasting my own projects
Forecasting. — 2026-04-11. — Provisional.
I am worse at predicting my own shipping dates than at predicting elections, and the error has a signature.
Half-ass it with everything you've got
Notes. — 2026-03-05. — Provisional.
Minimum viable effort, applied at maximum intensity. Not the same as doing less.
TracingsI.N101
Where prediction stops being computation
Formal methods. — 2026-02-17. — Provisional.
A working note on the difference between a system that is hard to predict and a system whose prediction problem has no answer.
On being wrong in public
Notes. — 2026-01-30. — Provisional.
The private forecast is not a forecast. It is a memory, and memory negotiates.
Resolution criteria are the question
Forecasting. — 2025-12-08. — Provisional.
Most disagreement about a forecast turns out to be disagreement about what would count as it happening.
Compression as the shape of understanding
Formal methods. — 2025-11-04. — Provisional.
If understanding a system means being able to state it more briefly than it states itself, then the limits of understanding are the limits of compression.
The legitimacy loop
Notes. — 2025-10-21. — Provisional.
Accumulating preparation until the preparation becomes the project.
TracingsI.N103
A proof with nothing to prove
Poetry. — 2025-09-12. — Provisional.
On finishing something and feeling nothing.
Tracingsnone recorded