j-hartling
|
015a3032c1
|
Grinding through methods (WIP).
|
2026-02-10 16:24:47 +01:00 |
|
j-hartling
|
1c4701f98c
|
Done with first methods paragraph.
|
2026-02-05 16:46:23 +01:00 |
|
j-hartling
|
85c8fa0307
|
Merged
|
2026-02-05 10:01:43 +01:00 |
|
j-hartling
|
c71ebe64f0
|
Syncing to work.
|
2026-02-02 22:04:23 +01:00 |
|
j-hartling
|
3b757ac9e1
|
Polished most of yesterday's work.
|
2026-01-23 16:18:56 +01:00 |
|
j-hartling
|
a6a25d9931
|
Syncing to home.
|
2026-01-16 15:47:30 +01:00 |
|
j-hartling
|
f1957a147f
|
Holiday syncing.
|
2025-12-18 15:40:25 +01:00 |
|
j-hartling
|
14c6b0ef30
|
Wrote the very first part of the introduction.
|
2025-12-16 16:45:11 +01:00 |
|
j-hartling
|
8732881c78
|
Syncing to home.
|
2025-12-09 15:51:27 +01:00 |
|
j-hartling
|
2296f083c6
|
Started writing full text.
|
2025-12-05 16:44:44 +01:00 |
|
j-hartling
|
53e43f61f5
|
Currently formalizing log-invariance (WIP).
|
2025-11-11 15:52:07 +01:00 |
|
j-hartling
|
30332430b8
|
Formalizing intensity invariances (WIP).
|
2025-11-10 15:53:47 +01:00 |
|
j-hartling
|
d9fb7d3e5d
|
Formalizing stuff (WIP).
|
2025-11-06 09:27:17 +01:00 |
|
j-hartling
|
48f3c8cd41
|
Bullet-pointing a first draft (WIP).
|
2025-11-03 14:32:26 +01:00 |
|