MattPD

Program Analysis Resources

(draft; work in progress)

See also:

• Compilers
  • correctness
• Program analysis:
• Dynamic analysis - instrumentation, translation, sanitizers

sidravi1

import autograd.numpy as np
import scipy.stats as st
import matplotlib.pyplot as plt
import matplotlib.animation as animation
import matplotlib as mpl
import seaborn as sns

from minimc.minimc.minimc_slow import hamiltonian_monte_carlo as hmc_slow
from minimc.minimc import neg_log_normal, mixture

raulqf

Install OpenCV 4.10 with CUDA 12.6 and CUDNN 8.9 in Ubuntu 24.04

First of all install update and upgrade your system:

    $ sudo apt update
    $ sudo apt upgrade

Then, install required libraries:

talperetz

davidbjourno

Load, join and filter with Python/pandas

import pandas as pd

df_results = pd.read_csv(
    'data/raw/EU-referendum-result-data.csv',
    index_col='Area_Code')
df_aps = pd.read_csv(
    'data/raw/2395818381.csv',
    index_col='mnemonic',

tanyuan

Smart Caps Lock: Remap to Control AND Escape (Linux, Mac, Windows)

把 Caps Lock 變成智慧的 Control 以及 Escape ：

• 單獨輕按一下就是 Escape 。
• 若按下時同時按著其他鍵，就會是 Control 。

這應該是 Vim 和 Emacs 的最佳解了！(Emacs? Bash 的快捷鍵就是 Emacs 系列的)

• Send Escape if you tap Caps Lock alone.

jiahao

#Set up data partition
sudo mkdir /data
sudo chmod 777 /data
sudo "echo /dev/xvdb   /data	ext4	rw,user,exec,comment=cloudconfig	0	2 >> /etc/fstab"
sudo mount /data

#Install build environment
sudo sed -i "s/enabled=0/enabled=1" /etc/yum.repos.d/epel.epo
sudo yum -y update
sudo yum -y upgrade