2024 Week 20
Goals for the week:
- < 1 minute (each) on twitter, hacker news, reddit, and youtube.
- < 1 minute screen time after 10pm
Proof due 19 May 2024. Stake: £30.
Plan for Sun-Thu:
- two weeks of notes
- two algorithms lectures
- anki decks
Sunday 12 May
- Inbox.
- Accountability from last week + set out this week.
- Make some flashcards for L&S
- Read chapter 6 of L&S
- Read chapter 6 of L&S
- Answer questions from chapter 6
- Answer questions from chapter 6
- Answer questions from chapter 6
- Chapter 7
- Chapter 7
- Chapter 7
- Chapter 7
Monday 13 May
- Inbox
- Algorithms and complexity lecture 26b
- Algorithms and complexity lecture 29a
- Logic and semantics - study flaschards
- Logic and semantics - week 8
- Logic and semantics - week 8
- Logic and semantics - week 8 - q1,2,3
- Logic and semantics - week 8 - q4,5
- Logic and semantics - week 8 - q6,7
- Logic and semantics - week 9
- Logic and semantics - week 9
- Logic and semantics - week 9
Tuesday 14 May
- Inbox
- L&S week 9
- L&S week 9 - looking for alternative resources.
- Couldn’t find any good explanations
- L&S week 9
- Cracking week 9 - substitution is composition
- Cracking week 9 - substitution is composition
- Cracking week 9 - substitution is composition
- Cracking week 9 - function symbols
- Cracking week 9 - semantics of functions
- Practice paper - answer q1
- Practice paper - answer q1
- Practice paper - check answer
Wednesday 15 May
- Inbox
- L&S Week 10
- L&S Week 10
- Flashcard study
- Week 9 exercises
- Week 9 exercises
- Week 10
- Week 10
- Week 10
- Week 10
Thursday 16 May
- L&S flashcards study
- Answer revision question 3
- Answer revision question 3
- Monads question
- Monads question
- Staring at monads
Friday 17 May
Taking a break from revision
- Inbox
- Try out tinygrad (nevermind, broken on M2).
- framesports - camera calibration
- framesports - camera calibration
- framesports - camera calibration
- framesports - camera calibration
- framesports - camera calibration
- framesports - camera calibration + admin
Proof
< 1 minute (each) on twitter, hacker news, reddit, and youtube:
< 1 minute screen time after 10pm:
