Process journal of learning by Attila Vajda

pebbles

Fragment 🚧:
🧩 [idea/code/q]
πŸ€– + 🧠 = [insight]
🎯 [growth note]
πŸ“Ž #math #process #learninglog
πŸ“Έ optional image
Repeat & flow β†’ your math mosaic 🐚✨

πŸ–οΈ blackboard zen πŸ§˜β€β™‚οΈ drawing, fiddling at the blackboard can be really relaxing! d

resonant doodles 🏐 #

throwing a bouncy ball gently on a tambourine drum imitating bounce of ball on piano Gregorian chants in basic building blocks, tiny steps 🎹 you can use your piano to sing into it, hold sustain pedal, press D, sing Luuuuuuuuuuuuux softly c

aha! #

πŸ–‡ #mathJournal #processnotebook #reflectivelearning #visualmath #notetakingmagic

big idea, big insight, (for me) journaling, reading back journals, revisiting pages I made - is awesome! I wrote down things I did not understand, I drew connections, by simply connecting things,or writing on the page freely, as if it was a design sketchbook / notebook / reflective visual journal - (we were told at the first day of uni for BSc mathematics that the best textbook is possibly the one you make for yourself, your own notes! I really like this idea)

then I thought "I could read my own notebooks now as if I could really learn cool things from it", so I revisited the notes I took, and some of the things I did not understand I do understand more now, and I can see / make lots of new connections from the notes I took!

Meta-ception #

meta ⟢ meta-meta ⟢ meta^3 content ⟢ reflection ⟢ self-reflection

def meta (A : Type) := A ⟢ String

1 minute ideas #

jot down 1 minute ideas write about an idea you want to share, with timer I use https://www.online-stopwatch.com/loop-countdown/ art uni ~ maths uni I think mathematics maybe is very similar

blackboard exam #

I used to be very stressed about presenting at the blackboard, well I still am, and I haven't yet presented at the blackboard but will actually I did! many times at school but I reframed this, as an opportunity to draw, invite people to the awesome

my mind censors sharing meta ideas #

so I thought maybe I could write meta ideas for 1 minute, and then

accumulated many notes #

revisiting, limiting, espanso for computer agent

3 espansos for computer agent collaboration #

  - trigger: ":300"
    replace: "pls respond in ≀ 300 characters"  

# a variation
  - trigger: ":f100"
    replace: "pls respond in ≀ 100 characters with a variaty of unicode fonts variability, tersely in variability-golf in lean4"

  - trigger: ":fable"
    replace: "pls write a related fable analogy"

here is a page of notes I revisited #

there is whitespace, I now know more about convergence for example I look at it am happy/wonder: convergence ~ monotonocity ? What is the circle? seq ℝ? I can ask computer agent: what is f: monotonocity ~ convergence ~ Cauchy seq? a

here is a snippet from computer agent collaboration #

b monotonicity, sequences, ℝ, convergence, bounds, seem to relate! they are like recurring keywords. I don't yet know what Cauchy sequence is.

Cauchy seq #

tight-knit sequence 🧢 def Cauchy (a : β„• ⟢ ℝ) := βˆ€ m n β‰₯ β„•, |a m - a n| < Ξ΅

this 1 minute exercise of writing these snippets #

made me quite anxious but then I noticed it gradually faded, abated like a wave!

def anxiety_wave (t : Time) : Intensity :=  
  sin t * exp (-t/Ο„)  
-- oscillates & fades

⛡️