(φ (μ (λ)))
We have successfully worked our way through Bourbaki's Elements of History of Mathematics, and the new book we'd be starting with is Hermann Weyl's Symmetry. After Poincare, I think I can only think of Weyl as the only mathematician who had a similar universalist…
Discord
Join the The Philosophy Chat Discord Server!
First and largest academic philosophical server for autodidacts, undergraduates, graduates, and professionals. | 32400 members
No-Brainer CPS Conversion (Functional Pearl)
https://www.ccs.neu.edu/home/shivers/papers/nobrainer-cps.pdf
https://www.ccs.neu.edu/home/shivers/papers/nobrainer-cps.pdf
🔥2
Forwarded from A Math Book
The Nature of Computation .pdf
51.7 MB
The Nature of Computation ( Cristopher Moore & Stephan Martens ). Oxford University Press 2011
Getting back to Emacs Reader development after a long hiatus!
PeerTube Stream is at:
https://tv.dyne.org/w/aqbcMQuPaBV8X92EZaxx1d
PeerTube Stream is at:
https://tv.dyne.org/w/aqbcMQuPaBV8X92EZaxx1d
Dyne.org TV
[13] Emacs Reader's Development: Working on unmerged PRs and Catching Up
https://codeberg.org/divyaranjan/emacs-reader/ If you have no idea what I'm doing here, please watch the first introductory stream of the series: https://tv.dyne.org/w/8W8o4fWz94bMYVMUWExkX7 Operat...
🔥3
Forwarded from Programming Deadlock
kinds-are-calling-conventions.pdf
787.5 KB
Kinds Are Calling Conventions
https://simon.peytonjones.org/assets/pdfs/kinds-are-calling-conventions.pdf
https://simon.peytonjones.org/assets/pdfs/kinds-are-calling-conventions.pdf
👍2
Forwarded from Hacker News
asciinema.org
untitled
Recorded by crc
Forwarded from A Math Book
Compiler Design in C.pdf
18.3 MB
Compiler Design in C ( Allen I. Holub ). Prentice Hall 1990
❤1
Forwarded from Programming Deadlock
SSA (Static Single Assignment) Compilers
https://mcyoung.xyz/2025/10/21/ssa-1/
https://mcyoung.xyz/2025/10/21/ssa-1/
mcyoung.xyz
Why SSA? · mcyoung
👍1
