Split
0 Followers · 0 Following
  • Joined on 2026-02-07
Repositories Projects Packages Public Activity Starred Repositories
Split pushed to main at danesabo/Taskwarrior 2026-03-29 04:00:22 +00:00
48a4294ab5 Sync: 2026-03-29 00:00
Split pushed to main at danesabo/Website 2026-03-29 04:00:20 +00:00
8bd59ec46d Sync: 2026-03-29 00:00
Split pushed to main at danesabo/CV 2026-03-29 04:00:20 +00:00
e303b35f8d Sync: 2026-03-29 00:00
Split pushed to main at danesabo/Zettelkasten 2026-03-25 11:02:23 +00:00
6deb76675d Weekly note: 2026 CW 13 (Cole Group prep)
Split pushed to main at danesabo/CV 2026-03-23 20:11:18 +00:00
4ce8641cee Add King's Eunuch + Z31 projects, move Panther Racing to experience
Split created branch grandparents-edition in danesabo/Thesis 2026-03-20 04:00:31 +00:00
Split pushed to grandparents-edition at danesabo/Thesis 2026-03-20 04:00:31 +00:00
6db916bdda Add cover letter introducing Split and the annotated edition
01cb379917 Grandparents edition: add explanatory footnotes for non-specialists
Compare 2 commits »
Split pushed to main at danesabo/Zettelkasten 2026-03-18 11:02:35 +00:00
75c809a2ac Weekly note: 2026-12 (CW12, Mar 18) - V1 sent to Dan Cole 🎉
Split pushed to main at danesabo/Thesis 2026-03-18 02:30:06 +00:00
fcd720101a Merge draft V1 into main, remove build artifacts, update gitignore
1ba14bc8d7 Checked ALL references. V1 is COMPLETE!
9c5289705c Rewrap citation audit to 60-char lines
764e695c05 Wrap lines to 80 chars
24bae81304 Add citation verification audit
Compare 31 commits »
Split pushed to draft at danesabo/Thesis 2026-03-18 01:03:03 +00:00
9c5289705c Rewrap citation audit to 60-char lines
Split pushed to draft at danesabo/Thesis 2026-03-18 01:00:43 +00:00
764e695c05 Wrap lines to 80 chars
Split pushed to draft at danesabo/Thesis 2026-03-18 00:57:07 +00:00
24bae81304 Add citation verification audit
Split pushed to draft at danesabo/Thesis 2026-03-18 00:33:32 +00:00
449256f665 Connect both orphaned figures to prose (hybrid_automaton + strat_op_tact)
Split pushed to draft at danesabo/Thesis 2026-03-17 21:44:55 +00:00
8c70ff7dbf Fix Pressburger citation: soften claim to match source (describes manual integration, not 'significant source of errors')
Split pushed to draft at danesabo/Thesis 2026-03-17 19:19:34 +00:00
467e541be7 Update broader impacts: 560 TWh US datacenter demand by 2030 (de Roucy-Rochegonde & Buffard 2025, Ifri), recalculate cost figures
Split pushed to draft at danesabo/Thesis 2026-03-17 19:09:02 +00:00
b7cadd3579 Resolve all splitfix/splitsuggest comments in approach.tex
Split pushed to draft at danesabo/Thesis 2026-03-17 18:58:35 +00:00
e4f1a5f6af Add .latexmkrc for proper bibtex cycling with vimtex/latexmk
Split pushed to draft at danesabo/Thesis 2026-03-17 18:56:28 +00:00
f1691e24c4 Fix two LaTeX errors: remove itemize from dasinline (line 429), remove stray brace (line 673)
Split pushed to draft at danesabo/Thesis 2026-03-16 21:38:01 +00:00
96af36972f Fix all citations: add missing bib entries from Zotero, fix typos (lunz->lunze, katis_realizibility->realizability), add citations for hybrid automata (Alur), dL (Platzer), KeYmaera X (Fulton), barrier certificates (Prajna), reachability tools (Frehse SpaceEx, Guernic, Mitchell, Bansal HJ), Lyapunov (Branicky), convert biblatex->bibtex format
Split pushed to draft at danesabo/Thesis 2026-03-16 21:23:44 +00:00
115ba4e8bb SOTA temporal logic: replace speculative FRET/Pressburger claims with LTL operators from RA, cite Baier 2008