原创 【環境安裝】fuse & libfuse-dev
Package fuse was not found in the pkg-config search path. Perhaps you should add the directory containing `fuse.pc' to
2020-04-01 12:37:32
13
原创 【環境安裝】ubuntu18.04利用opam安裝指定版本的coq工作環境
整理了一下從無環境的ubuntu18.04虛擬機到可以證代碼的工作環境需要經歷的安裝流程和命令作爲筆記和分享。 第一步：安裝opam add-apt-repository ppa:avsm/ppa apt update apt inst
2020-02-23 00:23:34
原创 【Python3/PIL】編輯圖片的常用方法
最近碰到要處理人物立繪的問題。。由於工作量不算小，而且重複勞動很多，就想用程序來解決，python的PIL模塊就包含了很多實用的模塊，下面展示一下個人應用的接口。 from PIL import Image1、將一個圖片的透明部分應用到另
2018-08-26 21:59:49
11
原创 CSAPP lab8 Cache
考慮到能看到這篇文章的基本都是“同道中人”了，我就開門見山地寫東西不過多介紹了。。這次lab主要考察的是cache的內容，Part A要求用LRU規則模擬Cache，Part B則是將代碼優化成Cache-Friendly-Code。。體
2018-08-26 21:59:47
9