Brayan Escobar

@bdescob

Vrijeme pridruživanja: rujan 2017.
4 fotografije ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @bdescob

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

  1. proslijedio/la je Tweet
    18. pro 2019.
    Odgovor korisniku/ci

    "executable categorical models of type theory"

    1 reply 1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    18. pro 2019.

    John Baez told me that David Spivak's Temporal Type Theory is concrete implementation of the internal language of a topos. I had always meant to read it, but now I really will.

    1 reply 3 proslijeđena tweeta 12 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    21. sij

    Suppose T is an algebraic theory: a structure with operation symbols, all the axioms are equations. A T-model is a set with operations satisfying the axioms. Examples: monoid, group, ring, module, lattice. Counter-examples: field, poset, finitely generated group.

    3 proslijeđena tweeta 18 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    20. sij

    This paper is nice: Evgeny V. Ivashkevich, On Constructive-Deductive Method For Plane Euclidean Geometry "..The proposed system of postulates and axioms can be considered as a constructive version of the Hilbert's formalization of plane Euclidean geometry"

    8 proslijeđenih tweetova 37 korisnika označava da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    17. sij

    The new Mathematical Objects podcast is out. Can't wait to listen. If you spend any time doing anything even remotely related to doing math with kids, this podcast is a must listen.

    New podcast episode! : A deck of Set cards
    8 proslijeđenih tweetova 34 korisnika označavaju da im se sviđa
    Poništi
  6. proslijedio/la je Tweet
    15. sij

    Can a kind soul translate to Lean so that can have a look at how I would prove that the union of algebraic sets is algebraic? Thanks!

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

    How to write Haskell code just by reading a Category Theory diagram.

    Lecture 6 about universal constructions (terminal, initial, and product) whith some Haskell at the end.
    1 reply 2 proslijeđena tweeta 6 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    15. sij

    I have two x64 programs. One uses 1 register and moves values on an off the stack in between practically every instruction, about 300 of them. One uses registers instead like a sane person. The two run in the same amount of time. What the hell?

    8 replies 3 proslijeđena tweeta 49 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    14. sij

    Have you downloaded our exciting Sumaze! Primary yet? Sumaze! Primary is designed for ages 4+ and allows children to explore key ideas in a fun and interactive way, developing fluency and reasoning skills. Available on the App Store and Google Play.

    12 proslijeđenih tweetova 26 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    14. sij

    "Truth... is much too complicated to allow for anything but approximations" - John von Neumann

    602 proslijeđena tweeta 2.790 korisnika označava da im se sviđa
    Poništi
  11. proslijedio/la je Tweet
    12. sij

    Can my followers help me with this question?

    Odgovor korisnicima @JadeMasterMath @_julesh_
    What is a good example of category theory doing something that spectacular, but outside algebraic geometry?
    21 reply 3 proslijeđena tweeta 42 korisnika označavaju da im se sviđa
    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.

    8 replies 55 proslijeđenih tweetova 244 korisnika označavaju da im se sviđa
    Poništi
  13. 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.

    14 replies 75 proslijeđenih tweetova 370 korisnika označava da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    6. sij

    Looking at the syllabus for the new Programming with Categories course: It's amazing how far we've come from classical programming. memcpy, pointers and for loops vs lax monoidal functors, profunctor optics and catamorphisms

    2 proslijeđena tweeta 12 korisnika označava da im se sviđa
    Poništi
  15. proslijedio/la je Tweet
    31. pro 2019.

    I'm very happy to close the decade with a new result: Bayesian updating is lenses - squinting not necessary I believe this establishes the importance of lenses much more strongly than before. In categorical cybernetics they will be absolutely the central concept

    7 replies 11 proslijeđenih tweetova 122 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    2. sij

    Degeneracies part 2 (products): Ok so simplicial sets are very visual and we would like that their products behave in a somewhat topological manner. In this thread I hope to explain the ways in which they do (1/23)

    1 reply 3 proslijeđena tweeta 14 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    1. sij

    As promised, I compiled all my lecture notes on Online Learning in a single PDF. Feedback is welcome! "A Modern Introduction to Online Learning" PS Happy New Year!

    8 replies 194 proslijeđena tweeta 906 korisnika označava da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    30. pro 2019.

    Killing the Hydra. Cut off head at step n, replicate at lower node (if possible) with n copies of the Hydra through original node. Theorem 1. There is a winning strategy to kill the Hydra. Indeed, every strategy is winning. Theorem 2. Theorem 1 is not provable in PA.

    8 replies 37 proslijeđenih tweetova 141 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  19. proslijedio/la je Tweet
    31. pro 2019.

    give a man a logistic regression model, you feed him for a day. teach a man to call it “machine learning” and you feed him for a lifetime.

    17 replies 408 proslijeđenih tweetova 2.404 korisnika označavaju da im se sviđa
    Poništi
  20. 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)

    11 replies 194 proslijeđena tweeta 549 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi

@bdescob 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:

    ·