Mukesh Tiwari

@mukesh_tiwari

Theorem proving (Coq), Verifying Electronic Voting Schemes, Functional programming enthusiastic, PhD student at Australian National University, Canberra.

Canberra, Australian Capital T
Vrijeme pridruživanja: ožujak 2009.

Tweetovi

Blokirali ste korisnika/cu @mukesh_tiwari

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

  1. proslijedio/la je Tweet
    1. velj

    99 smartphones are transported in a handcart to generate virtual traffic jam in Google Maps. Through this activity, it is possible to turn a green street red which has an impact in the physical world by navigating cars on another route!

    Prikaži ovu nit
    Poništi
  2. prije 10 sati
    Poništi
  3. proslijedio/la je Tweet
    prije 12 sati

    EMERGENCY WARNING - Calabash (Snowy Monaro LGA) The fire is spreading E & NE direction under strong SW winds. People in the Tinderry, Calabash areas including Calabash Rd, Tinderry Rd, Egans Rd and Naylers Lane, should seek shelter as fire approaches.

    Poništi
  4. prije 15 sati

    Finally, we found a house in Melbourne. A big relief 😅

    Poništi
  5. prije 16 sati
    Poništi
  6. proslijedio/la je Tweet
    2. velj

    Strong opinions, weakly held

    Poništi
  7. 1. velj

    No doubt they are the only company ranked consistently with 1 star experience:

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

    My only concern is: if the website is hacked and data is leaked, then almost everything about you and your reference would be out there. This is the perfect example of half cooked solution without any consideration to privacy.

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

    To rent a property in Australia, most the rental property managers rely on a company name “1form”, which collects all the relevant data. I am creating my account and I am surprised that they are asking so many sensitive details.

    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    30. sij

    This is eye-opening. Filmed from the cab of a fire truck in real time over three and half minutes. The firefighters successfully saved the property off camera on the right. The original and an informative timeline from the firefighters here:

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

    When I was undergrad then I thought discrete math was most useless course. The reason was because it was a very abstract course and involved some logic and other abstract notions. And now I am doing is theorem proving.

    Poništi
  12. 29. sij
    Poništi
  13. proslijedio/la je Tweet
    27. sij

    Nicholas Winton helped 669 Jewish children escape the Nazis. His efforts went unrecognized for 50 years; then in 1988, while sitting as a member of a TV audience, he suddenly found himself surrounded by the kids he’d rescued, now adults. It often takes the dark to see the stars.

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

    "Every great developer you know got there by solving problems they were unqualified to solve until they actually did it." - Patrick McKenzie

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

    Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see for the proper channels for bug reports or technical discussion. This account is community-managed by , , and . Have fun!

    Poništi
  16. proslijedio/la je Tweet
    24. sij

    Here's your periodic reminder that basic research is only "useless" until it suddenly becomes the most important thing in the world. 20 years ago, coronavirology was an obscure sub-field the public never heard about. Good thing we funded it anyway.

    Poništi
  17. proslijedio/la je Tweet
    25. sij
    Odgovor korisniku/ci

    This is nothing, I spoke to my dog in full sentences since he was a puppy. He is now a skilled therapist and has a growing clientele. He is a great listener and gives fantastic insight.

    Poništi
  18. 27. sij

    I just realised that when category theorist taking about algebra, they mean some rules or axioms of the system.

    Poništi
  19. 27. sij

    India right now :( Politicians sleeping with corporates

    Poništi
  20. 27. sij
    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:

    ·