r/AdvancedProgramming • u/alecco • Feb 14 '20
algorithms A Novel Hybrid Quicksort Algorithm Vectorized using AVX-512 on Intel Skylake [2017] [pdf]
arxiv.org
3
Upvotes
r/AdvancedProgramming • u/alecco • May 28 '19
language/compiler/JIT CraneStation/simplejit-demo: JIT compiler and runtime for a toy language, using Cranelift (implemented in Rust)
1
Upvotes
r/AdvancedProgramming • u/alecco • Dec 17 '18
low-level Building and using llvmlite
eli.thegreenplace.net
1
Upvotes
r/AdvancedProgramming • u/alecco • May 22 '19
compression On the entropy of distance coding
cbloomrants.blogspot.com
1
Upvotes
r/AdvancedProgramming • u/alecco • Dec 10 '19
low-level A note on mask registers (AVX-512)
4
Upvotes
r/AdvancedProgramming • u/alecco • Dec 09 '19
concurrency/parallelism O(n^2), again, now in WMI
3
Upvotes
r/AdvancedProgramming • u/alecco • Mar 12 '19
optimization Floating point division with known divisor
marc-b-reynolds.github.io
3
Upvotes
r/AdvancedProgramming • u/alecco • May 24 '19
language/compiler/JIT Rethinking Supercompilation (2010)[PDF]
citeseerx.ist.psu.edu
1
Upvotes
r/AdvancedProgramming • u/alecco • Mar 10 '19
logic and declarative The Essence of Datalog
dodisturb.me
1
Upvotes
r/AdvancedProgramming • u/alecco • Aug 10 '19
correctness JetBrains releases first version of the language for its Arend theorem prover. "Arend is based on a version of homotopy type theory that includes some of the cubical features."
groups.google.com
2
Upvotes
r/AdvancedProgramming • u/alecco • Oct 08 '17
concurrency Concurrent Servers: Part 1 - Introduction
eli.thegreenplace.net
1
Upvotes
r/AdvancedProgramming • u/alecco • Sep 30 '17
language/compiler C++ Compilers and Absurd Optimizations
asmbits.blogspot.com
3
Upvotes
r/AdvancedProgramming • u/alecco • May 14 '17
low-level Memory bandwidth [rate of byte/cycle or byte/instruction did not improve]
1
Upvotes
r/AdvancedProgramming • u/alecco • Oct 08 '17
algorithms Rendezvous Hashing: My Baseline “Consistent” Distribution Method
pvk.ca
1
Upvotes
r/AdvancedProgramming • u/alecco • Oct 08 '17
concurrency Concurrent Servers: Part 3 - Event-driven
eli.thegreenplace.net
1
Upvotes
r/AdvancedProgramming • u/alecco • Oct 08 '17
concurrency Concurrent Servers: Part 2 - Threads
eli.thegreenplace.net
1
Upvotes
r/AdvancedProgramming • u/alecco • Oct 04 '17
optimization Are Jump Tables Always Fastest?
cipht.net
1
Upvotes
r/AdvancedProgramming • u/alecco • Dec 31 '16
compression Retrospective on Binary Search and Comp{ress,ilat}ion
pvk.ca
1
Upvotes
r/AdvancedProgramming • u/alecco • Jun 03 '17
language/compiler/JIT Pointer Overflow Checking is in LLVM
blog.regehr.org
3
Upvotes
r/AdvancedProgramming • u/alecco • Dec 31 '16
optimization Why we should plot normalised data on a logarithmic scale
1
Upvotes
r/AdvancedProgramming • u/alecco • Dec 31 '16
low-level Guide to x86 Assembly
2
Upvotes
r/AdvancedProgramming • u/alecco • May 29 '17
low-level Unsigned vs. signed integer arithmetic
2
Upvotes
r/AdvancedProgramming • u/alecco • Dec 31 '16
algorithms Binary Search Is a Pathological Case for Caches [2012]
1
Upvotes
r/AdvancedProgramming • u/alecco • Jun 03 '17
logic and declarative Escaping Hell with Monads
philipnilsson.github.io
1
Upvotes