POSIX is dynamically typed

Quiz! 😮

What's the difference between this:

$ foo < content.txt

and this:

$ cat content.txt | foo

Can you lseek on stdin in POSIX?

• If it's a normal file redirected with <: ✅
• If it's a pipe: ❌

WebAssembly has a static typesystem. Let's use it!

Virtualization 🤯