Post

A while back, someone in the @wasmgroundup.com Discord asked about resources for learning the formal notation used in the WebAssembly spec. One I like is Jeremy Siek's "Crash Course on Notation in Programming Language Theory": siek.blogspot.com/2012/07/cras...

siek.blogspot.comCrash Course on Notation in Programming Language TheoryThis blog post is meant to help my friends get started in reading my other blog posts, that is, this post is a crash course on the notation ...

Patrick Dubroy

@dubroy.com

5 Mar

And @krismicinski.bsky.social's "Natural Deduction for IfArith" lecture is also great: www.youtube.com/watch?v=neCr...

youtube.comL14: Natural Deduction for IfArithYouTube video by Kristopher Micinski

Kristopher Micinski

@krismicinski.bsky.social

7 Mar

thanks Patrick, I also have some recent notes on this: kmicinski.com/cis352-s26/c..., this also links to a playground for natural deduction which I made the other night: kmicinski.com/cis352-s26/p...

kmicinski.comClosure-Creating InterpretersClosure-Creating Interpreters

Patrick Dubroy

@dubroy.com

The playground is awesome! Btw you might want to change the CSS for the shortcuts…it resolving to Fire Code for me, which has ligatures for many of these things, which makes it confusing. Adding `font-variant-ligatures: none` seems to fix it.

7/3/26, 8:28 am0 reposts1 like

Kristopher Micinski

@krismicinski.bsky.social

7 Mar

thanks for the tip, will try it out!