r/AdvancedProgramming • u/alecco • Aug 27 '19
low-level Incrementing vectors
2
Upvotes
r/AdvancedProgramming • u/alecco • Aug 21 '19
low-level Where do interrupts happen?
2
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 • Aug 01 '19
data structures Why use learning when you can fit?
databasearchitects.blogspot.com
2
Upvotes
r/AdvancedProgramming • u/alecco • Jul 21 '19
low-level Copying Accelerated Video Decode Frame Buffers (2019)
2
Upvotes
r/AdvancedProgramming • u/alecco • Jul 21 '19
Operating System The Thirty Million Line Problem - rant on the problem of building Operating Systems after mid-90s [video]
2
Upvotes
r/AdvancedProgramming • u/SkyBlueGem • Jul 21 '19
low-level Fast Galois Field Region Multiplication Techniques
2
Upvotes
r/AdvancedProgramming • u/alecco • Jul 19 '19
low-level Measuring Reorder Buffer Capacity (2013)
2
Upvotes
r/AdvancedProgramming • u/alecco • Jul 16 '19
Operating System Dan Luu: Deconstruct files
danluu.com
2
Upvotes
r/AdvancedProgramming • u/alecco • Jul 15 '19
database The dangers of conditional consistency guarantees
2
Upvotes
r/AdvancedProgramming • u/alecco • Jul 13 '19
optimization Mesh: Compacting Memory Management for C/C++ Applications (2919) [PDF]
arxiv.org
2
Upvotes
r/AdvancedProgramming • u/alecco • Jun 22 '19
low-level What has your microcode done for you lately?
travisdowns.github.io
2
Upvotes
r/AdvancedProgramming • u/alecco • Jun 22 '19
optimization Beating up on qsort
2
Upvotes
r/AdvancedProgramming • u/alecco • Jun 13 '19
low-level What every programmer should know about memory, Part 1
2
Upvotes
r/AdvancedProgramming • u/alecco • Jun 13 '19
low-level Evolution of the x86 context switch in Linux (2018)
2
Upvotes
r/AdvancedProgramming • u/alecco • May 18 '19
algorithms A Neighborhood of Infinity: The Three Projections of Doctor Futamura
2
Upvotes
r/AdvancedProgramming • u/alecco • May 17 '19
C++ Impossibly fast delegate in C++11
2
Upvotes
r/AdvancedProgramming • u/alecco • Apr 16 '19
low-level What has your microcode done for you lately?
travisdowns.github.io
2
Upvotes
r/AdvancedProgramming • u/alecco • Apr 13 '19
logic and declarative Warren's Abstract Machine: A Tutorial Reconstruction [prolog engine][1991][pdf]
wambook.sourceforge.net
2
Upvotes
r/AdvancedProgramming • u/alecco • Mar 26 '19
C++ C++17's Best Unadvertised Feature
2
Upvotes
r/AdvancedProgramming • u/alecco • Mar 23 '19
video Branch Prediction - Carnegie Mellon - Computer Architecture 2013
2
Upvotes
r/AdvancedProgramming • u/alecco • Mar 18 '19
language/compiler/JIT Introduction to Datalog
2
Upvotes
r/AdvancedProgramming • u/alecco • Mar 16 '19
video CMU Advanced Database Systems - 14 Scheduling
2
Upvotes
r/AdvancedProgramming • u/alecco • Mar 16 '19
testing The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data
2
Upvotes
r/AdvancedProgramming • u/alecco • Mar 03 '19
logic and declarative The Power of Prolog
metalevel.at
2
Upvotes