Preskoči na sadržaj
Korištenjem servisa na Twitteru pristajete na korištenje kolačića. Twitter i partneri rade globalno te koriste kolačiće za analize, personalizaciju i oglase.

Za najbolje sučelje na Twitteru koristite Microsoft Edge ili instalirajte aplikaciju Twitter iz trgovine Microsoft Store.

  • Naslovnica Naslovnica Naslovnica, trenutna stranica.
  • O Twitteru

Spremljena pretraživanja

  • obriši
  • U ovom razgovoru
    Ovjeren akauntZaštićeni tweetovi @
Predloženi korisnici
  • Ovjeren akauntZaštićeni tweetovi @
  • Ovjeren akauntZaštićeni tweetovi @
  • Jezik: Hrvatski
    • Bahasa Indonesia
    • Bahasa Melayu
    • Català
    • Čeština
    • Dansk
    • Deutsch
    • English
    • English UK
    • Español
    • Filipino
    • Français
    • Italiano
    • Magyar
    • Nederlands
    • Norsk
    • Polski
    • Português
    • Română
    • Slovenčina
    • Suomi
    • Svenska
    • Tiếng Việt
    • Türkçe
    • Български език
    • Русский
    • Српски
    • Українська мова
    • Ελληνικά
    • עִבְרִית
    • العربية
    • فارسی
    • मराठी
    • हिन्दी
    • বাংলা
    • ગુજરાતી
    • தமிழ்
    • ಕನ್ನಡ
    • ภาษาไทย
    • 한국어
    • 日本語
    • 简体中文
    • 繁體中文
  • Imate račun? Prijava
    Imate račun?
    · Zaboravili ste lozinku?

    Novi ste na Twitteru?
    Registrirajte se
Profil korisnika/ce prathyvsh
Prathyush
Prathyush
Prathyush
@prathyvsh

Tweets

Prathyush

@prathyvsh

Cognitive map maker @Prabros.

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

Tweets

  • © 2020 Twitter
  • O Twitteru
  • Centar za pomoć
  • Uvjeti
  • Pravila o privatnosti
  • Imprint
  • Kolačići
  • Informacije o oglasima
Odbaci
Prethodni
Sljedeće

Idite na profil osobe

Spremljena pretraživanja

  • obriši
  • U ovom razgovoru
    Ovjeren akauntZaštićeni tweetovi @
Predloženi korisnici
  • Ovjeren akauntZaštićeni tweetovi @
  • Ovjeren akauntZaštićeni tweetovi @

Odjava

Blokiraj

  • Objavi Tweet s lokacijom

    U tweetove putem weba ili aplikacija drugih proizvođača možete dodati podatke o lokaciji, kao što su grad ili točna lokacija. Povijest lokacija tweetova uvijek možete izbrisati. Saznajte više

    Vaši popisi

    Izradi novi popis


    Manje od 100 znakova, neobavezno

    Privatnost

    Kopiraj vezu u tweet

    Ugradi ovaj Tweet

    Embed this Video

    Dodajte ovaj Tweet na svoje web-mjesto kopiranjem koda u nastavku. Saznajte više

    Dodajte ovaj videozapis na svoje web-mjesto kopiranjem koda u nastavku. Saznajte više

    Hm, došlo je do problema prilikom povezivanja s poslužiteljem.

    Integracijom Twitterova sadržaja u svoje web-mjesto ili aplikaciju prihvaćate Twitterov Ugovor za programere i Pravila za programere.

    Pregled

    Razlog prikaza oglasa

    Prijavi se na Twitter

    · Zaboravili ste lozinku?
    Nemate račun? Registrirajte se »

    Prijavite se na Twitter

    Niste na Twitteru? Registrirajte se, uključite se u stvari koje vas zanimaju, i dobivajte promjene čim se dogode.

    Registrirajte se
    Imate račun? Prijava »

    Dvosmjerni (slanje i primanje) kratki kodovi:

    Država Kod Samo za korisnike
    Sjedinjene Američke Države 40404 (bilo koje)
    Kanada 21212 (bilo koje)
    Ujedinjeno Kraljevstvo 86444 Vodafone, Orange, 3, O2
    Brazil 40404 Nextel, TIM
    Haiti 40404 Digicel, Voila
    Irska 51210 Vodafone, O2
    Indija 53000 Bharti Airtel, Videocon, Reliance
    Indonezija 89887 AXIS, 3, Telkomsel, Indosat, XL Axiata
    Italija 4880804 Wind
    3424486444 Vodafone
    » Pogledajte SMS kratke šifre za druge zemlje

    Potvrda

     

    Dobro došli kući!

    Vremenska crta mjesto je na kojem ćete provesti najviše vremena i bez odgode dobivati novosti o svemu što vam je važno.

    Tweetovi vam ne valjaju?

    Prijeđite pokazivačem preko slike profila pa kliknite gumb Pratim da biste prestali pratiti neki račun.

    Kažite mnogo uz malo riječi

    Kada vidite Tweet koji volite, dodirnite srce – to osobi koja ga je napisala daje do znanja da vam se sviđa.

    Proširite glas

    Najbolji je način da podijelite nečiji Tweet s osobama koje vas prate prosljeđivanje. Dodirnite ikonu da biste smjesta poslali.

    Pridruži se razgovoru

    Pomoću odgovora dodajte sve što mislite o nekom tweetu. Pronađite temu koja vam je važna i uključite se.

    Saznajte najnovije vijesti

    Bez odgode pogledajte o čemu ljudi razgovaraju.

    Pratite više onoga što vam se sviđa

    Pratite više računa da biste dobivali novosti o temama do kojih vam je stalo.

    Saznajte što se događa

    Bez odgode pogledajte najnovije razgovore o bilo kojoj temi.

    Ne propustite nijedan aktualni događaj

    Bez odgode pratite kako se razvijaju događaji koje pratite.

    1. Prathyush‏ @prathyvsh 12. stu 2019.
      • Prijavi Tweet

      Learnt that Alan Turing intended to build a machine to calculate Riemann Zeta Function. This is how the blueprint looks like. Source: http://www.turingarchive.org/viewer/?id=118&title=1 …pic.twitter.com/CF3P1X7tMu

      1 reply 2 proslijeđena tweeta 11 korisnika označava da im se sviđa
      Prikaži ovu nit
    2. Prathyush‏ @prathyvsh 17. stu 2019.
      • Prijavi Tweet

      At this point, I have learnt up some amount of historical antecedents leading to the creation of Lambda Calculus. Understood the core abstractions used to build the system and I am making an attempt to create a running system to interact with the mathematical structures.

      1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
      Prikaži ovu nit
    3. Prathyush‏ @prathyvsh 17. stu 2019.
      • Prijavi Tweet

      Prathyush je proslijedio/a tweet korisnika/cePrathyush

      For this purpose I have started looking at the Meta II paper: https://twitter.com/prathyvsh/status/1195059983399804929?s=21 … and I am adopting WebAssembly as the target language. An initial look at this gives me a feel that things arent going to be as straightforward as I thought.

      Prathyush je dodan/na,

      Prathyush @prathyvsh
      Embarking on a journey to understand metacompilers. Meta II by Schmidt/Metcalfe/Schorre (1963) is the first one in sight. This is being done so that I can create a visual interactive console for Lambda Calculus which I had been tinkering with earlier: https://twitter.com/prathyvsh/status/1188787773441888257?s=20 … pic.twitter.com/N1ItIK5sJ2
      Prikaži ovu nit
      0 proslijeđenih tweetova 4 korisnika označavaju da im se sviđa
      Prikaži ovu nit
    4. Prathyush‏ @prathyvsh 17. stu 2019.
      • Prijavi Tweet

      A nice quote I found in this journey. From J. Barkley Rosser: https://en.wikipedia.org/wiki/J._Barkley_Rosser … Source: http://www.cs.umd.edu/~gasarch/BLOGPAPERS/social.pdf … A paper that argues against being too formal with programming languages.pic.twitter.com/CWXHGGpAHb

      1 reply 2 proslijeđena tweeta 8 korisnika označava da im se sviđa
      Prikaži ovu nit
    5. Prathyush‏ @prathyvsh 18. stu 2019.
      • Prijavi Tweet

      I would have something to talk about a new form of learning I am converging towards: "Understanding the present by remembering stories of the past". This articulation is sparked by two people who recently came into the picture when learning about compilers and lambda calculus.

      1 reply 0 proslijeđenih tweetova 2 korisnika označavaju da im se sviđa
      Prikaži ovu nit
    6. Prathyush‏ @prathyvsh 18. stu 2019.
      • Prijavi Tweet

      Learnt about Alick Glennie when reading Meta II paper and stumbled on Christopher Strachey again when I was researching virtual machines to compile Lambda Calculus. What I learnt this time around was that both of them were friends of Alan Turing.pic.twitter.com/SRTApUyxeD

      1 reply 1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
      Prikaži ovu nit
    7. Prathyush‏ @prathyvsh 18. stu 2019.
      • Prijavi Tweet

      Glennie and Turing worked on Mark 1 and created an AI chess program together: https://chessgames.com/perl/chessgame?gid=1356927 … Christopher Strachey, co-inventor of CPL and denotational semantics studied in King’s College with Alan Turing. Strachey would later reach out to Turing for Mark 1's handbook.

      1 reply 1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
      Prikaži ovu nit
    8. Prathyush‏ @prathyvsh 18. stu 2019.
      • Prijavi Tweet

      Stretch goal for this project: Implement this Draughts program (1951) by Strachey for Pilot ACE (Computer designed by Alan Turing) using a visual canvas and lambda calculus: http://www.historyofinformation.com/detail.php?id=3278 …pic.twitter.com/sOyhVGXjHm

      1 reply 0 proslijeđenih tweetova 3 korisnika označavaju da im se sviđa
      Prikaži ovu nit
    9. Prathyush‏ @prathyvsh 21. stu 2019.
      • Prijavi Tweet

      Created this timeline/timebraid on how Alan Turing and peers collaborated to create Computer Science as we know it today!pic.twitter.com/7mwzvgBhp1

      1 reply 3 proslijeđena tweeta 11 korisnika označava da im se sviđa
      Prikaži ovu nit
    10. Prathyush‏ @prathyvsh 21. stu 2019.
      • Prijavi Tweet

      Throughout this quest, I am coming to appreciate how history is not this linear one damn thing after another as popularly conceptualized but parallel threads of cross-pollination of ideas. They braid together promiscuously to create a new status quo.

      1 reply 1 proslijeđeni tweet 6 korisnika označava da im se sviđa
      Prikaži ovu nit
      Prathyush‏ @prathyvsh 22. stu 2019.
      • Prijavi 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

      The golden braid of logic
      19:46 - 22. stu 2019.
      • 7 proslijeđenih tweetova
      • 23 oznake „sviđa mi se”
      • simplicio Faruk Mark J. Nelson Magnus Gulan Eli Schiff PEZO 6502 nerd Leon T
      7 proslijeđenih tweetova 23 korisnika označavaju da im se sviđa
        1. Novi razgovor
        2. Prathyush‏ @prathyvsh 25. stu 2019.
          • Prijavi Tweet

          Prathyush je proslijedio/a tweet korisnika/cePrathyush

          Using this as a tapestry, weaving in the stories of Gleick, Strachey, and Landin's collaboration into this becomes easy: https://twitter.com/prathyvsh/status/1197525794245009408 … I now perceive what is happening as a meaningful unfolding story of humans collectively building up the idea of computation.

          Prathyush je dodan/na,

          Prathyush @prathyvsh
          Created this timeline/timebraid on how Alan Turing and peers collaborated to create Computer Science as we know it today! pic.twitter.com/7mwzvgBhp1
          Prikaži ovu nit
          1 reply 1 proslijeđeni tweet 5 korisnika označava da im se sviđa
          Prikaži ovu nit
        3. Prathyush‏ @prathyvsh 17. pro 2019.
          • Prijavi Tweet

          Its only half a page of this paper on History of Lambda Calculus by Barkley Rosser and he has already made me examine the way functions work inside a computer closer. He puts forth the idea that all functions are operationally unary even when defined as multi-arity.pic.twitter.com/qjKUI0dhpy

          1 reply 1 proslijeđeni tweet 7 korisnika označava da im se sviđa
          Prikaži ovu nit
        4. Prathyush‏ @prathyvsh 30. pro 2019.
          • Prijavi Tweet

          Prathyush je proslijedio/a tweet korisnika/cePrathyush

          As the research deepens what I'm bumping against now is the opposition of Aristotelianism vs. Augustinism in Middle Age philosophical thought: https://twitter.com/prathyvsh/status/1207313250733314050 … Augustinian thought emphasized non-mechanizable intuition over Aristotelian mechanizable empiricism.

          Prathyush je dodan/na,

          Prathyush @prathyvsh
          There is a long tailed deep divide between Aristotelians who believe in empirical evidence 🔍 and Platonists who believe in universal form 🗺. It took me a while to figure this out and was not evident when I read (pop)sci books written by authors who happen to be on either side.
          Prikaži ovu nit
          1 reply 1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
          Prikaži ovu nit
        5. Prathyush‏ @prathyvsh 2. sij
          • Prijavi Tweet

          The characteristic number idea introduced by Leibniz here feels like a hidden link between logical transitivity and arithmetic/algebraic commutativity of multiplication on numbers: https://pron.github.io/posts/computation-logic-algebra-pt1 …pic.twitter.com/ThcfPFQ1XV

          1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
          Prikaži ovu nit
        6. Prathyush‏ @prathyvsh 3. sij
          • Prijavi Tweet

          In terms of conceptual leaps, Gottfried Leibniz single handedly made significant contributions to the field of computation: Characteristica Universalis + idea of logical computation + built a mechanical computer + formalized binary arithmetic. And all these ~350 years ago!pic.twitter.com/WX6PU2AiV9

          1 reply 2 proslijeđena tweeta 6 korisnika označava da im se sviđa
          Prikaži ovu nit
        7. Prathyush‏ @prathyvsh 9. sij
          • Prijavi Tweet

          TIL in early days, algebra used to be known as “Universal Arithmetic”. Source: A Treatise on Algebra by George Peacock (1830) — one of the early treatise on symbolic approach to algebra https://archive.org/details/atreatiseonalge02peacgoog … /via https://pron.github.io/posts/computation-logic-algebra-pt2 …pic.twitter.com/D55eXLLegj

          1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
          Prikaži ovu nit
        8. Prathyush‏ @prathyvsh 9. sij
          • Prijavi Tweet

          Interesting to note that in 1840s Babbage's algebra was speculated to turn powerful enough to express the structure and function of human body — its “muscles, integuments, membranes &c.” and “functions of respiration, digestion, and assimilation”. Source: https://pron.github.io/posts/computation-logic-algebra-pt2 …pic.twitter.com/iTpP2it2df

          1 reply 0 proslijeđenih tweetova 4 korisnika označavaju da im se sviđa
          Prikaži ovu nit
        9. Prathyush‏ @prathyvsh 11. sij
          • Prijavi Tweet

          A recurrent idea I bump on in this research is that some of the well-known mathematical systems emerged out of religious beliefs. George Boole, inventor of Boolean Algebra, as an ecumenist who rebelled against the Trinity worship of his time. Source: https://pron.github.io/posts/computation-logic-algebra-pt2#the-monist …pic.twitter.com/MslWr6hcJi

          1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
          Prikaži ovu nit
        10. Prathyush‏ @prathyvsh 11. sij
          • Prijavi Tweet

          This take on mathematical systems emerging out from faith based thought is outlined in the history of Victorian era Mathematics by Daniel J. Cohen: https://amzn.to/2NeEDKD pic.twitter.com/gbgLY5YxzW

          1 reply 0 proslijeđenih tweetova 3 korisnika označavaju da im se sviđa
          Prikaži ovu nit
        11. Prathyush‏ @prathyvsh 12. sij
          • Prijavi Tweet

          Boole’s original algebra had a notion of time which seems to be curiously missing in modern treatments. Unearthing these sort of subtle details that are brushed under the rug for fitting the cast of modern treatises is a good reason to go prospecting the history of a field.pic.twitter.com/2SBLc0SHta

          1 reply 2 proslijeđena tweeta 6 korisnika označava da im se sviđa
          Prikaži ovu nit
        12. Prathyush‏ @prathyvsh 13. sij
          • Prijavi Tweet

          TIL about Automated Mathematician: https://en.wikipedia.org/wiki/Automated_Mathematician …, a discovery system written in Lisp by Douglas Lenat (of Cyc fame) via Douglas Hofstadter's foreword to Gödel’s Proof:pic.twitter.com/uyLI0eiKrS

          Hofstadter's foreword to Gödel’s Proof by Nagel and Newman
          1 reply 1 proslijeđeni tweet 0 korisnika označava da im se sviđa
          Prikaži ovu nit
        13. Prathyush‏ @prathyvsh 13. sij
          • Prijavi Tweet

          Prathyush je proslijedio/a tweet korisnika/cePrathyush

          Dana Scott’s recollection of how Lambda Calculus gets recycled every decade is well worth a watch for the personal anecdotes he shares. There’s also this instance of absurdity where he shares why the symbol ”Lambda” in Lambda Calculus was chosen :https://twitter.com/prathyvsh/status/1026069704090107906 …

          Prathyush je dodan/na,

          Prathyush @prathyvsh
          Lambda Calculus Then and Now by Dana Scott — Paper: https://turing100.acm.org/lambda_calculus_timeline.pdf … Talk: https://www.youtube.com/watch?v=SphBW9ILVPU …
          1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
          Prikaži ovu nit
        14. Prathyush‏ @prathyvsh 13. sij
          • Prijavi Tweet

          If you follow the threads of evolution of technology closely in different domains, say linguistics and logic in this case, one can’t help but find a sort of consilience among disparate seeming domains. Here is Frege replacing subject/predicate by argument/function dichotomy:pic.twitter.com/EX6yfGNiWm

          1 reply 1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
          Prikaži ovu nit
        15. Prathyush‏ @prathyvsh 13. sij
          • Prijavi Tweet

          Prathyush je proslijedio/a tweet korisnika/cePrathyush

          This ties together with the idea that there are links among disparate ideas appearing throughout the computational universe: https://twitter.com/prathyvsh/status/1152945019071766528 … Cf. Montague quantification (linguistics) has connections to continuations (functional programming): https://en.wikipedia.org/wiki/Montague_grammar …

          Prathyush je dodan/na,

          Prathyush @prathyvsh
          A bundle of few concepts in Computer Science which exhibit dense (homo)morphisms between them but I haven't been able to pick apart how: • Continuations • Lazy Evaluation / Non-strictness • Actors • Closures • Algebraic Effects • Monads • Montague Quantification
          Prikaži ovu nit
          2 proslijeđena tweeta 1 korisnik označava da mu se sviđa
          Prikaži ovu nit
        16. Prathyush‏ @prathyvsh 15. sij
          • Prijavi Tweet

          Prathyush je proslijedio/a tweet korisnika/cePrathyush

          I’d be compiling and serializing this stories of computation into a browsable website up next. Collecting materials for research, feel free to suggest any articles/books you think would enrich the narrative this way:https://twitter.com/prathyvsh/status/1198085261281779712?s=20 …

          Prathyush je dodan/na,

          The golden braid of logic
          Prathyush @prathyvsh
          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 nit
          1 proslijeđeni tweet 6 korisnika označava da im se sviđa
          Prikaži ovu nit
        17. Prathyush‏ @prathyvsh 17. sij
          • Prijavi Tweet

          Robin Gandy, student of Turing, on ”the uncluttered mind”. If you are an entrant to the field of logic/scientific inquiry, it could be tempting to see this as an encouragement to forego learning about literature of a field to go at it with a “fresh mind”, but this could be naïve.pic.twitter.com/ge8y7v2lJw

          1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
          Prikaži ovu nit
        18. Prathyush‏ @prathyvsh 17. sij
          • Prijavi Tweet

          Prathyush je proslijedio/a tweet korisnika/cePrathyush

          Alan Turing was a generalist and read widely on very different topics. He was fluent in German and up-to-date in the mathematical advances of his time as can be seen in the references of his paper:https://twitter.com/prathyvsh/status/1168766689460150278 …

          Prathyush je dodan/na,

          Prathyush @prathyvsh
          Alan Turing read about Chemistry, Electricity, Money, Mathematics, Gravitation, Mental Philosophy, and Sound Waves before he was a Computer Science pioneer: http://openculture.com/2016/06/the-books-on-young-alan-turings-reading-list.html … Our CS curriculum pales in comparison with what our forefathers used to learn and be interested in.
          Prikaži ovu nit
          1 reply 0 proslijeđenih tweetova 4 korisnika označavaju da im se sviđa
          Prikaži ovu nit
        19. Prathyush‏ @prathyvsh 17. sij
          • Prijavi Tweet

          Gödel who produced a proof for God’s existence: https://en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_proof … claimed Turing’s notion of computation as philosophically erroneous to model human cognition. Kleene rejected it as a “pie in the sky”. Source: https://pron.github.io/posts/computation-logic-algebra-pt3 …pic.twitter.com/2g5BjWDCdu

          1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
          Prikaži ovu nit
        20. Prathyush‏ @prathyvsh 18. sij
          • Prijavi Tweet

          Finished this erudite three part essay on the history of intersection between computation, logic, and algebra by @pressron. I highly recommend this series to those interested in the history of computation:https://pron.github.io/posts/computation-logic-algebra-pt1 …

          1 reply 2 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
          Prikaži ovu nit
        21. Prathyush‏ @prathyvsh 19. sij
          • Prijavi Tweet

          Conjecture: Alan Turing knew a thing or two about Poincare’s embezzlement at the three body problem of late 19th century: https://en.wikipedia.org/wiki/Three-body_problem#Special-case_solutions … (or one of the related threads) which inspired him to answer the Entscheidungsproblem in the negative: https://en.wikipedia.org/wiki/Entscheidungsproblem#Negative_answer …pic.twitter.com/e6BGOZ221o

          0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
          Prikaži ovu nit
        22. Prathyush‏ @prathyvsh 4 hprije 4 sata
          • Prijavi Tweet

          Pretty interesting essay on type theory by @mrkgrnao here: https://colimit.net/posts/normalisation-by-evaluation/ … Breaks down the more complex concepts to their composites and gives interesting metaphors to ground them.pic.twitter.com/dACEPD1b7r

          1 reply 2 proslijeđena tweeta 1 korisnik označava da mu se sviđa
          Prikaži ovu nit
        23. Kraj razgovora

      Č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.

        Sponzorirani tweet

        false

        • © 2020 Twitter
        • O Twitteru
        • Centar za pomoć
        • Uvjeti
        • Pravila o privatnosti
        • Imprint
        • Kolačići
        • Informacije o oglasima