Process journal of learning by Attila Vajda

Tagged “Sketchbook”

  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. my tiny portfolio 🐙🌱
  16. upcycle poetry ∎

See all tags.