Many Factorials in Lambda Calculus (text.marvinborner.de)

Screenshot of text.marvinborner.de: Many Factorials in Lambda Calculus

First screen, captured 1 year ago.

Looks similar

Screenshot of text.marvinborner.de: De Bruijn Numerals

De Bruijn Numerals (text.marvinborner.de)

65 points by marvinborner 11 months ago | 7 comments

Screenshot of hbr.github.io: Programming with Lambda Calculus

Programming with Lambda Calculus (hbr.github.io)

5 points by dargscisyhp 2 years ago | 0 comments

Screenshot of susam.net: Lemma for the Fundamental Theorem of Galois Theory

Lemma for the Fundamental Theorem of Galois Theory (susam.net)

126 points by susam 1 year ago | 33 comments

Screenshot of luschny.de: Fast Factorial Algorithms

Fast Factorial Algorithms (luschny.de)

42 points by nill0 5 months ago | 12 comments

Screenshot of mathjax.org: MathJax: Beautiful and accessible math in all browsers

MathJax: Beautiful and accessible math in all browsers (mathjax.org)

199 points by peter_d_sherman 3 years ago | 74 comments

Screenshot of chiark.greenend.org.uk: XOR

XOR (chiark.greenend.org.uk)

541 points by mariuz 1 year ago | 91 comments

Simon Tatham's long-form essay explaining the XOR operation in boolean logic and on integers, its properties, and applications such as cryptography, graphics, and swaps.

xor bitwise-operations boolean-logic cryptography

Looks similar

De Bruijn Numerals(text.marvinborner.de)

Programming with Lambda Calculus(hbr.github.io)

Lemma for the Fundamental Theorem of Galois Theory(susam.net)

Fast Factorial Algorithms(luschny.de)

MathJax: Beautiful and accessible math in all browsers(mathjax.org)

XOR(chiark.greenend.org.uk)