Install Lean 3 on Windows Quite annoying to get Lean 4 installed without noticing it. 2023-10-04 DevOps #VS Code #Lean #Windows
Paper Notes: OPU - FPGA-Based Overlay Processor for CNNs 2023-08-06 Paper Notes #OPU #OpenOPU #FPGA #CNN
Migrate GitLab from CentOS to Ubuntu on ECS In this post, we migrate GitLab from CentOS to Ubuntu on Alibaba Cloud ECS, with GitLab backup and restore. 2023-07-31 DevOps #Linux #Server #Cloud #ECS #CentOS #GitLab #Ubuntu
Paper Notes: CPU/GPU Task Scheduling with SVM 2023-07-27 Paper Notes #task scheduling #GPU #OpenCL #machine learning #SVM
Performance Issue of Memory Alignment Not so easy to tell... 2023-07-26 Programming Language #Optimization #Memory #Alignment #C #C Plus Plus #Padding
Access MySQL Localhost on Windows Host from WSL2 Manage MySQL server on Windows host from WSL2. 2023-07-07 DevOps #Linux #SQL #WSL2 #Windows #Hyper-V #IP #Routing #IPv4 #MySQL #CRUD #Privileged Access Management
Share Files Between Host and Linux Virtual Machine over Hyper-V Set up shared directory via CIFS. 2023-06-16 DevOps #Linux #Hyper-V #virtual machine #mount #CIFS
Partition and Mount TF Card on Linux Some dirty works. 2023-06-13 DevOps #TF Card #Linux #Mount #Partition #SBC #Huashan-pi #Disk
A Haskell Practice with Answer HSK! 2023-05-24 Programming Language #Matrix #Polymorphism #Haskell #Functional Programming #Currying