Easton Man's Channel
11:37 · Jun 1, 2025 · Sun
Daniel Lemire's blog
Fast character classification with z3
Telegraph
|
source
Telegraph
Fast character classification with z3
We often need to quickly classify characters. For example, consider how the binary data that you send by email is converted to an ASCII string made of 64 distinct characters (A-Z, a-z, 0-9, +, /). ASCII characters are stored as 7-bit integer values (from…
Home
Powered by
BroadcastChannel
&
Sepia