Tweetovi

Blokirali ste korisnika/cu @danghica

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

  1. Prikvačeni tweet
    4. stu 2019.

    Transparent synchronous data-flow or how to make more like . A blog post popularising recent joint research with .

    Poništi
  2. 1. velj

    It would be cool if mathematicians decided it's more important for maths to be solid rather than original; if combing through the archives and properly proving theorems became fashionable.

    Poništi
  3. 31. sij

    I voted remain but I find the "I voted remain but ..." confessionals extremely tiresome. There is no upside to and I will feel cheated and devastated about it indefinitely.

    Poništi
  4. 30. sij

    One of my favourite basic results in computability is that it's undecidable whether a context-free-grammar expresses a regular language. Sometimes a simple problem may be expressed in a needlessly complicated language. And yet there is nothing we can do about it.

    Poništi
  5. 25. sij

    "The class MIP* of languages that can be decided by a classical verifier interacting with multiple all-powerful quantum provers sharing entanglement is equal to the class RE of recursively enumerable languages" 🤯

    Poništi
  6. proslijedio/la je Tweet

    Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore, Mario Román : Profunctor optics, a categorical update

    Poništi
  7. 20. sij

    Our Computer Science School in the University of Birmingham is recruiting for a new Head of School.

    Poništi
  8. 14. sij

    Constructive real arithmetic is alive on a billion devices!

    Poništi
  9. 30. pro 2019.

    Old 2012 Air too slow, virtually unusable, after the many OS upgrades over the years. Didn't throw it away, made one final OS upgrade: to . Now it's working like new.

    Poništi
  10. 28. pro 2019.

    Everyone who I personally know in my scientific community is brilliant, from students to veteran professors. Most are kind and sensible. Which makes it utterly remarkable that our current models of peer review, publication, and dissemination are the best we can come up with.

    Poništi
  11. 26. pro 2019.

    My thoughts exactly: "Coding in C is like camping. It's fun for a while, but eventually you really miss things like flushing toilets and grocery stores."

    Poništi
  12. 24. pro 2019.
    Poništi
  13. proslijedio/la je Tweet
    20. pro 2019.

    We're recruiting! Want to work for a friendly, forwarding-thinking computer science department? Due to some incredible opportunities that have come our way, we're hiring for a range of new staff: Find out more here:

    Poništi
  14. proslijedio/la je Tweet
    19. pro 2019.

    Category theory goes mainstream with an appearance on Rick and Morty! They use quantum reasoning in symmetric monoidal categories to travel in time, as in

    Poništi
  15. 16. pro 2019.

    Astonishing: "Despacito going viral, reaching 6.3 billion views, burned alone as much energy as 40,000 U.S. homes."

    Poništi
  16. 13. pro 2019.

    Permanent academic positions with 5-year reduced teaching at University of Birmingham. Theory applicants always did very well! Deadline is soon.

    Poništi
  17. proslijedio/la je Tweet
    15. kol 2017.

    La logique est une écologie du savoir et des relations qui forgent ce savoir. La fabrique d'un monde commun, stable et protéiforme.

    Poništi
  18. 11. pro 2019.

    Good luck tomorrow! We need more decent people like him in parliament.

    Poništi
  19. 8. pro 2019.

    Yet I wonder if 's ideas about the role of media in political control are still as relevant. Or are we seeing a turn, via social media, towards fear, uncertainty, and doubt as agents of political persuasion and control. Manufacturing dissent, more like.

    Prikaži ovu nit
    Poništi
  20. 8. pro 2019.

    Today is 's birthday. His book "Manufacturing Consent" was my political damascene moment. He remains the ultimate public intellectual, of penetrating brilliance and unbending integrity. Happy Birthday!

    Prikaži ovu nit
    Poništi
  21. 24. stu 2019.

    I am seriously impressed the WASM spec is formulated using operational semantics.

    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:

    ·