Bit Twiddling Hacks
https://graphics.stanford.edu/~seander/bithacks.html
https://graphics.stanford.edu/~seander/bithacks.html
🗿6
smallest-grammar-problem.pdf
547.6 KB
The Smallest Grammar Problem
https://web.cs.ucla.edu/~sahai/work/web/2005%20Publications/TransOnInfoTheory2005.pdf
https://web.cs.ucla.edu/~sahai/work/web/2005%20Publications/TransOnInfoTheory2005.pdf
👍3
Parse, don't validate through the years with C++
https://derekrodriguez.dev/parse-dont-validate-through-the-years-with-c-/
https://derekrodriguez.dev/parse-dont-validate-through-the-years-with-c-/
derekrodriguez.dev
Parse, don't validate through the years with C++ | derekrodriguez.dev
Alexis King’s Parse, don’t validate had a huge impact on how I write code, particularly my stance toward Python type annotations in production. However, as someone who has written practically zero Haskell, the idea didn’t click for me until I started seeing…
👍4🦄1
2112.10328v1 (2).pdf
579.1 KB
Deriving Semantics-Aware Fuzzers from Web API Schemas
https://arxiv.org/abs/2112.10328
https://arxiv.org/abs/2112.10328
💯3
optimizing_cpp.pdf
1.8 MB
Optimizing software in C++: An optimization guide for Windows, Linux, and Mac platforms👍9🗿1
Virtual Memory: A Deep Dive into Page Tables, TLBs, and Linux Internalshttps://blog.codingconfessions.com/p/virtual-memory
Codingconfessions
Virtual Memory: A Deep Dive into Page Tables, TLBs, and Linux Internals
From page faults to NUMA topology: how the Linux kernel manages memory, and what that means for the performance of data-intensive systems.
🔥10😍2
A Deep dive into (implicit) Thread Local Storage
https://chao-tic.github.io/blog/2018/12/25/tls
https://chao-tic.github.io/blog/2018/12/25/tls
🗿9
Thread-Local Storage Access Models
https://docs.oracle.com/cd/E23824_01/html/819-0690/chapter8-20.html
https://docs.oracle.com/cd/E23824_01/html/819-0690/chapter8-20.html
Oracle
Thread-Local Storage Access Models - Linker and Libraries Guide
This book describes the operations of the Solaris Operating System (Solaris OS) link-editor and runtime linker, and the objects on which these link-editors operate. The book covers the Link-Editor: ld(1), the Runtime Linker: ld.so.1(1), Shared Objects (sometimes…
🗿7❤2
information-theory.pdf
2.4 MB
A visual introduction to information theory
https://arxiv.org/pdf/2206.07867
https://arxiv.org/pdf/2206.07867
🔥6🦄4
optimizing_assembly.pdf
1 MB
Optimizing subroutines in assembly language: An optimization guide for x86 platformshttps://www.agner.org/optimize/optimizing_assembly.pdf
🗿7🔥2
coinductive-universes.pdf
212.5 KB
Coinductive Universes and Higher Observational Type Theory
https://home.sandiego.edu/~shulman/papers/chapman-spring2026.pdf
https://home.sandiego.edu/~shulman/papers/chapman-spring2026.pdf
❤2
Evaluation of Compiler-Induced Vulnerabilities
https://arc.aiaa.org/doi/10.2514/1.I010699
https://arc.aiaa.org/doi/10.2514/1.I010699
Journal of Aerospace Information Systems
Evaluation of Compiler-Induced Vulnerabilities | Journal of Aerospace Information Systems
This paper explores computer security vulnerabilities that are generated inadvertently by a compiler. By using a novel approach of examining the assembly language and other intermediate files generated by the compilation process, it has been successfully…
🤯3🔥1🗿1
using-bisimulation.pdf
330.3 KB
Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation
https://link.springer.com/chapter/10.1007/978-3-642-29709-0_15
https://link.springer.com/chapter/10.1007/978-3-642-29709-0_15
🔥1🤯1
strong-call-by-need.pdf
544.5 KB
Foundations of Strong Call by Need
https://www.irif.fr/~kesner/papers/strong-call-by-need.pdf
https://www.irif.fr/~kesner/papers/strong-call-by-need.pdf
👍1🔥1
Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications
https://leetarxiv.substack.com/p/why-compilers-rarely-use-strassens-algorithm
https://leetarxiv.substack.com/p/why-compilers-rarely-use-strassens-algorithm
Substack
Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications
Coding the 1969 Paper 'Gaussian Elimination is not Optimal' to Capture Strassen's Original Insight
🗿6🦄1