Directed Virtual Reductions
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=698e7bbf356a4cf3c5122ddd2274483f99782f67
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=698e7bbf356a4cf3c5122ddd2274483f99782f67
Computed goto for efficient dispatch tables
https://eli.thegreenplace.net/2012/07/12/computed-goto-for-efficient-dispatch-tables
https://eli.thegreenplace.net/2012/07/12/computed-goto-for-efficient-dispatch-tables
This equation will change how you see the world (the logistic map)
https://youtu.be/ovJcsL7vyrk?si=Y1B7PTfsH7kfDASh
https://youtu.be/ovJcsL7vyrk?si=Y1B7PTfsH7kfDASh
YouTube
This equation will change how you see the world (the logistic map)
The logistic map connects fluid convection, neuron firing, the Mandelbrot set and so much more. Fasthosts Techie Test competition is now closed! Learn more about Fasthosts here: https://www.fasthosts.co.uk/veritasium Code for interactives is available below...…
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