Joanna Sharrad

@JoannaSharrad

1st year Computer Science PhD researching Type Errors in Functional Programming. Working towards Simple Living. Apparently a Technology Refuseniks.

Ashford, Kent
যোগদান করেছেন জানুয়ারী ২০১৭

টুইট

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

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

  1. ২২ মিনিট আগে

    First haul of the year!

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

    I now have todo list for the next stage of my research, which is actually a todo list of a small subsection of the next stage, which in itself is part of a larger section of 5 segments, which are also just small parts of my year 2 plan....

    পূর্বাবস্থায়
  3. ৫ ঘন্টা আগে

    I swap between Linux and Mac often and always found the lack of "location bar" in the Mac finder annoying. So, just found this that adds it in. Not perfect as you have to double click to activate it, but at least I can type paths now, much quicker!

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

    As a Brit this is going to sound crazy, however I really do wish it would rain! It seems no matter how much watering I do my garden looks like a desert rather than "The Garden of England" that living in Kent is meant to portray!

    পূর্বাবস্থায়
  5. ১৭ জুলাই

    Me: Oh, Now relaxing after working all day, dinner cooked and consumed, looking forward to sleep soon.... Brain: You still have work to do... Me: But, but, but....it was hot last night, I hardly slept, I am grumpy.... Brain: Promise it will be worth it.... Me:.....

    পূর্বাবস্থায়
  6. ১৬ জুলাই

    So......I think the walk might have been a success..... Cheesy Title = ✔

    পূর্বাবস্থায়
  7. ১৬ জুলাই

    I need to go for a walk, my brain has stopped working.....

    পূর্বাবস্থায়
  8. ১৬ জুলাই

    I think the next piece of software I am going to work on I will call 'Quixotic'. Which means: extremely idealistic; unrealistic and impractical..... Yep sounds perfect!

    পূর্বাবস্থায়
  9. ১৬ জুলাই

    This is what I have been trying to do over the past year-ish. I hope it is useful for others!

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

    Got lost alot, plus a warning that this thesis is 200+ long but still a good read:

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

    *Warning* It was written for the sole purpose of my personal learning there will be lots of mistakes and maybe not the easiest read! Have uploaded the raw latex file and test programs here: please feel free to edit, improve, and use as you will! [2/2]

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

    Finally finished what I have been working on all week: The Rough Guide to GHC Type Checker Messages: [1/2]

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

    Woohoo! Final error message of TcErrors.hs reached! Rough document about it all is on its way soon.

    পূর্বাবস্থায়
  14. ১৩ জুলাই

    The wild blackberries are coming! Can't wait to go blackberry picking and make this years blackberry and apple crumbles!

    পূর্বাবস্থায়
  15. ১২ জুলাই

    Installing packages for GHC is giving me flashbacks to the early 2000's when I had to frequently experience Linux dependency hell.........

    পূর্বাবস্থায়
  16. ১২ জুলাই

    Just been accepted to go to the Utrecht Summer School in The Netherlands to do their Advanced Functional Programming course in August! I am so super excited!!!!! 😃 Can't wait! *squeal*

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

    Wow, watching the football on ITV and the first break advert was for Hdac who state on their site: Hdac is an IoT contract platform based on blockchain, that not only exchanges but also restricts the usage of connected devices. No, no, no no no noooooooooo..........

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

    Multi-tasking. Watching England vs Croatia whilst reading History of Lambda-calculus and Combinatory Logic :

    পূর্বাবস্থায়
  19. ১১ জুলাই
    পূর্বাবস্থায়
  20. ১১ জুলাই

    Finally found a way to keep my desk tidy from all the unread papers I had sprawled across it! Now just need to label each layer by paper topic and I am officially an organised person (well kind of....)

    পূর্বাবস্থায়

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

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

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

    ·