Reading

Things I've read or am reading.

Book

Man's Search for Meaning

Viktor Frankl · 1946

Book

Designing Data-Intensive Applications

Martin Kleppmann · 2017

CUDAPARALLEL COMPUTING
Reference

CUDA C++ Programming Guide

NVIDIA · 2024

LEAN FORMALIZATION
Paper

Skia Lean Formalization for Performance

2025 · arXiv:2603.23696

INT ALUFP ALUBRANCHDECODE / DISPATCHROBL1-I$L1-D$RSL2 CACHEMEMORY BUS48 89 E5 48 83 EC 100F 1F 44 00 00 48 8BC3 48 85 C0 74 16 48F3 0F 10 00 0F 2E C1
Reference

Agner Fog's x86 Optimization Manuals

Agner Fog · agner.org

Book

The Algorithm Design Manual

Steven Skiena · 2020

MERAHPXALGORITHMSSedgewick · Wayneredblk
Book

Algorithms (4th ed.)

Sedgewick & Wayne · 2011

OPModRMSIBdisp32REX.WOPModRMVEXOPModRMEVEXOPModRM48 B8 00 00 00 00 00 00 00C5 F8 10 05 00 00 00 0062 F1 7C 48 10 05 00 00Intel® 64 and IA-32Architectures SDM
Reference

Intel® 64 and IA-32 Architectures SDM

Intel · ongoing

DEEP LEARNINGGoodfellow · Bengio · Courville
Book

Deep Learning

Goodfellow, Bengio, Courville · 2016