Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @prathyvsh
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @prathyvsh
-
Prikvačeni tweet
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:pic.twitter.com/XxXUeZuBv4
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The tragedy of programming is that making something easy is complex and making something complex is easy.https://twitter.com/tvdstorm/status/1223958392605216769 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Started reading Gödel’s Proof by Nagel and Newman: https://amzn.to/2UlZ9O6 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
pic.twitter.com/lJZSXbLeVO
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Prathyush proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Finished reading High Performance Websites by
@Souders and wrote a review on it here:http://prabros.com/high-performance-websites-review …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Sunday Math post: “An accessible introduction to inaccessible cardinals“ by
@qualmist —http://joshuahhh.com/projects/inaccessible-cardinals/ …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Prathyush proslijedio/la je Tweet
"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.https://twitter.com/lastpositivist/status/1216681471198539776 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Prathyush proslijedio/la je Tweet
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.pic.twitter.com/QtZxZFpdlr
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Pretty good capture of what it feels like blogging about your research.https://twitter.com/rfinz/status/1223006609254862849 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Added a further reading section with notes on books that I consider to be segue reads after completing Little Schemer:https://prabros.com/the-little-schemer-review#further-reading?r=tw …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
TIL “The LEM Fallacy” https://en.wikipedia.org/wiki/Law_of_excluded_middle … 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:https://twitter.com/HarryDCrane/status/1223282226206576641 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Got the idea after trying to keep track of my progress on the long form writing of
@pressron on the history of logic, algebra, and computation:https://twitter.com/prathyvsh/status/1218557184872677382 …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Getting back to design after a while and here’s an icon for a small chrome extension we are building over
@Prabros called ReadStat. It’s a utility for keeping track of the reading progress on a web page.pic.twitter.com/UG2FVAxaUr
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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:https://prabros.com/the-little-schemer-review …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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: https://www.grubstreet.com/article/good-news-bananas-have-been-solved.html …pic.twitter.com/AngByVEsYr
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Stephen Jay Gould on the co-occurrence of error and daring:https://twitter.com/Prabros/status/1180814662624919553 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Uncertainty as an asset from Art & Fear: https://amzn.to/2ta78Cx — https://twitter.com/Prabros/status/829246048371605504 …pic.twitter.com/AN3r5TNQy2
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The case against getting it absolutely correct by Douglas Adams (Author of The Hitchhiker's Guide to the Galaxy):https://twitter.com/Prabros/status/831191733509648384 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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)pic.twitter.com/pGb6gvjNjG
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Neat book in this series. Ant Encounters: Interaction Networks and Colony Behavior: https://amzn.to/2RZvdVc pic.twitter.com/Al2y1OuDal
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Prathyush proslijedio/la je Tweet
Computational trinity: https://ncatlab.org/nlab/show/computational+trinitarianism … 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.pic.twitter.com/ZEyBIK1GbC
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.