Plan B for UUIDs: double AES-128

Comments | Continue reading


@pvk.ca | 1 year ago

Flatter wait-free hazard pointers

Continue reading


@pvk.ca | 1 year ago

Plan B for UUIDs: double AES-128

Continue reading


@pvk.ca | 1 year ago

Hacking tips for Linux perf porcelain

Continue reading


@pvk.ca | 1 year ago

How to Define New Intrinsics in SBCL (2014)

Continue reading


@pvk.ca | 2 years ago

Bounded dynamicism with cross-modifying code

Continue reading


@pvk.ca | 2 years ago

Slitter: A slab allocator that trusts, but verifies

Continue reading


@pvk.ca | 2 years ago

Reference books I'm bringing across the border (2014)

Continue reading


@pvk.ca | 2 years ago

All you need is call/cc (2013)

Continue reading


@pvk.ca | 2 years ago

0x7FDE623822FC16E6: A magic constant for double float reciprocal

Continue reading


@pvk.ca | 2 years ago

Baseline implementations should be predictable

Continue reading


@pvk.ca | 3 years ago

Stuff Your Logs

Continue reading


@pvk.ca | 3 years ago

SBCL: The Assembly Code Breadboard (2014)

Continue reading


@pvk.ca | 3 years ago

Check for Borrows in Bitwise Operations

Continue reading


@pvk.ca | 4 years ago

How hard is it to guide test case generators with branch coverage feedback?

Continue reading


@pvk.ca | 4 years ago

Check for Borrows in Bitwise Operations

Continue reading


@pvk.ca | 4 years ago

Too much locality for stores to forward

Continue reading


@pvk.ca | 4 years ago

Too much locality for stores to forward

Continue reading


@pvk.ca | 4 years ago

SBCL: The Assembly Code Breadboard (2014)

Continue reading


@pvk.ca | 4 years ago

A Couple of (Probabilistic) Worst-Case Bounds for Robin Hood Linear Probing

Continue reading


@pvk.ca | 4 years ago

A Couple of (Probabilistic) Worst-Case Bounds for Robin Hood Linear Probing

Continue reading


@pvk.ca | 4 years ago

So You Want to Write an Linear Programming Solver

Continue reading


@pvk.ca | 5 years ago

Fractional Set Covering with Experts

Continue reading


@pvk.ca | 5 years ago

Preemption Is GC for Memory Reordering

Continue reading


@pvk.ca | 5 years ago

Restartable Sequences with the Polysemic Null Segment Selector

Continue reading


@pvk.ca | 5 years ago

Binary Search Is a Pathological Case for Caches

Continue reading


@pvk.ca | 5 years ago

An Old Conjecture on Stream Transducers

Continue reading


@pvk.ca | 5 years ago

Testing SLO-Type Properties with the Confidence Sequence Method

Continue reading


@pvk.ca | 5 years ago