Matrix: https://matrix.to/#/@julian-1-2-3-4-5:tchncs.de
Mastodon: https://mastodon.world/@Julian_1_2_3_4_5
ssb: @nBtlZZz7NaDmIOcXdNk2D94nyKhQUsl/gm+n4LfEVhE=.ed25519
But it’s definitely possible to ship a virus embedded in a playable mkv file, but something else would have to extract it first, for it to do anything
if you really only played it and it didn’t abuse some zero day in vlc (extremely unlikely), the there’s basically zero chance you could have activated a virus.
It’s technically possible, but windows doesn’t give you as the user tools to do so. If you donÄt want windos to have the ability to do so you could use full system encryption like: https://wiki.archlinux.org/title/Dm-crypt/Encrypting_an_entire_system