PinnedJohannes Bader·Jan 8, 2025A visual introduction to tree calculusWhy is it useful? How does it work?
PinnedInCloudBoostbyJohannes Bader·Nov 22, 2017How to run Node.js (apps) in the browser?Bootstrapping Node.js in the browser — no browserify requiredA response icon7A response icon7
PinnedJohannes Bader·Oct 12, 2017How to browserize RollerCoaster Tycoon?Porting OpenRCT2 to the Browser using EmscriptenA response icon3A response icon3
Johannes Bader·Nov 6, 2025Tree calculus can define Church’s δ… whereas λ-calculus cannot. A quick demonstration.
Johannes Bader·Aug 28, 2025A fresh look at “first-class functions”If functions are genuinely first-class citizens, we can have nice things
Johannes Bader·Jul 17, 2025Tree calculus demo: fusion analysisIllustrating the reflective powers and modularity of tree calculus
Johannes Bader·Dec 26, 2020Arbitrary ParenthesizationUsing only the B combinatorA response icon1A response icon1
Johannes Bader·Dec 21, 2020One-point bases for λ-calculusThe Iota combinator and some alternativesA response icon2A response icon2
InJavaScript in Plain EnglishbyJohannes Bader·Dec 19, 2019Lazy evaluation in a strict languageProducing weak head normal forms using lambdasA response icon1A response icon1
Johannes Bader·Aug 31, 2018Interactive Fractional Derivative PlaygroundReal-time visuals for everyone
