| | Seemingly Impossible Turing Machines (playingwithpointers.com) |
|
2 points by sanjoy_das on July 14, 2019 | past | 1 comment
|
|
| | Control Flow in TensorFlow and XLA's Auto-Clustering (playingwithpointers.com) |
|
5 points by sanjoy_das on Nov 11, 2018 | past
|
|
| | Integer overflow in LLVM's ScalarEvolution (playingwithpointers.com) |
|
3 points by mattiemass on Sept 22, 2016 | past
|
|
| | Reference Counting: Harder Than It Sounds (playingwithpointers.com) |
|
53 points by sanjoy_das on July 24, 2016 | past | 24 comments
|
|
| | Inter-Procedural Optimization and Derefinement (playingwithpointers.com) |
|
45 points by adamnemecek on July 17, 2016 | past | 11 comments
|
|
| | Inter-Procedural Optimization and Derefinement (playingwithpointers.com) |
|
2 points by cokernel_hacker on July 17, 2016 | past
|
|
| | Check Widening in LLVM (playingwithpointers.com) |
|
57 points by sanjoy_das on July 17, 2016 | past | 10 comments
|
|
| | Compiling the lambda calculus (2013) (playingwithpointers.com) |
|
38 points by mr_golyadkin on Jan 1, 2016 | past | 2 comments
|
|
| | A problem with LLVM's undef (playingwithpointers.com) |
|
30 points by ingve on Dec 29, 2015 | past | 4 comments
|
|
| | Solving Linear Range Checks (playingwithpointers.com) |
|
12 points by jasonmp85 on June 1, 2015 | past | 14 comments
|
|
| | Java Optimizations and the JMM (playingwithpointers.com) |
|
69 points by thedigitalengel on Sept 8, 2014 | past | 5 comments
|
|
| | A Lattice for Speculative Data Flow Analysis (playingwithpointers.com) |
|
24 points by thedigitalengel on May 26, 2014 | past | 3 comments
|
|
| | Cantor's diagonal argument in Agda (playingwithpointers.com) |
|
1 point by thedigitalengel on March 23, 2014 | past
|
|
| | Peeking into the Java Memory Model (playingwithpointers.com) |
|
18 points by prajjwal on March 6, 2014 | past | 1 comment
|
|
| | Compiling λ (playingwithpointers.com) |
|
18 points by thedigitalengel on July 16, 2013 | past | 1 comment
|
|
| | Biased Locking and Pthreads (playingwithpointers.com) |
|
9 points by thedigitalengel on June 17, 2013 | past
|
|
| | The Variable-precision SWAR Algorithm (playingwithpointers.com) |
|
1 point by julian37 on May 20, 2013 | past
|
|
| | Certified compilation in Agda (playingwithpointers.com) |
|
1 point by thedigitalengel on April 29, 2013 | past
|
|
| | The Variable-precision SWAR Algorithm (playingwithpointers.com) |
|
6 points by thedigitalengel on March 2, 2013 | past | 1 comment
|
|
| | A JIT Compiler for Brainf*ck (playingwithpointers.com) |
|
3 points by thedigitalengel on Jan 20, 2013 | past
|
|
| | Lambda Calculus for the Imperative Programmer, Part I (playingwithpointers.com) |
|
1 point by jrheard on Jan 15, 2013 | past
|
|
| | Lock-free programming, first steps: mostly lock-free fixed-size vector (playingwithpointers.com) |
|
1 point by thedigitalengel on Dec 9, 2012 | past
|
|
| | Peeking inside LuaJIT - Playing With Pointers (playingwithpointers.com) |
|
21 points by daurnimator on Nov 13, 2012 | past | 1 comment
|
|
| | Peeking inside LuaJIT (playingwithpointers.com) |
|
5 points by thedigitalengel on Oct 16, 2012 | past
|
|
| | [Haskell] Initial Algebras: Part I (F-Algebras) (playingwithpointers.com) |
|
1 point by thedigitalengel on Sept 12, 2012 | past
|
|
| | First steps with Agda: provable factoring (playingwithpointers.com) |
|
1 point by thedigitalengel on Aug 19, 2012 | past
|
|
| | First steps with Agda: well founded recursion (playingwithpointers.com) |
|
1 point by thedigitalengel on Aug 19, 2012 | past
|
|
| | Faking Dependent Types in C++ (playingwithpointers.com) |
|
4 points by CountHackulus on March 29, 2012 | past
|
|
| | Type-safe Tic-tac-toe (playingwithpointers.com) |
|
4 points by thedigitalengel on March 10, 2012 | past
|
|
| | λ→ is normalizing (playingwithpointers.com) |
|
2 points by thedigitalengel on Feb 29, 2012 | past
|
|
|
|
More |
