deep_unlearning

@deep_unlearning

"""Documentation pending due to haphazard pivot. """

Vrijeme pridruživanja: studeni 2016.

Tweetovi

Blokirali ste korisnika/cu @deep_unlearning

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

  1. proslijedio/la je Tweet
    31. sij

    I'd like to make the ACT community aware of this paper: "Scientific modelling with coalgebra-algebra homomorphisms" by Baltasar Trancón y Widemann and Michael Hauhs I read this in 2015, should read it again. Unfortunately Baltasar quit academia soon after

    Poništi
  2. proslijedio/la je Tweet
    28. sij

    This paper was just brought to my attention: "Pixel arrays: A fast and elementary method for solving nonlinear systems" Here's the list of keywords: solving nonlinear systems, numerical methods, fast algorithms, category theory, array multiplication

    Poništi
  3. proslijedio/la je Tweet

    Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore, Mario Román : Profunctor optics, a categorical update

    Poništi
  4. proslijedio/la je Tweet
    22. sij

    This talk by on the Wave Function Collapse algorithm he used for is a great visual introduction to constraint programming. (It is way more visually compelling than any of my guanxi examples!) He even reinvents random restarts.

    Poništi
  5. proslijedio/la je Tweet
    21. sij

    Learnability (VC dim) is a *topological property*, as I proved in for parity, conjunctions, poly threshold fctns. Now this extends to downward-closed classes, conjunction of parities, and k-CNFs, as well! Just how far does this go?

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    13. sij

    This paper made it to the top of my reading list and the top of my interests right now: "Convergence of learning dynamics in Stackelberg games" by Fiez, Chasnov and Ratliff

    Poništi
  7. proslijedio/la je Tweet
    8. sij

    long-term goal: learn enough category theory to understand Kan Extensions for Program Optimisation by Ralf Hinze

    Poništi
  8. proslijedio/la je Tweet
    8. sij

    Tim Hosgood, Ryan Keleti and others have now translated Grothendieck's "EGA1" into English! You can nab a free copy here: EGA is Éléments de Géométrie Algébrique, where Grothendieck reformulated algebraic geometry using "schemes". (1/n)

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    6. sij

    Topos theory is a somewhat scary branch of category theory, as witnessed by Johnstone's 1284-page-but-still-unfinished book. I'm teaching a 10-lecture course on topos theory, mainly to learn the subject. Here are my notes for the first class.

    Poništi
  10. proslijedio/la je Tweet
    30. pro 2019.

    Happy New Year! A bunch of us are trying to develop "applied category theory" - and now we've started a new journal on this subject, called "Compositionality". It's free to publish in, and free to read. The first issue just came out! (1/n)

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

    Terrific notes from Stanford on probabilistic graphical models, starting with a review of basic probability theory, covering Bayes nets, MRFs, BP, MCMC, and concluding by explaining Auto-Encoding Variational Bayes.

    Poništi
  12. proslijedio/la je Tweet
    23. pro 2019.

    My category theory notes are finally up there! () I'm quite proud of the intuitive explanations of the Yoneda lemma, I really tried to do my best.

    Poništi
  13. proslijedio/la je Tweet
    19. pro 2019.
    Poništi
  14. proslijedio/la je Tweet
    21. pro 2019.

    PSA: the entire Harvard Abstract Algebra course is free online

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

    My student has released 文言, or wenyan, an esoteric programming language that closely follows the grammar and tone of classical Chinese literature. There's an online IDE, and it compiles to JS or Python. Github: Site:

    Poništi
  16. proslijedio/la je Tweet
    15. pro 2019.
    Poništi
  17. 16. pro 2019.

    The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors

    Poništi
  18. proslijedio/la je Tweet
    5. pro 2019.

    Big announcement time - I've been talking about this for ages My haskell implementation of open games If you want to use this, um... good luck?

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

    Samson Abramsky: "There is no plausible Church's Thesis for concurrency"

    Poništi
  20. 6. pro 2019.
    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:

    ·