Split
0 Followers · 0 Following
  • Joined on 2026-02-07
Repositories Projects Packages Public Activity Starred Repositories
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
Split pushed to draft at danesabo/Thesis 2026-03-16 21:19:24 +00:00
df129dadd9 Move operator staffing data from Human Factors to Broader Impacts
2bcba39e02 SOTA: add temporal logic + FRET subsection before dL, rename dL subsubsection
Compare 2 commits »
Split deleted branch draft-clean from danesabo/Thesis 2026-03-16 18:11:34 +00:00
Split created branch draft-clean in danesabo/Thesis 2026-03-16 18:10:39 +00:00
Split pushed to draft-clean at danesabo/Thesis 2026-03-16 18:10:39 +00:00
70d1874ca4 Clean draft: strip all split/DAS comments, keep oldt/newt tracked changes for review
Split pushed to draft at danesabo/Thesis 2026-03-16 18:03:40 +00:00
6901dc8276 Edit Impacts: flag economic figures for Dane to verify with updated sources
0783555a03 Edit Risks: generalize tool references, clarify boolean abstraction sentence
ae02973908 Edit Metrics: trim verbose opening, add graded responses scope justification
4b2a733621 Edit Research Approach: trim intro, fix issue-point, add explanatory sentences, tighten Emerson section, address all DAS comments
d46e4776e5 Edit State of Art: address all DAS+Split comments, add dL LIMITATION box, fix typo, trim redundancy
Compare 7 commits »
Split pushed to draft at danesabo/Thesis 2026-03-15 03:15:11 +00:00
ed29f6a09b Apply first round of edits with strikethrough/red markup
Split pushed to draft at danesabo/Thesis 2026-03-15 03:13:48 +00:00
c7e7845c8f Add DAS reading comments as inline todonotes (cyan)
Split deleted branch editing-demo from danesabo/Thesis 2026-03-15 01:39:45 +00:00
Split deleted branch needs-review-notes from danesabo/Thesis 2026-03-15 01:39:44 +00:00
Split created branch draft in danesabo/Thesis 2026-03-15 01:39:43 +00:00
Split pushed to draft at danesabo/Thesis 2026-03-15 01:39:43 +00:00
b2598d3092 Fix unicode and escaping in review comments
8fa41ae2fc Add paper review annotations and comprehensive report
c37720f66b Add literature review annotations from NEEDS_REVIEWED papers
e36b86e39d Convert dense margin comments to inline to fix line tracing
02ecfaad94 Clean up repo: remove tracked build artifacts, old versions, cruft
Compare 5 commits »
Split created branch needs-review-notes in danesabo/Thesis 2026-03-13 01:43:15 +00:00
Split pushed to needs-review-notes at danesabo/Thesis 2026-03-13 01:43:15 +00:00
8fa41ae2fc Add paper review annotations and comprehensive report
c37720f66b Add literature review annotations from NEEDS_REVIEWED papers
e36b86e39d Convert dense margin comments to inline to fix line tracing
02ecfaad94 Clean up repo: remove tracked build artifacts, old versions, cruft
Compare 4 commits »
Split pushed to main at danesabo/Zettelkasten 2026-03-11 11:01:37 +00:00
d8afc4555a Add Week 11 (2026-03-11) Cole Group meeting prep
Split pushed to main at danesabo/PickleBALLER 2026-03-10 13:41:29 +00:00
d605000c28 Unified ELO: single rating column, recalculated all matches
a1f96b9af4 Add W-L records to player cards and leaderboard
1b74470fcb Rebuild frontend with HTMX + Tailwind + Askama templates
534d293be4 Fix remaining dual-rating issues in email templates
4fbb803a66 Comprehensive test suite: 99 tests
Compare 26 commits »