davidad  

@davidad

wordcloud: tangent categories—probability monads—string diagrams—cubical type theory—lax functors—Wasserstein gradient flows—modal logics. \\ cancel heat death

Sol III
davidad.github.io
Vrijeme pridruživanja: srpanj 2008.
135 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @davidad

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

  1. Prikvačeni tweet
    30. lis 2019.

    welcome to nKindergarten! today we are learning about shapes

    15 proslijeđenih tweetova 104 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  2. 2. velj

    For years, the MMDDYY and DDMMYY crowds have pointed out patterns in “the date” that are meaningless to me, but finally today’s date is a palindrome in the one true format, YYYYMMDD!

    1 reply 4 proslijeđena tweeta 27 korisnika označava da im se sviđa
    Poništi
  3. 23. sij
    Odgovor korisniku/ci

    I'm joking of course. Without Springer, who would print the yellow books??

    1 reply 4 korisnika označavaju da im se sviđa
    Poništi
  4. proslijedio/la je Tweet
    23. sij
    Odgovor korisnicima i sljedećem broju korisnika:

    Back home in Utrecht, I started reading up on Lawvere's category theoretic writings, ignoring all the philosophy. While chatting about it, kept highlighting Lawvere's preoccupation with Hegel. But the Hegel I knew second hand was the silly cartoon most people know

    1 reply 3 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    22. sij

    The perfect keynote title doesn’t exi—

    14 replies 161 proslijeđeni tweet 630 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  6. 22. sij

    Some people present spectral graph theory as this arcane magic that just mysteriously works, but it's essentially the same kind of magic underlying gradient descent: "set up a dynamical system whose behavior reveals the solution to your original problem"

    Eigen-things of graph Laplacians look seriously abstract at first, but I think they have a direct interpretation as steady states of a diffusion process on the graph. You could probably call an eigenfunction of the graph Laplacian a "fake news equilibrium" and not be *too* wrong
    1 reply 4 proslijeđena tweeta 23 korisnika označavaju da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    21. sij
    Odgovor korisniku/ci

    But a group can be seen as a special case of a monoidal category! This is an actegory.

    1 reply 1 proslijeđeni tweet 8 korisnika označava da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    21. sij

    Still one of my favorite sub-heads.

    80 replies 1.156 proslijeđenih tweetova 7.457 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    20. sij

    I have a reasonable proposal for copyright law. If a copyrighted work has not been available on the market for ten years, it is public domain

    5 replies 7 proslijeđenih tweetova 44 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  10. 20. sij

    Typeclasses 👏 are 👏 logic 👏 programming

    Tabled Typeclass Resolution
    1 reply 1 proslijeđeni tweet 15 korisnika označava da im se sviđa
    Poništi
  11. 19. sij

    Normal Simulationists: Trump, Brexit etc. may be a result of future historians examining “what if” questions Amplifier-Simulationists: future amateur music producers just think it sounds really cool when you turn the “political chaos” knob to unrealistically exaggerated levels

    The Amplifier Simulation Argument: We are all living inside a hyperrealistic, physics-based VST plugin aimed at recreating that unmistakeable vintage 2020s “192kHz PCM” sound, right down to the micro-psycho-socio-cultural influences on each mastering decision
    Prikaži ovu nit
    2 proslijeđena tweeta 16 korisnika označava da im se sviđa
    Poništi
  12. 19. sij

    We know that some dork with a shiny new Dell JupiterBrain is going to create a Cubase project with one hundred and seventy-three separate instances of this plugin, so it is far more likely that we’re in one of those instances than in the actual 2020s

    1 reply 5 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  13. 19. sij

    The Amplifier Simulation Argument: We are all living inside a hyperrealistic, physics-based VST plugin aimed at recreating that unmistakeable vintage 2020s “192kHz PCM” sound, right down to the micro-psycho-socio-cultural influences on each mastering decision

    1 reply 1 proslijeđeni tweet 11 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    18. sij
    Odgovor korisniku/ci

    While others have already pointed out that the first example has O(n^2) time complexity and the second O(n), I wanted to share a table from The Algorithm Design Manual 2nd Ed that drives home what that means. Time complexity just describes how an algorithm scales by it's inputs.

    3 proslijeđena tweeta 24 korisnika označavaju da im se sviđa
    Poništi
  15. proslijedio/la je Tweet
    18. sij

    Awesome interactive demos of different MCMC algorithms:

    132 proslijeđena tweeta 495 korisnika označava da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    17. sij
    Odgovor korisnicima i sljedećem broju korisnika:

    This has happened to me repeatedly: Me: writes paper about some X; wonders what a good formalization of X is; uses CT to find the "right" definitions. Coauthors/reviewers: this is OK, but is all the CT really necessary? Me: expands away all the CT; paper doubles in length.

    2 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    16. sij

    Discussion about the utility of applied category theory made me realzie there are really two distinct "dimensions" of cat. th: A) Describing things by their transformations. (Universal properties) B) Describing things by building them out of simpler things ("Compositionality").

    1 proslijeđeni tweet 11 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    15. sij
    Odgovor korisnicima

    Disney made the Star Wars theme park section canon, which means that Sprite is the official thirst quencher of Jedi everywhere.

    4 proslijeđena tweeta 33 korisnika označavaju da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    16. sij

    Differentiable Digital Signal Processing The library combines classic signal processing with deep learning, integrating inductive biases of time-proven techniques with the expressive power of neural nets. I think this will open up many new possibilities!

    i
    1 reply 91 proslijeđeni tweet 308 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  20. 15. sij

    Clopen borders! No restrictions on immigration OR ON EMIGRATION!

    1 reply 19 korisnika označava da im se sviđa
    Poništi
  21. proslijedio/la je Tweet
    12. sij

    Differential geometry for machine learning

    22 proslijeđena tweeta 96 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi

@davidad još nije objavio nijedan Tweet.

Č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:

    ·