Forwarded from Linuxgram π§
Coreboot 25.03 Released With Support For 22 More Motherboards - Phoronix
https://www.phoronix.com/news/Coreboot-25.03-Released
https://www.phoronix.com/news/Coreboot-25.03-Released
Phoronix
Coreboot 25.03 Released With Support For 22 More Motherboards
For those looking to replace their proprietary BIOS with the open-source Coreboot on a supported platform or are already doing so, Coreboot 25.03 is out today to provide the newest capabilities for this open-source BIOS/firmware solution.
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
https://people.dm.unipi.it/berardu/Art/1996Nonsensible/non-sensible.pdf
https://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