John Regehr

@johnregehr

computer science professor, Calvin's dad

যোগদান করেছেন সেপ্টেম্বর ২০০৯

টুইট

আপনি @johnregehr-কে ব্লক করেছেন

আপনি কি এই টুইটগুলি দেখতে চাওয়ার বিষয়ে নিশ্চিত? টুইটগুলি দেখা হলে @johnregehr অবরোধ মুক্ত হবে না।

  1. পিন করা টুইট
    ১৮ জুলাই

    one of my favorite parts of twitter is sharing pointers to interesting research papers that I've found using google scholar search and other methods. but you know what I do when a paper can only be found behind a paywall? I don't post it.

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  2. ১১ ঘন্টা আগে
    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  3. ১১ ঘন্টা আগে

    fun birthday present -- one of the kids used a 3d printer make a shadow cube with my initials like on the cover of Godel Escher Bach

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  4. ১৩ ঘন্টা আগে

    normally I would not retweet a tweet about an announcement for a game I haven't played yet but who am I kidding here

    পূর্বাবস্থায়
  5. পুনঃ টুইট করেছেন
    ১৮ ঘন্টা আগে

    --hieronymus bosch depicting a soul descending into hell (1515)

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  6. ১৮ ঘন্টা আগে

    hey that was super uncool to turn on third party billing on my kids' phones by default, but I'm sure you knew that

    পূর্বাবস্থায়
  7. পুনঃ টুইট করেছেন
    ১৭ জুলাই

    New post about how Tinder keeps your exact location kind of private. It took them a few failed attempts but they got there in the end.

    পূর্বাবস্থায়
  8. ২৩ ঘন্টা আগে

    article written by a friend: "A long fuse: ‘The Population Bomb’ is still ticking 50 years after its publication"

    পূর্বাবস্থায়
  9. ২৩ ঘন্টা আগে

    interesting/worrying (and unpleasant for living) thing happening here is that daily low temps in summer have been increasing more than daily highs

    পূর্বাবস্থায়
  10. ১৮ জুলাই
    পূর্বাবস্থায়
  11. ১৮ জুলাই

    ok fine I laughed

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  12. ১৮ জুলাই

    I watched Super Troopers 2 so you don't have to. I'm serious: you really, really don't.

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  13. ১৮ জুলাই

    but of course probably about zero people who need to get this message are on twitter

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  14. ১৮ জুলাই

    unlike a lot of papers about formal verification, this one is intuitively appealing, understandable material and the authors have included plenty of examples

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  15. ১৮ জুলাই

    a serious problem with formal verification efforts is figuring out what has actually been accomplished. this paper about applying ideas from mutation testing looks like a good step towards solving this problem:

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  16. পুনঃ টুইট করেছেন
    ১৭ জুলাই
    পূর্বাবস্থায়
  17. ১৮ জুলাই

    kids are making dinner tonight!!

    পূর্বাবস্থায়
  18. পুনঃ টুইট করেছেন
    ১৭ জুলাই

    Congrats to for finding the most San Francisco Airbnb listing! Live like a San Francisco local! ... in a bus under the freeway in SOMA for $80/night!

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  19. ১৭ জুলাই

    and indeed even these paradigms were too restrictive, as Tesla, Nest, and many others are demonstrating

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  20. ১৭ জুলাই

    in reply to , I definitely did not mean to imply that all bugs can be contained in functions. our field was forced to invent files, file systems, and networks to contain all the kinds of bugs that we wanted to write.

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়

লোড হতে বেশ কিছুক্ষণ সময় নিচ্ছে।

টুইটার তার ক্ষমতার বাইরে চলে গেছে বা কোনো সাময়িক সমস্যার সম্মুখীন হয়েছে আবার চেষ্টা করুন বা আরও তথ্যের জন্য টুইটারের স্থিতি দেখুন।

    আপনিও পছন্দ করতে পারেন

    ·