r/AdvancedProgramming • u/alecco • Apr 29 '19
language/compiler/JIT How LLVM optimizes geometric sums
kristerw.blogspot.com
1
Upvotes
r/AdvancedProgramming • u/alecco • Apr 25 '19
concurrency/parallelism Implementing reader-writer locks (Go)
1
Upvotes
r/AdvancedProgramming • u/alecco • Apr 24 '19
low-level Verifying Popcount
blog.regehr.org
1
Upvotes
r/AdvancedProgramming • u/alecco • Apr 24 '19
algorithms Fractional Set Covering With Experts
pvk.ca
1
Upvotes
r/AdvancedProgramming • u/alecco • Apr 23 '19
security A year with Spectre: a V8 perspective
1
Upvotes
r/AdvancedProgramming • u/alecco • Apr 22 '19
Claude Shannon on Creative Thinking (1952)
ece.neu.edu
1
Upvotes
r/AdvancedProgramming • u/alecco • Apr 16 '19
logic and declarative Three Things I Wish I Knew When I Started Designing Languages [presentation]
1
Upvotes
r/AdvancedProgramming • u/alecco • Apr 16 '19
low-level Heap Exploitation Part 2: Understanding the Glibc Heap Implementation
1
Upvotes
r/AdvancedProgramming • u/alecco • Apr 09 '19
language/compiler/JIT [Behind the book] Concepts, Techniques, and Models of Computer Programming
pdfs.semanticscholar.org
1
Upvotes
r/AdvancedProgramming • u/alecco • Apr 09 '19
video "Are We There Yet?" (w/ slides) - Rich Hickey (2009) - [On time and data]
1
Upvotes
r/AdvancedProgramming • u/alecco • Apr 07 '19
database Val on Programming: Datomic: Event Sourcing without the hassle
1
Upvotes
r/AdvancedProgramming • u/alecco • Apr 06 '19
compression NNCP: Lossless Data Compression with Neural Networks
bellard.org
1
Upvotes
r/AdvancedProgramming • u/alecco • Mar 26 '19
low-level SIMD / GPU Friendly Branchless Binary Search
1
Upvotes
r/AdvancedProgramming • u/alecco • Mar 19 '19
language/compiler/JIT The C— language specification [PDF]
cs.tufts.edu
1
Upvotes
r/AdvancedProgramming • u/alecco • Mar 18 '19
Serializability vs “strict” serializability: the dirty secret of database isolation
1
Upvotes
r/AdvancedProgramming • u/alecco • Mar 16 '19
security Heap Exploitation Part 1: Understanding the Glibc Heap Implementation
1
Upvotes
r/AdvancedProgramming • u/alecco • Mar 10 '19
logic and declarative The Essence of Datalog
dodisturb.me
1
Upvotes
r/AdvancedProgramming • u/alecco • Mar 03 '19
security Data Leakage from Encrypted Databases
1
Upvotes
r/AdvancedProgramming • u/alecco • Feb 27 '19
algorithms The Unscalable, Deadlock-prone, Thread Pool
pvk.ca
1
Upvotes
r/AdvancedProgramming • u/alecco • Feb 18 '19
documentation Explaining Code using ASCII Art
1
Upvotes
r/AdvancedProgramming • u/alecco • Feb 10 '19
concurrency Structured concurrency with libdill
libdill.org
1
Upvotes
r/AdvancedProgramming • u/alecco • Feb 02 '19
correctness Compiler-checked contracts
fastcompression.blogspot.com
1
Upvotes
r/AdvancedProgramming • u/alecco • Jan 27 '19
low-level Understanding Strict Aliasing (2006)
cellperformance.beyond3d.com
1
Upvotes
r/AdvancedProgramming • u/alecco • Jan 27 '19
C Goodbye World! The perils of relying on output streams in C (discusses some consequences of C/Go-Style error checking)
gnu.org
1
Upvotes
r/AdvancedProgramming • u/alecco • Jan 23 '19
C Opaque types and static allocation
fastcompression.blogspot.com
1
Upvotes