Vlad Korobov

So we made the Monaco editor switch syntax highlighting after a particular keyword (a valid JS string literal). But wait — the syntax is different, yet the colors are the same... We had to change the colors while also maintaining consistency within the theme! How did I do that?

In regular notebooks, you'd pick the language in the UI and that's it. At Antithesis, we thought it would be easy and cool to have other languages live inside JS — all in a single editor.

Antithesis is a nerdy company. Let's take syntax highlighting... There's this crazy thing that only a few customers ever see — the Antithesis notebook. It's a single text file of valid JavaScript with a custom evaluation engine underneath.

Testing distributed systems at scale is hard. 🧬 That is why our High Assurance Lab is collaborating with @AntithesisHQ to simulate complex network conditions, reproduce bugs, and explore multiverse debugging. Developers—push Cardano’s limits with us: cardanofoundation.org/blog/improving…

@glcst 😹

My 6 y.o. kid just asked me to stay in bed with him for a while. His argument: "I'd prefer mommy to do it, because I like her more than you, but because she is pregnant is hard for her, so it's okay if you do it"

liquid glass → solid wax → laughing gas

Talking about creation of full-text search for a static website of Antithesis with 11ty and at the end some thoughts about LLM search. youtube.com/watch?v=JCOF2E…

Andor is great. Such a different type of show.

Here is another #billboard idea. What do you think?

My friend Youhana is speaking at @stripe Sessions on May 6-8 in SF. I #love the little #animation that the designers and engineers created for the conference website:

There’s a little Easter egg in a longer version... a song I wrote, and my friend @colemanb , who is an amazing ML engineer, sang it with his family on Thanksgiving night:

I just realized that, in many companies, humor isn’t always appropriate in public settings. I’m fortunate that, for the past five years at Antithesis, while working on a deep tech product, we were able to have fun – sometimes even publicly. Here is our BugBash2025 closing song:

So proud to have the Antithesis billboard I designed live near Palo Alto along the 101! Let me know if you see it! 😀

I'm learning @sveltejs Can you guess what the code in the picture does? It uses `crossfade` from `svelte/transition` under the hood. Not only does it show and hide elements in a list, but it also transitions elements from one list to another by moving them visually... magic

@HSVSphere @AntithesisHQ Jokes on me. I just feel our speakers are so legendary.

@AntithesisHQ amazing but it's kind of funny how the thumbnail looks like an obituary entry

Bugbash speaker spotlight, part the first: Zac Hatfield-Dodds! Zac is a key contributor to Pytest, Hypothesis, CPython, Numpy, and many other key OSS projects. He's one of the deepest, most interesting thinkers about testing – especially property-based testing – today. He'll be talking about why everything is under-tested – we’re wondering that too! Have you got your ticket? Just a handful left at bugbash.antithesis.com

I like the tradition to update the home page every year 😉

Is Ayahuasca experience close to hallucinating sleep during flu (fever dreams)? What is the difference between?

@Drk8_ @AntithesisHQ @stripe Sorry for my simplistic approach to photo style unification. I should do a better. Any suggestions?

@AntithesisHQ @stripe Are all your speakers dead? What's up with the colors?

BugBash keeps getting better. Ever heard of a little company called @stripe? Well, we're happy to announce our next BugBash featured speaker: Rahul Harpalani, Product Lead at @stripe.