1-DAILY-TODO

## DAILY-TODO (Descending order of priority)

## Descending order of priority (today)

- `grosser.science` website upkeep. 
- `Lise`: organize 1st year review, write 1st year report.

--- 

## Descending order of priority (later)

- `lean-mlir`: finish large instcombine proof merging.
- `AWS`: Waiting for cultural vistas to get back to me.
- `Joachim`: finish below relation.
- `fbip`: Implement new topdown algorithm.
- organize group retrospective for end of easter term.
- Hoare logic and model checking course [mon/wed/fri] (CC @luisa).


---
## Future ideas
- tree zipper for `lean-mlir` to extend SSA rewriter.
- refinement relation for `lean-mlir` to bring alive rewrites into the framework.
- "cutting to the chase" for omega.
- Bring in @henrik's proof automation into the library.

---

#### Done


--- 


```spoiler More info
#### CPGS Credits Requirements

- https://www.vle.cam.ac.uk/
- https://www.cst.cam.ac.uk/local/phd/researcher-development
- Introduction to Academic Writing in UK HE
- How to write a good abstract
- PhD Teaching Framework
- axolotl: one minute madness answer
- https://www.vle.cam.ac.uk/course/view.php?id=252475&section=2#tabs-tree-start

- CU1: watched [no question]
- CU2: watched [no question]
- CU3: done
- CU4: Need access to video 
- CU5 done
- CU8: done
- CU6: done
- CU7: TODO [tonight]
- CU8: done
- MU101: done
- MU50: TODO [tonight]

#### Optional Units

-  Understand and avoid Repetitive Strain Injury (RSI)
-  Time-series Forecasting Methods
-  CV writing workshop
-  Approaching Technical Interviews
-  Quantitative methods for small data
-  Correctness proofs of distributed systems with Isabelle/HOL
-  Compute resources for ACS and PhD Students
-  Intellectual property and commercialisation 


#### 4th Supervision
- After the 20th of April.
- Bottom up parsing (Tom). 
- CPS, Defunctionalization (Mahmud). 
- [Algorithm for defunctionalization].


```

Private
-------

#### Anuj Dawar

#### Frex.