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.
💊1
The Software Foundations Series: a broad introduction to the mathematical underpinnings of reliable softwarehttps://softwarefoundations.cis.upenn.edu/
🔥4👍2💊2
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/
👍2
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
👍3
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
👍2
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
🔥4🙏2❤1💊1
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...…
❤1👍1🔥1👾1
Neurosymbolic Programming with Scallop
https://www.scallop-lang.org/
https://www.scallop-lang.org/
🔥2🤔1
👍1💯1
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
🗿3❤1🥴1
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
❤2🤯1
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