Tag
A technical guide for fixing UTF-8 email encoding issues from cron on OpenBSD by creating a sendmail wrapper that encodes non-ASCII headers and adds Content-Type declarations before handing messages to dma.
This paper investigates how to encode factored planning tasks (FTS) into SAT, proposing multiple encoding strategies and analyzing the impact of task transformations on SAT-based planning performance. It aims to extend SAT solving to more compact planning representations beyond heuristic search.
bijou64 is a new variable-length integer encoding that ensures canonical representation, solving signature-verification bugs, and also runs several times faster than the common LEB128 encoding.
Explains that when using Unicode escape sequences (like \x2019) in Windows resource strings, you must prefix the string with L to make it a wide-character string; otherwise the escape is misinterpreted as an 8-bit sequence.