2.1 KiB
2.1 KiB
| date | modification date | tags |
|---|---|---|
| 2025-02-25 | Wednesday 19th February 2025 14:39:58 |
<< 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
- 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
- Lean - I have proved 2+2=4. Successfully explained it to my girlfriend, who hates programming.
- 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
- 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.
- NUCE 2113 - Laboratory 5 - Doing radiation spectrums using sodium iodide detectors
- 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
done (done after 2025-02-18) AND (done before 2025-02-25) tags include #Reading group by tags sort by done
[!done] Completed 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
show urgency limit 15 not done sort by urgency group by tags