Frank Shearar @FShearar

@natasha_woods_ @FXFILL @ColumbiaBDS There are Zionist Jews and non-Zionist Jews. There are Zionist non-Jews and non-Zionist non-Jews. Equating Zionism and being Jewish is intellectually lazy. Stop it.

@ronphillipsjr1 @wiley_inc @whstancil How does "make system able to handle the year 2000" relate here?

@MegaFunTweets @wiley_inc @whstancil Just because it's written in COBOL doesn't mean it needs fixing. Most business transactions today run through "very old, outdated" systems. They're very much not broken.

@tarkov Your cheater detection software is garbage. False positives. Get better.

@tarkov You want to maybe reconsider permanently banning people claiming cheats but provide no evidence? It's not a good look.

A junior colleague wrote his first TLA+ model in a spec review and I am a teeny bit proud, ngl.

@edzhelyov @mipsytipsy "Observability Engineering" by Majors, Fong-Jones & Miranda is a great book that talks not only about "what is it" but also "how to get it [in your organization]". (Also "how to build it if you can't buy it".)

Working at #microsoft, #linkedin, or #github? Curious to learn about #tlaplus? Register for one of my internal TLA+ workshops at aka.ms/tlaclass

Your database table schema is not an API.

If I retweet you it means you endorse me

If you're starting out TLA+ or Alloy and want me to give your spec a quick once-over for obvious improvements feel free to reply or DM me, I like helping beginners

Full house at the #tlaplus workshops at #Microsoft Bengaluru.

A C programmer is one who, when told not to run with scissors, responds "it should be 'don't trip with scissors.' I never trip."

@ancient_james I'm obsessed! That thing is just unspeakably amazing.

@BretDevereaux So this thread is more than a week old but I only just saw the article run through my feed and I was "inspired" to make this stupid thing.

@DominikTornow This prompted me to make my Fast Paxos + CASPaxos experimentation repo public: github.com/ReubenBond/fas… The idea is that the Fast Paxos optimization can be applied to CASPaxos for 1RTT logless, leaderless commit. The impl is messy. It's a playground using Microsoft Coyote

Why, yes thanks, I would love that treat.

@hillelogram @geoffreylitt microsoft.com/en-us/research… is a fun read!

@hillelogram @geoffreylitt It's not an explanation, but the open sourced the secret sauce: github.com/microsoft/prose. Visual Studio uses it to power automating little text edits you've made several times. AMAZING.

@michaelwilde @mipsytipsy In my IDE, more microscopically: run a local Zipkin, run a test, look at the trace. Mainly when I have a pipeline type setup, with lots going on. Kinda get a broad overview of the action.