u/__hello__world__

Hello! Keyboard newbie here. I ordered the Q11 Ultra keyboard but the one (anticipated) feature I wanted is missing: The keycaps and switches are *not* low profile. Looking for keycaps is confusing as I don't get what exactly is the criterion to know if they are compatible or not. I like keycaps like the Logitech G915 TKL have (not flat choc but decent minimum height and shaping). Are there options out there or am I stuck with the "THOCK" so many people seem to be after (I respect their likes, it's just not so much pleasant for me)?

Layout is "ANSI US" if that is relevant, thank you.

Hello hardcore MITM fans! I saw this (recent) interview of the show creator and thought to post it here as it gives some insight both to the original and the newer material, enjoy!

Also here is an interview from one of the writers and producers:

https://www.youtube.com/watch?v=Fp9FHcQsY2c

I tried the formal verification courses from Cadence but they barely touch the surface of actual Formal Verification on a project (they focus around their tools and also they are an EDA provider, which is understandable).

I am at a professional grade where switching to a starter grade (e.g. junior Eng.) to learn how projects do Formal Verification is basically career suicide (and makes no sense). Are there projects/tutorials and in general any sources that I can learn "proper" Formal methods?

What's your experience with Formal? The field seems to be still gaining traction but I see so many people still regard it as a side solution and refuse to invest more in it.