in-place-fp.pdf
433.1 KB
FPΒ²: Fully in-Place Functional Programming
https://dl.acm.org/doi/pdf/10.1145/3607840
https://dl.acm.org/doi/pdf/10.1145/3607840
π4π₯1
Principles of Cryptography
https://principlesofcryptography.com/
https://principlesofcryptography.com/
Principles of Cryptography
Principles of Cryptography - Principles of Cryptography
Verba volant, scripta manent. I. Core Principles of Cryptography This section focuses on the central ideas, definitions, and proof techniques that constitute the study of cryptography. A. Foundational Concepts An introduction to the core ideas and goals ofβ¦
π¦5
Java is better than Rust
https://youtu.be/JeoYA7wABAA?si=PQhdR7y0xQ4mOzbG
https://youtu.be/JeoYA7wABAA?si=PQhdR7y0xQ4mOzbG
YouTube
Java Is Better Than Rust
Recorded live on twitch, GET IN
### Article
https://rohan.ga/blog/java/
By: Rohan Ganapavarapu
### My Stream
https://twitch.tv/ThePrimeagen
### Best Way To Support Me
Become a backend engineer. Its my favorite site
https://boot.dev/?promo=PRIMEYT
Thisβ¦
### Article
https://rohan.ga/blog/java/
By: Rohan Ganapavarapu
### My Stream
https://twitch.tv/ThePrimeagen
### Best Way To Support Me
Become a backend engineer. Its my favorite site
https://boot.dev/?promo=PRIMEYT
Thisβ¦
π6π5β€1π₯1π±1π’1π¦1
Forwarded from Programming Deadlock
π5
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...