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โฆ
Forwarded from Programming Deadlock
An Introduction to Modern CMake
https://cliutils.gitlab.io/modern-cmake/README.html
https://cliutils.gitlab.io/modern-cmake/README.html
Forwarded from Programming Deadlock
Hacktical C
: A practical hacker's guide to the C programming languagehttps://github.com/codr7/hacktical-c
GitHub
GitHub - codr7/hacktical-c: A practical hacker's guide to the C programming language.
A practical hacker's guide to the C programming language. - codr7/hacktical-c
Do you want me to do articles about something from the world of GNU/linux, BSD, or whatever?
This is the post of the junior admin
๐ฅ7