Typed Lisp, A Primer
https://alhassy.com/TypedLisp.html
https://alhassy.com/TypedLisp.html
Alhassy
Typed Lisp, A Primer
Parsing Protobuf at 2+GB/s: How I Learned To Love Tail Calls in Chttps://blog.reverberate.org/2021/04/21/musttail-efficient-interpreters.html
blog.reverberate.org
Parsing Protobuf at 2+GB/s: How I Learned To Love Tail Calls in C
Parsing, performance, and low-level programming.
The Software Foundations Series: a broad introduction to the mathematical underpinnings of reliable softwarehttps://softwarefoundations.cis.upenn.edu/
Stupid Smart Pointers in C
http://blog.kevinalbs.com/stupid_smart_pointers
http://blog.kevinalbs.com/stupid_smart_pointers
Kevinalbs
Stupid Smart Pointers in C
Speeding up C++ code with template lambdas
https://lemire.me/blog/2025/03/15/speeding-up-c-code-with-template-lambdas/
https://lemire.me/blog/2025/03/15/speeding-up-c-code-with-template-lambdas/
parallel-implementation.pdf
371.5 KB
A Parallel Implementation for Optimal Lambda-Calculus Reduction
https://dl.acm.org/doi/pdf/10.1145/351268.351270
https://dl.acm.org/doi/pdf/10.1145/351268.351270
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