diff --git a/.task/backlog.data b/.task/backlog.data index e3d21286d..f6e5316d8 100644 --- a/.task/backlog.data +++ b/.task/backlog.data @@ -206,3 +206,10 @@ {"description":"Check When2Meet and schedule meeting","due":"20251024T040000Z","end":"20251024T210105Z","entry":"20251023T161642Z","modified":"20251024T210105Z","project":"Internship","status":"completed","uuid":"bac970fa-0e14-4f40-93d0-287859e8ab0b"} {"description":"Make one-slide about Ovation Research connection for Emerson CEO visit","due":"20251024T040000Z","end":"20251024T210105Z","entry":"20251024T151943Z","modified":"20251024T210105Z","priority":"H","status":"completed","uuid":"882115bd-e94a-4a5d-a22f-5b142a87d77e"} {"description":"RnC Assumptions Excercise","entry":"20251021T200919Z","modified":"20251027T144045Z","project":"ERLM","start":"20251027T144045Z","status":"pending","uuid":"c010f099-d235-4243-974b-ccbcba4e75ba","tags":["writing"]} +{"description":"RnC Assumptions Excercise","end":"20251028T191131Z","entry":"20251021T200919Z","modified":"20251028T191131Z","project":"ERLM","status":"completed","uuid":"c010f099-d235-4243-974b-ccbcba4e75ba","tags":["writing"]} +{"description":"Risks and Contingencies","due":"20251027T040000Z","end":"20251028T191131Z","entry":"20251023T161539Z","modified":"20251028T191131Z","project":"ERLM","status":"completed","uuid":"cf56b9a1-a782-4831-b0d4-4cdb242fc3a9","tags":["writing"],"depends":["c010f099-d235-4243-974b-ccbcba4e75ba"]} +{"description":"Budget and Timeline","due":"20251103T050000Z","entry":"20251028T191207Z","modified":"20251028T191207Z","project":"ERLM","status":"pending","uuid":"3eb99b31-b5ee-4395-83e5-25fb93ce933a","tags":["writing"]} +{"description":"Break down NUREG899 Zettels","entry":"20251023T171907Z","modified":"20251028T194308Z","project":"Thesis","status":"pending","uuid":"dad08347-9368-4e29-b92b-4eef1e33a90d","tags":["zk"]} +{"description":"Budget and Timeline","due":"20251103T050000Z","entry":"20251028T191207Z","modified":"20251028T195127Z","project":"ERLM","status":"pending","uuid":"3eb99b31-b5ee-4395-83e5-25fb93ce933a","wait":"20251029T040000Z","tags":["writing"]} +{"description":"Write about opp. chall. and res. needs for remote micro ope.","entry":"20251028T214759Z","modified":"20251028T214759Z","status":"pending","uuid":"e5e1d68f-8edd-47ab-b2d6-a5f37f04bb01","tags":["zk"]} +{"description":"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations","end":"20251028T214805Z","entry":"20250910T150523Z","modified":"20251028T214805Z","project":"Thesis","status":"completed","uuid":"96c76e6b-5c33-4f54-a156-5c59e718f01a","tags":["reading"]} diff --git a/.task/completed.data b/.task/completed.data index 7d182987e..38ed44ea0 100644 --- a/.task/completed.data +++ b/.task/completed.data @@ -1,3 +1,6 @@ +[description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" end:"1761688085" entry:"1757516723" modified:"1761688085" project:"Thesis" status:"completed" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"] +[description:"RnC Assumptions Excercise" end:"1761678691" entry:"1761077359" modified:"1761678691" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"c010f099-d235-4243-974b-ccbcba4e75ba"] +[dep_c010f099-d235-4243-974b-ccbcba4e75ba:"x" depends:"c010f099-d235-4243-974b-ccbcba4e75ba" description:"Risks and Contingencies" due:"1761537600" end:"1761678691" entry:"1761236139" modified:"1761678691" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"cf56b9a1-a782-4831-b0d4-4cdb242fc3a9"] [description:"Check When2Meet and schedule meeting" due:"1761278400" end:"1761339665" entry:"1761236202" modified:"1761339665" project:"Internship" status:"completed" uuid:"bac970fa-0e14-4f40-93d0-287859e8ab0b"] [description:"Make one-slide about Ovation Research connection for Emerson CEO visit" due:"1761278400" end:"1761339665" entry:"1761319183" modified:"1761339665" priority:"H" status:"completed" uuid:"882115bd-e94a-4a5d-a22f-5b142a87d77e"] [description:"Do intial play around with Emerson Ovation system" due:"1760068800" end:"1761319017" entry:"1759949018" modified:"1761319017" status:"completed" uuid:"1116b9e1-e2a9-44e3-939a-1ca7f66d3eea"] diff --git a/.task/pending.data b/.task/pending.data index d0f3192af..ba0568cac 100644 --- a/.task/pending.data +++ b/.task/pending.data @@ -2,7 +2,6 @@ [description:"Write zettels about webofscience database" entry:"1757443242" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"9cb17c85-f1e6-4280-86da-a5af8f229b15"] [description:"Look over obsidian tasks and see if anything is worth moving over" entry:"1757443262" modified:"1757443262" status:"pending" tags:"taskwarrior" tags_taskwarrior:"x" uuid:"c1a5390d-5b84-4f9c-8acb-ffb970682660"] [description:"Look around for summer internships with national labs" entry:"1757449731" modified:"1757449731" status:"pending" uuid:"d3f3dc53-4feb-4b7e-8de5-86ebf3c535d5"] -[description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" entry:"1757516723" modified:"1761079200" project:"Thesis" start:"1760040574" status:"pending" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"] [description:"The Algorithmic Analysis of Hybrid Systems (1995)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"b15bdc1a-205f-4489-a8fb-e9843306e40d"] [description:"Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems (1993)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"6ed5ae99-0296-4011-bb90-39d97021d7ae"] [description:"Hybrid Systems: Review and Recent Progress (2003)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"1d8043ca-e583-4835-9d77-65e0e92361c3"] @@ -40,7 +39,6 @@ [description:"RA What is reachability, barrier certs" entry:"1761077262" modified:"1761079200" project:"Thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"95a11f85-7606-4cc1-9efa-4a7ef19c9f36"] [description:"RA Emerson Ovation Subsection" entry:"1761077284" modified:"1761079200" project:"Thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"5d4627a4-cfb6-4e0e-95ef-d9f557d1a717"] [description:"BI Reactor operator shortage, human factors limits" entry:"1761077306" modified:"1761079200" project:"Thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"7f7fbf5c-1ae8-4abc-9488-fa66e7b3f958"] -[description:"RnC Assumptions Excercise" entry:"1761077359" modified:"1761576045" project:"ERLM" start:"1761576045" status:"pending" tags:"writing" tags_writing:"x" uuid:"c010f099-d235-4243-974b-ccbcba4e75ba"] [description:"Come up with a toy problem for Research Approach" entry:"1761077394" modified:"1761079200" project:"Thesis" status:"pending" tags:"brainstorming" tags_brainstorming:"x" uuid:"2c537727-f404-44d3-9442-7113eb9f2362"] [description:"Triage Lees comments on research approach" entry:"1761078828" modified:"1761079200" project:"Thesis" status:"pending" uuid:"d334e98d-df5c-48ba-9c5c-b8a2da9fbd26"] [description:"Find Oklo recruiter" entry:"1761078940" modified:"1761078940" status:"pending" uuid:"25581dec-d1ad-407e-86d0-ec08de7a6e46"] @@ -53,5 +51,6 @@ [description:"Mealy Machines" entry:"1761235594" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"e7b4b730-6c5b-4f44-9162-93df1d1ad74c"] [description:"AIGER Circuits" entry:"1761235602" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"39fa37f6-7acd-45f6-910c-29520830f9d1"] [description:"Reactive Synthesis" entry:"1761235610" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"ab033c38-dd39-4c03-b56e-404f49aa484e"] -[dep_c010f099-d235-4243-974b-ccbcba4e75ba:"x" depends:"c010f099-d235-4243-974b-ccbcba4e75ba" description:"Risks and Contingencies" due:"1761537600" entry:"1761236139" modified:"1761236139" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"cf56b9a1-a782-4831-b0d4-4cdb242fc3a9"] -[description:"Break down NUREG899 Zettels" entry:"1761239947" modified:"1761239947" project:"thesis" status:"pending" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"] +[description:"Break down NUREG899 Zettels" entry:"1761239947" modified:"1761680588" project:"Thesis" status:"pending" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"] +[description:"Budget and Timeline" due:"1762146000" entry:"1761678727" modified:"1761681087" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a" wait:"1761710400"] +[description:"Write about opp. chall. and res. needs for remote micro ope." entry:"1761688079" modified:"1761688079" status:"pending" tags:"zk" tags_zk:"x" uuid:"e5e1d68f-8edd-47ab-b2d6-a5f37f04bb01"] diff --git a/.task/undo.data b/.task/undo.data index 1cf2814d2..402615560 100644 --- a/.task/undo.data +++ b/.task/undo.data @@ -731,3 +731,29 @@ time 1761576045 old [description:"RnC Assumptions Excercise" entry:"1761077359" modified:"1761077359" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"c010f099-d235-4243-974b-ccbcba4e75ba"] new [description:"RnC Assumptions Excercise" entry:"1761077359" modified:"1761576045" project:"ERLM" start:"1761576045" status:"pending" tags:"writing" tags_writing:"x" uuid:"c010f099-d235-4243-974b-ccbcba4e75ba"] --- +time 1761678691 +old [description:"RnC Assumptions Excercise" entry:"1761077359" modified:"1761576045" project:"ERLM" start:"1761576045" status:"pending" tags:"writing" tags_writing:"x" uuid:"c010f099-d235-4243-974b-ccbcba4e75ba"] +new [description:"RnC Assumptions Excercise" end:"1761678691" entry:"1761077359" modified:"1761678691" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"c010f099-d235-4243-974b-ccbcba4e75ba"] +--- +time 1761678691 +old [dep_c010f099-d235-4243-974b-ccbcba4e75ba:"x" depends:"c010f099-d235-4243-974b-ccbcba4e75ba" description:"Risks and Contingencies" due:"1761537600" entry:"1761236139" modified:"1761236139" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"cf56b9a1-a782-4831-b0d4-4cdb242fc3a9"] +new [dep_c010f099-d235-4243-974b-ccbcba4e75ba:"x" depends:"c010f099-d235-4243-974b-ccbcba4e75ba" description:"Risks and Contingencies" due:"1761537600" end:"1761678691" entry:"1761236139" modified:"1761678691" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"cf56b9a1-a782-4831-b0d4-4cdb242fc3a9"] +--- +time 1761678727 +new [description:"Budget and Timeline" due:"1762146000" entry:"1761678727" modified:"1761678727" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a"] +--- +time 1761680588 +old [description:"Break down NUREG899 Zettels" entry:"1761239947" modified:"1761239947" project:"thesis" status:"pending" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"] +new [description:"Break down NUREG899 Zettels" entry:"1761239947" modified:"1761680588" project:"Thesis" status:"pending" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"] +--- +time 1761681087 +old [description:"Budget and Timeline" due:"1762146000" entry:"1761678727" modified:"1761678727" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a"] +new [description:"Budget and Timeline" due:"1762146000" entry:"1761678727" modified:"1761681087" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a" wait:"1761710400"] +--- +time 1761688079 +new [description:"Write about opp. chall. and res. needs for remote micro ope." entry:"1761688079" modified:"1761688079" status:"pending" tags:"zk" tags_zk:"x" uuid:"e5e1d68f-8edd-47ab-b2d6-a5f37f04bb01"] +--- +time 1761688085 +old [description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" entry:"1757516723" modified:"1761079200" project:"Thesis" start:"1760040574" status:"pending" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"] +new [description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" end:"1761688085" entry:"1757516723" modified:"1761688085" project:"Thesis" status:"completed" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"] +---