Tai-Danae Bradley

@math3ma

Ps. 148 || math PhD candidate || CUNY Graduate Center || blogger at Math3ma

Vrijeme pridruživanja: kolovoz 2014.

Tweetovi

Blokirali ste korisnika/cu @math3ma

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @math3ma

  1. proslijedio/la je Tweet
    7. sij

    TODAY is the DAY! Launch day! Don't believe in your own math potential? might change your mind. Think doing math must be devoid of feeling? I wrote my book to move hearts. There ARE better answers to the Q: "why do ?" than just "to be college-and-career-ready."

    Poništi
  2. 7. sij

    Last month I gave a talk at the MIT category theory seminar on some math behind recent work () with and Terilla. Here’s the video!

    Poništi
  3. proslijedio/la je Tweet
    31. pro 2019.

    Just a reminder that Tai-Danae has been telling y'all about operads for a LONG time, and doing a much better job of it than me!

    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    30. pro 2019.

    1/ So what's an operad? The basic idea is that it's a blueprint for certain kinds of algebraic structure. Other ways to control algebraic structure are monads, algebraic and Lawvere theories, and just collections of commutative diagrams. But operads are distinct from these.

    Prikaži ovu nit
    Poništi
  5. 23. pro 2019.

    The application period for the 2020 school on applied category theory is now open! I thoroughly enjoyed this program when I participated in 2018—I learned so much from so many awesome people. Details below!

    Poništi
  6. proslijedio/la je Tweet

    The p-adics are like science fiction in mathematics. They are alternative universes alongside the familiar realm of the reals. And there are objects that transcend the barriers between these worlds but manifest a little differently in each one.

    Prikaži ovu nit
    Poništi
  7. 19. pro 2019.

    So happy to have received a copy of 's "Mathematics for Human Flourishing" today! Thank you, Francis, for your ongoing work in unveiling the joys of mathematics for all. This book is such a treasure (and the cover is beautiful)! 💜💜💜

    Poništi
  8. proslijedio/la je Tweet

    My new blog post for the ,"Category is...A Tour of blog"🎊 In this tour, I give you a glimpse of the blog’s style, content, and insights from Tai-Danae herself! Link: Thank you for chatting with me, Tai-Danae!💕

    Poništi
  9. proslijedio/la je Tweet
    18. stu 2019.

    Very clear slides by Tai-Danae Bradley about using the 2-norm probability formalism (a.k.a. quantum states) to model data

    Poništi
  10. proslijedio/la je Tweet
    14. stu 2019.

    Using tensor diagram notation to teach vector calculus - great idea:

    Poništi
  11. proslijedio/la je Tweet
    12. stu 2019.

    The biggest bombshell from our applied category theory meeting this weekend: David Spivak and Brendan Fong at MIT are planning to set up an institute of applied category theory in the San Francisco Bay Area: the TOPOS INSTITUTE. I'm going to be involved in this!

    Poništi
  12. proslijedio/la je Tweet
    11. stu 2019.

    Today I was working with David Spivak and Brendan Fong on our new course, Programming with Categories. It will take place in January at MIT as part of IAP. We'll introduce categorical concepts and teach elements of Haskell to illustrate them. Yes, all 18 lectures will be recorded

    Poništi
  13. proslijedio/la je Tweet
    7. stu 2019.

    There are many places for a computer scientist to learn about category theory. But this is new: "Theoretical Computer Science for the Working Category Theorist", by Noson Yanofsky. To be published soon by Cambridge U. Press! You can see a bit here:

    Poništi
  14. proslijedio/la je Tweet
    7. stu 2019.
    Poništi
  15. 29. lis 2019.

    Yep, 97.3% of all counterexamples in real analysis involve the Cantor set.

    Poništi
  16. 20. lis 2019.

    There's lots more to say, but I'll stop here. I might share a deeper look into the mathematics later in the future. In the mean time, feel free to dive in! </thread>

    Prikaži ovu nit
    Poništi
  17. 20. lis 2019.

    (There's a bit of combinatorics involved, and we end up representing matrices as bipartite graphs for bookkeeping purposes. This is what inspired the article ‘Viewing Matrices and Probability as Graphs’ from earlier this year.)

    Prikaži ovu nit
    Poništi
  18. 20. lis 2019.

    In short, the results are clear and interpretable since it's all just linear algebra, so we're able to give an "under the hood" analysis of the theory in Section 5, which is what allows us to make those theoretical predictions about the model's ability to generalize.

    Prikaži ovu nit
    Poništi
  19. 20. lis 2019.

    DMRG is usually used to find a particular eigenvector of a linear operator (the Hamiltonian of a quantum many-body system), but we instead apply it to our special vector: the sum of the training examples.

    Prikaži ovu nit
    Poništi
  20. 20. lis 2019.

    By the way, the heart of the algorithm is really very simple, but it goes by a sophisticated name in physics literature: the "density matrix renormalization group" (DMRG) procedure, introduced in 1992 by physicist Steven White.

    Prikaži ovu nit
    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·