diff --git a/Fleeting Notes/Weekly/2026_12.md b/Fleeting Notes/Weekly/2026_12.md new file mode 100644 index 0000000..9d7e274 --- /dev/null +++ b/Fleeting Notes/Weekly/2026_12.md @@ -0,0 +1,140 @@ +--- +id: 2026-12 +title: Weekly โ€” 2026-03-18 +type: Weekly +created: 2026-03-18T11:00:00Z +modified: 2026-03-18T11:00:00Z +tags: [weekly] +--- + +# Weekly - 2026 CW 12 (Wed 2026-03-18) + +## Accomplishments + +### ๐ŸŽ‰ MAJOR MILESTONE: Thesis Proposal V1 Sent to Dan Cole (March 17) +**The big one.** Thesis proposal V1 emailed to advisor at 10:27 PM. +- 13 days overdue on task #48 but completed +- 32 pages, zero LaTeX errors, zero undefined references +- "IT IS DONE. (thunder and lightning) *undertaker music*" โ€” Dane's actual email to his PhD advisor +- Everything downstream (Dan's feedback, revisions, candidacy defense) was waiting on this +- Pressure is off โ€” now waiting for Dan's feedback to iterate + +### Thesis Work (All Week) +**Editing & Citations (March 16-17):** +- Fixed all broken citations, cleaned up references.bib (33 entries, all cited) +- Added citations for all mentioned tools: Hybrid automata (Alur 1993), dL (Platzer 2008), KeYmaera X (Fulton 2015), barrier certificates (Prajna 2004), SpaceEx (Frehse 2011), reachability papers +- Converted Zotero biblatex exports to bibtex format +- Addressed all `\dasnote{cite X here}` comments +- Full source verification against Zotero PDFs + +**LaTeX Infrastructure:** +- Added .latexmkrc for automatic bibtex cycling +- Fixed 2 compile errors (itemize in dasinline, stray brace) +- Line wrapping cleanup (80 char LaTeX, 60 char MD) +- Connected 2 orphaned figures to prose +- Git cleanup: merged V1 to main, removed build artifacts, updated .gitignore + +**Content Revisions:** +- Resolved all 7 splitfix/splitsuggest comments with blue addedprose +- Updated broader impacts math (560 TWh, Ifri 2025 source) +- Fixed Pressburger citation (softened to match source) +- Self-review pass: Dane annotated 55 items on draft branch (DAS = Dane's own comments, not Dan Cole) +- Heaviest feedback sections: Research Approach (41 comments), State of Art (29) + +**Created granular editing tasks from draft branch feedback:** +- #55: Revise Research Statement (due 3/19, priority H) +- #56: Revise Goals (due 3/20, priority M) +- #57: Revise State of Art (due 3/21, priority H) +- #58: Revise Research Approach (due 3/24, priority H) +- #59: Revise Metrics (due 3/25, priority L) +- #60: Revise Risks + Impacts (due 3/25, priority L) + +### Research Infrastructure +**Plane Project Management Setup (March 17):** +- Installed and audited plane-cli skill from ClawHub +- Set up self-hosted Plane instance at http://split:8080 (Docker) +- Created "The Garage" project with WRX/Z31/CRF tasks +- Documented in tools/plane.md +- Dane considering retiring Taskwarrior for Plane (wants direct task access + agent integration) + +**Task Management Research (March 16):** +- Deep research on Taskwarrior alternatives at Dane's request +- Top recommendation: Plane (self-hostable AGPL, native MCP agent support, 180+ API endpoints) +- Also evaluated: Linear (best cloud but not self-hostable), Vikunja (self-hosted w/ TW migration), Taskwarrior-tui + +**Projects Documentation:** +- Created projects/ folder for "bring you up to speed" docs +- Started with projects/thesis-proposal.md (branches, comment tally, task mapping, section files, style prefs, key papers) + +**Zotero Paper Reading (March 15):** +- Reviewed 5 papers from library at random +- Extremely high relevance: Platzer (dL textbook), Wood et al. (autonomous reactor framework), Prajna-Jadbabaie (barrier certificates), Lin-Antsaklis (switched systems survey), Lazarus et al. (runtime safety assurance) +- Full annotated summaries with relevance assessments, synthesis opportunities, and thesis narrative suggestions + +### Personal / Life +**Taxes (March 14):** +- Filed federal and PA returns via FreeTaxUSA ($15 vs $120 for TurboTax) +- **PA fellowship exemption discovery:** Dane's entire $34,608 GSR fellowship is PA tax exempt (PA Code ยง101.6 โ€” degree candidate, research required for degree) +- Adjusted PA wages to $0 โ†’ PA tax dropped from $1,084 owed to ~$0 +- Federal refund: $124 +- Total saved on taxes: **$1,084** + +**WRX Repair + Upgrades (March 13-14):** +- DIY OCV solenoid swap fixed rough idle and P000A code completely +- Also: oil change, Fumoto valve install, brakes all around +- Saved ~$1,800 vs shop quote (no need for $2K walnut blast) +- Ordered Apex EC-7 18x9.5 +38 wheels in Anthracite Gray (flow-formed, ~17.5 lbs, Oregon USA) +- Ordered Continental ExtremeContact Sport 02 summer tires (255/35R18) +- Plan: Summer setup on 18s, keep stock 17s for winter +- Hub bore compatibility discovered: WRX (56.1mm) and Z31 (66.1mm) share 5x114.3 bolt pattern โ€” could share wheels with hub rings + +**Other:** +- Drove grandparents to doctor appointment Thursday (cleared thesis blocks that day) +- Emerson formal offer letter received (R&D Engineering Intern, $35/hr, Cranberry Township PA) +- Cron cleanup: disabled old Discord-based morning/evening jobs +- Pi Day ๐Ÿฅง + +## Pushed or Rescheduled + +**Preliminary Example Work (All tasks due March 15-20):** +- #49: Consolidate point kinetics + coolant temp code (due 3/16, now 2 days overdue) +- #50: Define formal requirements/specs (due 3/17, now 1 day overdue) +- #51: Build discrete automaton abstraction (due 3/18, due TODAY) +- #52: Run reactive synthesis on automaton (due 3/19) +- #53: Write preliminary example section (due 3/20) + +**Rationale:** V1 draft took priority. Preliminary example will be filled in while waiting for Dan's feedback on V1. + +## Cancelled or Deleted + +- Deleted tasks #55-58 (created from wrong branch โ€” main instead of draft) +- Replaced with correct tasks #55-64 based on draft branch feedback + +## To Do + +**Immediate Priority (This Week):** +- **Wait for Dan's feedback on V1** โ€” this is the big unlock +- Start preliminary example work (5 tasks, most overdue/due this week) +- Address editing tasks from draft branch (#55-60, starting March 19) + +**Due This Week:** +- #51: Build discrete automaton abstraction (due TODAY, urgency 10.0) +- #52: Run reactive synthesis (due 3/19, urgency 9.6) +- #53: Write preliminary example section (due 3/20, urgency 9.1) +- #55: Revise Research Statement (due 3/19, priority H, urgency 16.4) + +**Overdue:** +- #49: Consolidate point kinetics + coolant temp code (2 days overdue, urgency 10.9) +- #50: Define formal requirements/specs (1 day overdue, urgency 10.5) + +**Context:** +- Spring break week was productive despite car detour +- V1 submission is a massive milestone โ€” downstream work can now proceed +- Preliminary example deferred until after V1 but needs attention this week +- Iran conflict Day ~19: major escalation, Hormuz tensions, oil price spikes + +**Notes:** +- Dane's self-review methodology: "8% beer editing" โ€” catches bullshit effectively +- Branch structure now clear: `draft` is active working branch with all feedback, `main` has clean V1 +- Thesis blocks were disrupted mid-week (WRX repair, grandparents' doctor appointment) but rallied hard on Monday-Tuesday +- Next Cole Group meeting will be about Dan's V1 feedback and preliminary example progress