@tao
In total I am using a lot more tokens than you and I use a dedicated machine with no personal data. Then I can let claude modify files on that machine as it likes.
I think the formalization of the paper is half-way done now and I have spent less than 10 hours of my time with this.
I think the De Bruijn factor will very reasonably if and when this finishes.
Thomas Kahle
@tomkalei@machteburch.social
Der radfahrende podcastende antifaschistische Matheprof und Papa aus Magdeburg. Math professor at OvGU Magdeburg posting in English and German. When I was young, we used to compile our own operating systems. 
Dauerkarte 
Searchable on tootfinder.ch
machteburch.social
Thomas Kahle
@tomkalei@machteburch.social
Der radfahrende podcastende antifaschistische Matheprof und Papa aus Magdeburg. Math professor at OvGU Magdeburg posting in English and German. When I was young, we used to compile our own operating systems. Dauerkarte Searchable on tootfinder.ch
machteburch.social
@tomkalei@machteburch.social
·
Mar 10, 2026
0
2
0
Conversation (2)
Showing 0 of 2 cached locally.
Syncing comments from the remote thread. 2 more replies are still loading.
Loading comments...