---
date: 2025-02-25
modification date: Wednesday 19th February 2025 14:39:58
tags: []
---
<< [[2 Cole Group Meeting Notes/Weekly Note 2025-02-18]] | [[2 Cole Group Meeting Notes/Weekly Note 2025-03-04]] >>

# This Week's Daily Notes
[[2025-02-18]]
[[2025-02-19]]
[[2025-02-20]]
[[2025-02-21]]
[[2025-02-22]]
# Last Week's Plan
# Accomplishments
## Remarks
### A Myriad of Programming Language Learning
1. Haskell - Did first two chapters of the book. Learned all about set building with predicates, and I'm pretty impressed. The Haskell book made a good point about trimming down solutions, additive vs subtractive manufacturing
2. Lean - I have proved 2+2=4. Successfully explained it to my girlfriend, who hates programming.
3. TLA+ - Watched the first two video lectures. I also got my own set up for writing TLA instead of using the TLA Toolbox. The next video I need to watch is Lamport telling me why I need to use the TLA Toolbox. 
### Reading
I've not been learning to write Assembly, but I have been learning about it. 
I've read a bit of paper on verifying Assembly code
### Classes
1. ME 2150 - Did microkit part 3 and part 4. Wasn't too bad. Turns out I suck at wordle with 5 tries instead of 6 though. 
2. NUCE 2113 - Laboratory 5 - Doing radiation spectrums using sodium iodide detectors
3. ME 2046 - Learned about the w plane. An interesting idea that seems so simple of doing with the inverse of tustin's transform.
### Service
GSA - taught some qualifying exam takers about the state of the art. 
Poked Antoine about NUCE classes for the summer, also chatted with Gleeson. Need to email them both.
## Tasks and Notes From This Past Week
>[!abstract] Read Papers
>```tasks
> done
> (done after 2025-02-18) AND (done before 2025-02-25)
> tags include #Reading 
> group by tags
> sort by done


>[!done] Completed Tasks
> ```tasks
> done
> (done after 2025-02-18) AND (done before 2025-02-26)
> tags does not include #Reading 
> group by tags
> sort by done

# This Week's Plan
## Remarks

>[!todo] Tasks Preview
>```tasks
>show urgency 
>limit 15
>not done
>sort by urgency
>group by tags
>```