Process journal of learning by Attila Vajda

Tagged “Process book”

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

See all tags.