EliasBorota

@eliasborota

"(C) A proof is any completely convincing argument." - E. Bishop "Wir müssen wissen—wir werden wissen!" - D. Hilbert

Vrijeme pridruživanja: srpanj 2012.

Tweetovi

Blokirali ste korisnika/cu @eliasborota

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

  1. Prikvačeni tweet
    26. ruj 2017.
    Poništi
  2. proslijedio/la je Tweet
    1. velj

    7 yo: Are ghosts afraid of other ghosts? Me: I wouldn't think so. 7 yo: That's why I want to be a ghost. So I won't be afraid of ghosts.

    Poništi
  3. proslijedio/la je Tweet

    NEW: The arrested Harvard prof is tip of the iceberg. When the Texas A&M system investigated how much Chinese money its faculty was getting, officials were astounded—over 100 were involved in Chinese talent recruitment plans. Only 5 disclosed.

    Poništi
  4. proslijedio/la je Tweet

    Presented without comment.

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet

    With no food, electricity, or medicine, hospitals in are closer to the 1800s than 2019. This is what a socialist society looks like...

    Poništi
  6. proslijedio/la je Tweet
    27. sij

    “What is your dream job” “I don’t dream of labor” LMFAAOO

    Prikaži ovu nit
    Poništi
  7. 28. sij

    If anyone in the or community have recommendations on particularly beautiful or instructive programs or writing I can refer to, feel free to point me to them! Thank you so much, everyone!

    Prikaži ovu nit
    Poništi
  8. 28. sij
    Prikaži ovu nit
    Poništi
  9. 28. sij

    Dr. 's "The OCaml Journal" and "The F# Journal" meet both criteria. They represent pedagogy of the highest order—I cannot recommend them enough. (If you want an additional treat, read his answers.) Thank you so much, Dr. Harrop!

    Prikaži ovu nit
    Poništi
  10. 28. sij

    My intro to "programming" was through Knuth. (He has never been easy reading for me.) He highly recommends studying others' programs. Now that I'm getting into "real programming", I want to study programs written by master programmers and in powerful languages (no, not ).

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    17. sij
    Poništi
  12. proslijedio/la je Tweet
    3. pro 2019.
    Poništi
  13. proslijedio/la je Tweet
    25. sij
    Odgovor korisniku/ci

    I have implemented my core ML interpreter along with a minimal WPF-based editor that gives type and error throwback in real-time. We are now going to start the process of putting it into production in the form of the language embedded in a programmable wiki.

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

    Woa. deems "the most economically transformative legislation of the Trump era". Agreed. California is the 5th largest economy in the world and is the first proposed solution that matches the scale of the housing crisis.

    Poništi
  15. proslijedio/la je Tweet

    "In 2016, a study […] determined by radiocarbon dating of crystals within the lens of their eyes that the oldest of the animals that they sampled, which also was the largest, had lived for 392 ± 120 years and was consequently born between 1504 and 1744."

    Poništi
  16. proslijedio/la je Tweet

    My new podcast, "The Joy of x", now has a page on Apple Podcasts. It would be great if lots of you could subscribe and maybe even leave a review of the 2 minute trailer -- let's see if we can get some momentum going here! Thanks everybody!

    Poništi
  17. proslijedio/la je Tweet
    8. sij

    I first became aware of this quote by Nazi leader Herman Goering in an episode of . It seems relevant to most times and places in history.

    Poništi
  18. proslijedio/la je Tweet
    26. pro 2019.

    For those who keep telling me they're waiting for the next installment of supernova in the east… We should have had a hardcore history addendum (or three) out in the interim time as well. Got a good one that I'm working on now…great subject. Just you wait!

    Poništi
  19. proslijedio/la je Tweet
    3. stu 2019.

    Best episode of ⁦⁩ in years (which says a lot- I’m an avid listener). Foreign Policy themed. Give it a listen!

    Poništi
  20. proslijedio/la je Tweet
    31. lis 2019.

    The standard proofs of the following facts ARE CONSTRUCTIVE: non-existence of Halting oracle, irrationality of √2, Russell's paradox, uncountability of P(N) by diagonalization. This was a public service announcement.

    Poništi
  21. proslijedio/la je Tweet

    A young comic, got a hundred thousand twitter followers when she bravely attacked Harvey Weinstein at a comedy event the disgraced animal attended. It is a damn shame that females still feel they have to rely on Harvey Weinstein to get ahead in this business.

    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:

    ·