functional-quantum.pdf
188.5 KB
A functional quantum programming language
https://people.cs.nott.ac.uk/psztxa/publ/qml.pdf
https://people.cs.nott.ac.uk/psztxa/publ/qml.pdf
ladder.pdf
390.2 KB
LADDER: Self-Improving LLMs Through Recursive Problem Decomposition
https://arxiv.org/pdf/2503.00735
https://arxiv.org/pdf/2503.00735
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
Principles of Cryptography
https://principlesofcryptography.com/
https://principlesofcryptography.com/
Principles of Cryptography
Principles of Cryptography - Principles of Cryptography
Verba volant, scripta manent. What is Security ? Perfect Secrecy Definition of Cipher Attack Games in Cryptography Distinguishing in a Probabilistic World Distinguishing in a Probabilistic World-Part 2 Distinguishing in a Probabilistic World-Part 3 Distinguishing…
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…
Forwarded from Programming Deadlock
lecture29.pdf
127 KB
Programming Languages and Logics: Linear TypesHigher 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/
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
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/
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
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
Against essential and accidental complexity
https://danluu.com/essential-complexity/
https://danluu.com/essential-complexity/
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.