FPΒ²: Fully in-Place Functional Programming
https://dl.acm.org/doi/pdf/10.1145/3607840
https://dl.acm.org/doi/pdf/10.1145/3607840
Forwarded from A Math Book
Mathematical Masterpieces.pdf
8.1 MB
Mathematical Masterpieces: Further Chronicles by the Explorers ( Arthur Knoebel - Reinhard Laubenbacher - Jerry Lodder - David Pengelley ). Springer 2007
Forwarded from Programming Deadlock
Understanding Machine Learning: From Theory to Algorithms
https://www.cs.huji.ac.il/~shais/UnderstandingMachineLearning/understanding-machine-learning-theory-algorithms.pdf
https://www.cs.huji.ac.il/~shais/UnderstandingMachineLearning/understanding-machine-learning-theory-algorithms.pdf
Forwarded from Programming Deadlock
infinite-lambda-calculus.pdf
342 KB
Infinite Ξ»-calculus and non-sensible models
http://people.dm.unipi.it/berardu/Art/1996Nonsensible/non-sensible.pdf
http://people.dm.unipi.it/berardu/Art/1996Nonsensible/non-sensible.pdf
Forwarded from Programming Deadlock
ML-module-system.pdf
651.9 KB
Mixinβ Up the ML Module System
https://people.mpi-sws.org/~rossberg/papers/Rossberg,%20Dreyer%20-%20Mixin%27%20Up%20the%20ML%20Module%20System.pdf
https://people.mpi-sws.org/~rossberg/papers/Rossberg,%20Dreyer%20-%20Mixin%27%20Up%20the%20ML%20Module%20System.pdf
Forwarded from Linuxgram π§
Learning Linux Kernel Modules Using COM Binary Support | Hackaday
https://hackaday.com/2025/04/13/learning-linux-kernel-modules-using-com-binary-support/
https://hackaday.com/2025/04/13/learning-linux-kernel-modules-using-com-binary-support/
Hackaday
Learning Linux Kernel Modules Using COM Binary Support
Have you ever felt the urge to make your own private binary format for use in Linux? Perhaps you have looked at creating the smallest possible binary when compiling a project, and felt disgusted wiβ¦