@parlar

🇨🇦 Engineer @crowdstrike. Ph.D. in Software Engineering. Formal methods advocate (TLA+, Alloy, Z3). Python/JavaScript/etc. Husband & dad. He/him

 Hamilton, Ontario, Canada
parlar.ca
Joined October 2008
  • Tweets19.1K
  • Following889
  • Followers1.2K
803Media
Telling you I was born in 1980 without telling you that I was born in 1980
1
6
There’s still time to submit a proposal for the TLA+ conf conf.tlapl.us/home/ The proposal’s don’t need to be long, so you can knock it out in a few hours (and then have months to prepare the talk itself) This is your chance to show your cool TLA+ work to the world!
1
3
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
3
2
For anyone that’s beaten Wordle today, you can tell why I’m feeling attacked Wordle 365 6/6 ⬛🟨⬛🟨🟨 🟨⬛🟨🟩⬛ ⬛⬛🟩🟩🟩 ⬛🟩🟩🟩🟩 ⬛🟩🟩🟩🟩 🟩🟩🟩🟩🟩
2
1
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
Murat Demirbas (Distributolog)@muratdemirbas24 May 2022
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
11
14
Awwww yeah
5
Have you done something awesome with TLA+? The call for presentations is now open for this year’s TLA+ Conference! conf.tlapl.us/home/ We’re again collocated with Strange Loop, and taking place September 22. And @hillelogram will be running a training on Sept 21!
6
14
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.
7
19
1
143
If I can offer an observation, 20+ years into my software career: Long term, your kindness and helpfulness are vastly more impactful than your technical skills. People will remember how you made them feel. They're much less likely to remember that awesome function you wrote.
40
667
132
4,089
The @github ReadME Project posted my piece on the value of seeing operational work! github.com/readme/guides/ops…

Making operational work more visible

While working at Netflix, @norootcause initiated a new kind of meeting to retroactively look “over the shoulders” of fellow engineers and learn from their experiences:

github.com
3
16
3
53
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
20
3,206
47
11,488
40
485
70
4,513
What colour are you hoping to dye your hair? No one: “You know I take all my hair advice from The Suicide Squad. Obviously Mongal’s Purple Desire!”
2
Very proud of this new laptop sticker I ordered off of Etsy.
1
12
1
160
21
423
28
5,102
The time has come! Let us now open a bottle of Heinz EZ Squirt "Mystery Color" Ketchup from 2002. You earned this.
179
416
134
3,021
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
2
12,629
559
33,072
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.
355
10,913
569
52,902
this fruit snacks commercial from 1990 is all anyone should ever talk about
45
484
41
1,438
Load more