Alonzo C-137

@subttle

Interested in functional programming, math, intelligence, and personality. I like formally verified software. Tweets are mostly notes to myself/future AI.

NY, NY
Vrijeme pridruživanja: lipanj 2013.

Tweetovi

Blokirali ste korisnika/cu @subttle

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

  1. Prikvačeni tweet
    28. stu 2019.

    roll the dice by Charles Bukowski

    Poništi
  2. prije 12 sati
    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    2. velj

    An adjunction is a way to relate two objects a and c, but not directly: C(a,c) Instead, we get two maps, (L)eft and (R)ight, which allow to relate them: C(L(a),c) <=> A(a,R(c)) 1/n

    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    1. velj

    Here's an erroneous opinion: that mathematicians should spend time formalising undergraduate math. That's like telling computer scientists to improve Excel spreadsheets. Instead, we should make it easy to formalise math, so that undergraduates can formalise undergraduate math.

    Poništi
  5. 31. sij

    THREE THE ANSWER IS THREE.

    Prikaži ovu nit
    Poništi
  6. 31. sij

    HOW MANY TIMES A WEEK MUST ONE WAKE TO THE SAME CAR ALARM THEY FELL ASLEEP TO BEFORE MURDER IS ACCEPTABLE.

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    28. sij

    THE TYPES COULD HAVE BEEN INFERRING THE PROGRAMS ALL ALONG!

    Prikaži ovu nit
    Poništi
  8. 26. sij
    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    26. sij
    Poništi
  10. proslijedio/la je Tweet
    14. lis 2019.

    "Gray categories with duals and their diagrams" contains some absolutely incredible graphic design work. Both the mathematics and the typesetting blow my mind

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

    Mathematics is not authority. Mathematics is liberation.

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

    I recently learned that the built-in calculator in Android now uses constructive real numbers: but also aims to be usable for calculating with integers and low-height rationals (eg for splitting restaurant bills and so on)

    Poništi
  14. proslijedio/la je Tweet
    13. sij

    “Incorrectness Logic”: Peter O’Hearn’s new fundamental logic of programs, interestingly dual to Hoare’s correctness logic. A theoretical foundation for answering questions like, “how can this code go wrong?” To be presented at

    Poništi
  15. 13. sij

    "Every partial equivalence relation is a difunctional relation, but the converse does not hold."

    Poništi
  16. 13. sij

    That a function /f/ on a complete lattice be universally disjunctive is precisely the condition for there being a unique function /g/ satisfying f x ≤ y ≡ x ≤ g y. Such a /g/ is known as the /right adjoint/ to /f/.

    Poništi
  17. 13. sij

    Bell or exponential numbers: number of ways to partition a set of n labeled elements. - 1, 1, 2, 5, 15, 52, 203, 877, 4140, 21147, 115975, 678570, 4213597, 27644437, 190899322, 1382958545, 10480142147, 82864869804, 682076806159, 5832742205057, ...

    Poništi
  18. proslijedio/la je Tweet
    12. sij

    Blue hour and night timelapse of Taal Volcano eruption.

    Poništi
  19. proslijedio/la je Tweet
    12. sij

    In many cases (including mine) the whole thing pretty much boils down to "what actually is compositionality, and why is it useful?"

    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    12. sij

    shows that 96% of the presumed universe does not exist. This is a house-cleaning of unprecedented proportions. All you need is to allow quantum mechanics and relativity to talk to each other () & you then get new tech: clean/silent propulsion & cheap energy.

    Poništi
  21. 12. sij

    "Co-Heyting algebras were initially called Brouwerian algebras . Bi-Heyting algebras were introduced and studied in a series of papers by Cecylia Rauszer in the 1970s who called them semi-Boolean algebras which suggests to view them as a generalization of Boolean algebras."

    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:

    ·