Prathyush

@prathyvsh

Cognitive map maker .

On this spinning rock
Vrijeme pridruživanja: travanj 2009.

Tweetovi

Blokirali ste korisnika/cu @prathyvsh

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

  1. Prikvačeni tweet
    22. stu 2019.

    Reading history of logic has helped me in slowly building a narrative framework of the intellectual history starting from a medieval monk Llull → Leibniz → Frege → Hilbert, Russell → Church, Turing → Kleene → McCarthy, Landin → now. Here is a visualization of this story:

    The golden braid of logic
    Prikaži ovu nit
    Poništi
  2. prije 2 sata

    The tragedy of programming is that making something easy is complex and making something complex is easy.

    Poništi
  3. prije 4 sata

    Started reading Gödel’s Proof by Nagel and Newman: Included in some editions is a bit of a scathing take by Douglas Hofstadter on the conclusions drawn in the book. Amusing to find that the publishers were cool with using it as a foreword 🙂

    Poništi
  4. proslijedio/la je Tweet
    prije 5 sati
    Poništi
  5. prije 14 sati

    Finished reading High Performance Websites by and wrote a review on it here:

    Poništi
  6. 2. velj

    Sunday Math post: “An accessible introduction to inaccessible cardinals“ by

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

    "Math isn't science because it's not empirical" is the kind of thing that only makes sense when you ignore the history of math and science.

    Poništi
  8. proslijedio/la je Tweet
    19. sij
    Odgovor korisniku/ci

    Once I took for granted the idea of singular & discrete truth. I thought truth was like a particle or a jewel, & now realize truth is more like light (a wave) & we're all mirrors & prisms. Waves are flying in every direction, the air is filled with them & they never collide.

    Poništi
  9. 1. velj

    Pretty good capture of what it feels like blogging about your research.

    Poništi
  10. 1. velj

    Added a further reading section with notes on books that I consider to be segue reads after completing Little Schemer:

    Prikaži ovu nit
    Poništi
  11. 1. velj

    TIL “The LEM Fallacy” Many real life problems don’t yield themselves to the decidable dichotomy of True/False. (Not knowing) A is not the same as Knowing (Not A). Source:

    Poništi
  12. 31. sij

    Got the idea after trying to keep track of my progress on the long form writing of on the history of logic, algebra, and computation:

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

    Getting back to design after a while and here’s an icon for a small chrome extension we are building over called ReadStat. It’s a utility for keeping track of the reading progress on a web page.

    Prikaži ovu nit
    Poništi
  14. 30. sij

    Completed reading The Little Schemer by Daniel Friedman and Matthias Felleisen. ✍️ Wrote up a review on the book, it‘s teaching style, and on some of the concepts here:

    Prikaži ovu nit
    Poništi
  15. 30. sij

    Metaphor for how amortization in accounting works: You get to eat the leftmost ripe banana on the day of purchase and then the others with each passing day. Source:

    Poništi
  16. 30. sij

    Stephen Jay Gould on the co-occurrence of error and daring:

    Prikaži ovu nit
    Poništi
  17. 30. sij
    Prikaži ovu nit
    Poništi
  18. 30. sij

    The case against getting it absolutely correct by Douglas Adams (Author of The Hitchhiker's Guide to the Galaxy):

    Prikaži ovu nit
    Poništi
  19. 30. sij

    On Daring, Uncertainty, and Error. A tweetstorm curating perspectives on uncertainty, error, and daring. In remembrance of our ancestors who dared to set sail to uncharted territories. Painting by Rembrandt — The Storm on the Sea of Galilee (1633)

    Prikaži ovu nit
    Poništi
  20. 30. sij

    Neat book in this series. Ant Encounters: Interaction Networks and Colony Behavior:

    Prikaži ovu nit
    Poništi
  21. proslijedio/la je Tweet
    6. stu 2019.

    Computational trinity: is a tripartite correspondence between Logic, Type Theory, and Category Theory. Here's a mnemonic visualization that illustrates it as a computational object projecting shadows in 3 orthogonal dimensions.

    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:

    ·