Table of contents

Code Generation and Instruction Sets

• Synthesizing optimal 8051 code
  • Article: Synthesizing optimal 8051 code — whitequark's lab notebook [published 2020-04-06; visited 2023-02-23T11:02:35Z]
  • Hacker News discussion: Synthesizing optimal 8051 code with an SMT solver (2020) | Hacker News [visited 2025-07-05T13:39:14Z]
• SIMD
  • The messy reality of SIMD (vector) functions
    • Article: The messy reality of SIMD (vector) functions - Johnny's Software Lab [published 2025-07-04; visited 2025-07-05T13:40:36Z]
    • Hacker News discussion: The messy reality of SIMD (vector) functions | Hacker News [visited 2025-07-05T13:47:31Z]