HomeArchiveBlog


Original contents are licensed under CC BY-NC 4.0. All rights reserved © 2026 Kai.
Archives
Collections of my past writings and projects.
  • archive-cover
    Allo: An Accelerator Design Language and Compiler
    The documentation of the forked version of Allo, including user/developer guides
    Sat May 09 2026
    Sat May 09 2026
    7 posts
    • 01Allo: An Accelerator Design Language and Compiler
      Mon May 25 2026
    • 02Allo Frontend Syntax
      Mon May 25 2026
    • 03Allo Scheduling
      Mon May 25 2026
    • 04Allo Typing Rules
      Mon May 25 2026
    • 05Allo Simulation
      Mon May 25 2026
    • 06Allo Compiler Infrastructure
      Mon May 25 2026
    • 07Roadmap and TODOs
      Sat May 09 2026
  • archive-cover
    FPGA HLS / Versal ACAP
    An archive of posts related to FPGA High-Level Synthesis and Xilinx Versal ACAP.
    Sun Nov 16 2025
    Fri Dec 19 2025
    10 posts
    • 01FPGA HLS: Scheduling Algorithms
      Tue Apr 28 2026
    • 02FPGA HLS: Pipelining
      Tue Apr 28 2026
    • 03FPGA HLS: An Introduction to Vitis HLS Pragmas
      Tue Apr 28 2026
    • 04Advanced FPGA HLS: Non-linear Programming
      Tue Apr 28 2026
    • 05Advanced FPGA HLS: Memory Access and Dataflow Optimization
      Tue Apr 28 2026
    • 06Advanced FPGA HLS: Polyhedral Compiling
      Tue Apr 28 2026
    • 07Quick Start: Using v++ from the Command Line
      Tue Apr 28 2026
    • 08Creating a Base Platform in Vivado for Versal Devices
      Tue Apr 28 2026
    • 09Embedded Linux Boot Process
      Tue Apr 28 2026
    • 10Xilinx Versal Architecture Reference
      Tue Apr 28 2026
  • archive-cover
    Compilers
    An archive of posts related to compilers, such as LLVM, MLIR.
    Wed Oct 15 2025
    Fri Nov 28 2025
    4 posts
    • 01Setting up MLIR Development Environment
      Tue Apr 28 2026
    • 02Basic Elements in MLIR
      Tue Apr 28 2026
    • 03LLVM ADT Library Overview
      Tue Apr 28 2026
    • 04Add MLIR Python Bindings For Custom Dialects
      Tue Apr 28 2026
  • archive-cover
    Basic Skills
    An archive of posts about basic programming/development skills, such as Git, Linux, etc.
    Mon Apr 27 2026
    Mon Apr 27 2026
    6 posts
    • 01Basic Skills: Development Environment
      Mon May 04 2026
    • 02Basic Skills: Git
      Mon May 04 2026
    • 03Basic Skills: Unix-like Systems
      Mon May 04 2026
    • 04Basic Skills: Docker
      Mon May 04 2026
    • 05Basic Skills: Agentic Coding
      Mon May 04 2026
    • 06Fundamentals of Operating Systems
      Mon May 04 2026
  • Prev
  • 1
  • Next