▸BOOT / KERNEL HANDOFF
▸SHELL / PROOT UBUNTU AARCH64
▸STREAM / DOCUMENT CHANNEL OPEN
▸MODULES / PROJECT INDEX 09 NODES
▸READY / PAGE INTERFACE
0%
PARTICLES /
> dreamucxe
BACK / HOMEROOT

PROJECT / 03 / README LINKED NODE / LINKLAB STATUS / SHIPPED

linklab

A URL compressor and QR generator that runs entirely on the device. No server and no database — expanding a link back is arithmetic, not a lookup.

  • KOTLIN
  • ANDROID
  • COMPOSE
> DOWNLOAD .APK / v1.0 READ DOCUMENTATION VIEW SOURCE ↗
LINKLAB // COMPRESSOR ACTUAL / UI
CAPTURE / PENDING ENCODE / QR / VERIFY
REMOTE DOCUMENT / README.md

Project documentation

SYNC / FETCHING

The invariant

Compression is stateless and Huffman-derived: there is no table on a server mapping short codes to long ones, because there is no server. The whole correctness claim reduces to one property, and that property is unit-tested rather than asserted.

decode(encode(url)) == url    // verified across the corpus, not spot-checked

QR output

The payload is emitted in alphanumeric mode so it fits the smallest symbol version the standard allows for its length — a denser, faster-scanning code than byte mode would produce for the same link.

KOTLIN
2.0.21
UI
JETPACK COMPOSE / MATERIAL 3
SERVER
NONE
DATABASE
NONE