Process journal of learning by Attila Vajda

Tagged “Process book”

  1. 恒等式
  2. csillam-ének szövés
  3. Miért kell a toposzhoz f = g>>h ?
  4. I'm exploring Liquid Haskell a bit further because it seems fun
  5. Google Summer of Code 2026
  6. accessible terms
  7. a natural number is a vector space - cool things coolness
  8. this is cool, i try to write it
  9. braid theory, fonáselmélet kezdeti lépések
  10. kenyérpuding - v0.2 logika 📘🌱
  11. v0.1 logika 📘🌱
  12. um - maybe ◇ 1 sketch
  13. Visual Algebra - From Dot to Cosmos
  14. morphism of abstract shape
  15. morphism of abstract shape
  16. sketches - learning about type theory foundations, and term theory
  17. Term Theory
  18. building R from scratch
  19. arrow only categories
  20. I'm learning to construct puzzles
  21. build mathematics from puzzles!-logic puzzles, code puzzles, category theory
  22. --Doesn't this have to do with meets and join ∨ ∧?
  23. --filters? ⛩️ categorigami
  24. 🌈 sheaf of moments 8. August 2025
  25. 🧠Q What must krax respect when defined over zup regions?
  26. ☕️ Sip tea → 🧘🏽‍♂️ Take a breath → 🎹 Play a chord → 👁 Observe a leaf.
  27. ᓚᘏᗢ
  28. moments of sheaf - fragments
  29. 🦄 Lean4 Puzzle, 🐢 C Puzzle, 🐍 Python Puzzle
  30. Mini Puzzle - ∀, ∃, normalization challenge
  31. core ≈ lake + package + lib?
  32. glimpse 2025-08-05
  33. call ⟶ response, question ⟶ answer
  34. Lean4 architect crafts workshop lvl0
  35. take3 -- sheaf.notes ∈ day
  36. 🦑 N ⟶ N, 0 + n = n 💎 Take 2
  37. N ⟶ N, 0 + n = n
  38. Is a pebble mathematical?
  39. approx 5
  40. moments as morphisms -- music ≅ mathematics?
  41. moments as morphisms -- polysemy
  42. Create you own BSc in mathematics, an MVP
  43. uni🌱topos ≈ (Obj, Morph, Ωᵤ)
  44. M ⟶ 𝓜, music ⟶ mathematics
  45. ℤₙ, ≡, n! --glimpse 2025-07-24
  46. a “mini-move” 🥋 崩し
  47. category of motion — Mi 2025-07-23
  48. moments of sheaf 🐚 Mi 23 Juli — point, morphism, wave
  49. fragments of reflective proofs journal 2025 july 23
  50. approximation 4
  51. Make your own MSc(BSc) curriculum, and exercises
  52. recollection
  53. Mini MVPs 🌱
  54. fragments 2025-07-09
  55. fragments 2025-juli-5
  56. 🌱 Topos Notes
  57. 🧠 mindful(t), entries in logic
  58. 🐬 Smallproofs
  59. fragments 2025-06-29
  60. a
  61. cool learning idea
  62. √2_irrational is journey
  63. pebbles
  64. levels of abstractions
  65. I can be computer agent
  66. Wake
  67. keep noticing
  68. tegnap
  69. my tiny portfolio 🐙🌱
  70. upcycle poetry ∎

See all tags.