Higher RAII, and the Seven Arcane Uses of Linear Types
https://verdagon.dev/blog/higher-raii-uses-linear-types
https://verdagon.dev/blog/higher-raii-uses-linear-types
ATS Programming Language: Unleashing the Potentials of Types and Templateshttps://ats-lang.sourceforge.net/
β€3π1π₯΄1
Abelian sandpile model (ASM): Encoding turing completeness on a sand castelhttps://en.m.wikipedia.org/wiki/Abelian_sandpile_model
Wikipedia
Abelian sandpile model
cellular automaton
Sell yourself, Sell Your Work
https://www.solipsys.co.uk/new/SellYourselfSellYourWork.html
https://www.solipsys.co.uk/new/SellYourselfSellYourWork.html
π₯1
Denotational design with type class morphisms (extended version)
http://conal.net/papers/type-class-morphisms/type-class-morphisms-long.pdf
http://conal.net/papers/type-class-morphisms/type-class-morphisms-long.pdf
Follow the Denotation
https://reasonablypolymorphic.com/blog/follow-the-denotation/
https://reasonablypolymorphic.com/blog/follow-the-denotation/
β€2
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
β€6
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
π3β€1π₯1
Against essential and accidental complexity
https://danluu.com/essential-complexity/
https://danluu.com/essential-complexity/
π2
How OCaml type checker works -- or what polymorphism and garbage collection have in common
https://okmij.org/ftp/ML/generalization.html
https://okmij.org/ftp/ML/generalization.html
okmij.org
Efficient and Insightful Generalization
A short guide on OCaml type checker, describing the surprisingly elegant algorithm for generalization, which generalizes to first-class polymorphism, MLF and local types. Polymorphism and regions have much in common.
π3π₯1
My Own Private Binary: An Idiosyncratic Introduction to Linux Kernel Modules
https://www.muppetlabs.com/~breadbox/txt/mopb.html
https://www.muppetlabs.com/~breadbox/txt/mopb.html
π₯2β€1π1
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
π₯2
Donβt use a coverage-guided fuzzer on an uninstrumented binary
https://alexdowad.github.io/dont-fuzz-uninstrumented-binary/
https://alexdowad.github.io/dont-fuzz-uninstrumented-binary/
alexdowad.github.io
Stuff I Have Learned: Donβt use a coverage-guided fuzzer on an uninstrumented binary | Alex Dowad Computes
(Subtitle: Unless You Really Have To) Coverage-guided fuzzing tools, such as LLVMβs libFuzzer, run a target program on many random inputs, record the path of...
An Introduction to Modern CMake
https://cliutils.gitlab.io/modern-cmake/README.html
https://cliutils.gitlab.io/modern-cmake/README.html
π¦4π±2β€1π1
Learning Assembly for Fun, Performance and Profit
https://thechipletter.substack.com/p/learning-assembly-for-fun-and-profit
https://thechipletter.substack.com/p/learning-assembly-for-fun-and-profit
Substack
Learning Assembly for Fun, Performance and Profit
Why take an interest in assembly language and which to learn?
β€1
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
π¦5β€4
analysis-interpolants.pdf
2.2 MB
Program Analysis with Interpolants
https://www.georg.weissenbacher.science/papers/dissertation.pdf
https://www.georg.weissenbacher.science/papers/dissertation.pdf
π₯1