🇨🇦 Engineer @crowdstrike. Ph.D. in Software Engineering. Formal methods advocate (TLA+, Alloy, Z3). Python/JavaScript/etc. Husband & dad. He/him
Hamilton, Ontario, Canada
Joined October 2008
- Tweets19.1K
- Following889
- Followers1.2K
- Likes1.7K
Jay Parlar retweeted
A friendly reminder that the CfP for the TLA+ conference 2022 ends in a little more than a week on July 1st. Please see conf.tlapl.us for how to submit your proposal.
#tlaplus #pluscal
Jay Parlar retweeted
Don't wait and submit your talk proposal to #tlaplus conf. The program committee that @muratdemirbas assembled is top notch:
@dim_gianna @pressron @norootcause @parlar @k0nn0v, Stephan Merz, and Joshua Rowe
We look forward to your 1-2 page talk proposals for TLA+ conference (by July 1st).
TLA+ conference will be in person (Sept 22) in conjuction with Strange Loop (Sept 23-24)
conf.tlapl.us
thestrangeloop.com
Jay Parlar retweeted
The first Indiana Jones film 41 years ago was set in 1936, which means the new one should be set in 1977 and Indy could go to the cinema to see Harrison Ford in the original Star Wars.
Jay Parlar retweeted
The @github ReadME Project posted my piece on the value of seeing operational work!
github.com/readme/guides/ops…
Jay Parlar retweeted
as a small child the first time i played super mario bros i saw the first goomba and i said is he a friend or an enemy and then i walked into the goomba and died and then i cried. the lesson: we do not carry violence with us naturally. it is taught to us. by shigeru miyamoto
Jay Parlar retweeted
The time has come! Let us now open a bottle of Heinz EZ Squirt "Mystery Color" Ketchup from 2002. You earned this.
Jay Parlar retweeted
when people don't like pacific rim for reasons like "oh it doesn't make sense" "oh it's dumb" FOOLS you miss the POINT which is LOVE MAKES ROBOTS PUNCH. what else do you WANT from a film. what else do you want from ART
Jay Parlar retweeted
Okay, here's the deal. I have a sealed bottle of Heinz EZ Squirt "Mystery Color" Ketchup from 2002. Possibilities are Passion Pink, Awesome Orange and Totally Teal. I'm willing to show you what color is inside, but it'll cost you. 5000 retweets, and I'll crack this sucker open.
Jay Parlar retweeted
Regexes are Cool and Good. Use them more
buttondown.email/hillelwayne…
Jay Parlar retweeted
Want to see what TLA+ is all about? Next Tuesday, I will be speaking about #tlaplus between 7-9 pm EST. Free to all!
meetup.com/Detroit-Tech-Watc…
Jay Parlar retweeted
You kids will never understand how Bob Saget used to basically host YouTube on tv, and we had to wait for one half hour on a Sunday night to all watch it together.
Jay Parlar retweeted
This is one of my favorite examples of how valuable formal methods can be: by trying to specify the design of a complex system, we realized the *user requirements* were wrong! A couple days modeling saved us weeks of building the wrong thing. increment.com/planning/forma…
Jay Parlar retweeted
My little gift to you: Ten minutes of Christmas commercials from the '80s and '90s, featuring everything from Holiday Rice Krispies to Snuggle Bear tree ornaments. Enjoy!
Jay Parlar retweeted
Playing with Alloy to learn more about how DNS works. github.com/lorin/dns-alloy
Jay Parlar retweeted
New Blog Post! This one covers all the new features in Alloy 6 which make it an excellent tool for modeling dynamic systems. I'm really excited about these improvements, so give it a read!
hillelwayne.com/post/alloy6/