60 lines
2.1 KiB
Markdown
60 lines
2.1 KiB
Markdown
---
|
|
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
|
|
>```
|