TechTalkFollowup May 2014

techtalkfollowup@lists.iq.harvard.edu

3 participants
3 discussions

by Philip Durbin

I just listened to http://www.se-radio.net/2014/04/episode-203-leslie-lamport-on-distributed-s… and Leslie Lamport 's comparison of UML vs. his TLA+ system reminded me of Michael's talk about PlantUML. I don't think I can do TLA+ justice so it would be best to listen to the podcast above but I'd like to point to a practical use of TLA+ he mentioned at Amazon. According to https://groups.google.com/d/msg/tlaplus/C7Rmka3iSGE/zLQjQh0NeSEJ Chris Newcombe will soon be publishing a paper called "Why Amazon Chose TLA+". He goes on to say: "Part of my evaluation is already available, in a talk that I gave at HPTS (bi-annual workshop on High Performance Transaction Systems) in 2011 Slides including notes : http://hpts.ws/papers/2011/sessions_2011/Debugging.pdf Specifications for 2 'real world' algorithms for transaction isolation, in both Alloy and TLA+ : http://hpts.ws/papers/2011/sessions_2011/amazonbundle.tar.gz " His LinkedIn profile at http://www.linkedin.com/pub/chris-newcombe/1/a08/b33 says "Successfully introduced formal methods to Amazon, using Leslie Lamport's method (TLA+ and PlusCal)" That tarball has some interesting TLA+ examples (textbookSnapshotIsolation.tla and serializableSnapshotIsolation.tla, attached.) They're reminiscent of Michael's PlantUML examples but more rigorous and mathematical, I'd say... For more on TLA+ see http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html Phil On Sun, Jan 12, 2014 at 12:13 PM, Bar-sinai, Michael <mbarsinai(a)iq.harvard.edu> wrote: > Hello everyone, > > The slides and code for Thursday talk (diagrams etc.), with some internal projects mentions removed, are available here: > http://www.mbarsinai.com/blog/2014/01/12/draw-more-work-less/ > > -- Michael > > (Thanks @philip_durbin for suggesting to post it) > _______________________________________________ > TechTalkFollowup mailing list > TechTalkFollowup(a)lists.iq.harvard.edu > > This list is shared with the public. Please do not discuss Harvard Confidential business on this list. > > To unsubscribe from this list or get other information: > > https://lists.iq.harvard.edu/mailman/listinfo/techtalkfollowup -- Philip Durbin Software Developer for http://thedata.org http://www.iq.harvard.edu/people/philip-durbin

9 years, 11 months

Re: [TechTalkFollowup] TechTalkFollowup Digest, Vol 7, Issue 3

by Quigley, Elizabeth

Hi Brad, I haven't done much with web standards for accessibility requirements but it is in the plan for Dataverse 4.0 Beta (dataverse-demo.iq.harvard.edu/) to make sure we are complying. I have met with a woman at HUIT who does a lot of accessibility testing for Harvard websites and applications. She informed me that they use WCAG guidelines: http://www.w3.org/WAI/intro/wcag The minimum is to have your product compliant with WCAG 1.0. Also, I'll be testing Dataverse 4.0 Beta with JAWS screen reader and Dragon speech recognition software, which are used here at Harvard, to see how WCAG 1.0 compliant it is. I believe, but could be wrong, that being WCAG 1.0 compliant would help with potential dyslexia problems. I'm not sure how user friendly it would be to have to know to switch to a dyslexic friendly format. Once I run testing on Dataverse 4.0 Beta, I could put together some of what was found to send out so everyone can see what types of issues are found. That might be useful. Hope this helps! Elizabeth -----Original Message----- From: techtalkfollowup-bounces(a)lists.iq.harvard.edu [mailto:techtalkfollowup-bounces@lists.iq.harvard.edu] On Behalf Of techtalkfollowup-request(a)lists.iq.harvard.edu Sent: Thursday, May 15, 2014 12:00 PM To: techtalkfollowup(a)lists.iq.harvard.edu Subject: TechTalkFollowup Digest, Vol 7, Issue 3 Send TechTalkFollowup mailing list submissions to techtalkfollowup(a)lists.iq.harvard.edu To subscribe or unsubscribe via the World Wide Web, visit https://lists.iq.harvard.edu/mailman/listinfo/techtalkfollowup or, via email, send a message with subject or body 'help' to techtalkfollowup-request(a)lists.iq.harvard.edu You can reach the person managing the list at techtalkfollowup-owner(a)lists.iq.harvard.edu When replying, please edit your Subject line so it is more specific than "Re: Contents of TechTalkFollowup digest..." Today's Topics: 1. Re: Understanding UX & Usability Slides (Frank, Bradley) ---------------------------------------------------------------------- Message: 1 Date: Wed, 14 May 2014 16:55:37 -0400 From: "Frank, Bradley" <bfrank(a)hmdc.harvard.edu> To: "[List] Tech Talk" <techtalkfollowup(a)lists.iq.harvard.edu> Subject: Re: [TechTalkFollowup] Understanding UX & Usability Slides Message-ID: <CAAMBG6rC-1VfP7UuE+d+fVmaXeTTwawMKE1fLQui6WFzUNQPhg(a)mail.gmail.com> Content-Type: text/plain; charset="utf-8" Hi Elizabeth, Loved the Tech Talk, got us thinking about a lot of the elements in RCE. I was curious how much you deal with web standards. I spent a great deal of time formatting one specific webpage to be as standards-compliant /and/ accessible as possible, which meant following HTML5 and ARIA for the most part. They have a test tool here: http://wave.webaim.org/ but it doesn't cover everything. I learned that certain formatting can assist people with dyslexia, and there are guidelines to improve their user experience: http://www.bdadyslexia.org.uk/about-dyslexia/further-information/dyslexia-s… . I concluded that it would essentially require a separate CSS file, and a little JS maybe to allow users to switch between the two. But other wise doable I think. (Sadly I didn't quite get that far myself, and there doesn't seem to be any other guidelines for this.) Any thoughts on something like this? Are there other visual/neurological impairments that you've come across that websites can format for? Brad

9 years, 11 months

Understanding UX & Usability Slides

by Quigley, Elizabeth

Hi everyone, Attached is a PDF of the slides from my Understanding User Experience & Usability Tech Talk yesterday. Please let me know if you have any questions! Elizabeth Elizabeth Quigley Usability Specialist Institute for Quantitative Social Science Harvard University equigley(a)iq.harvard.edu

9 years, 11 months

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

TechTalkFollowup May 2014