VirtualBox SSH與Samba設定

VirtualBox SSH與Samba設定 by monkey413

Rust Programming Day 1

Hello world

https://github.com/monkey413/rust_example/blob/master/hello_world.rs

Formatted print

https://github.com/monkey413/rust_example/blob/master/formatted_print.rs

程式三大定律

 最近閱讀「我Rust我驕傲」，書中提到程式的三大定律

1.  程式必須正確
2.  程式必須可維護，但不能違反第一項定律
3.  程式必須高效，但不能違反前兩項定律

    在功能開發的過程中，我發現這三個定律其實滿有用的。由於時常會有可維護性與高效性的選擇，而這三大定律很清楚的告知我們，可以首先選擇可維護性，再考慮效率的問題。

Doom emacs installation

目錄

• Doom emacs installation
• Reference

Doom emacs installation

    git clone https://github.com/hlissner/doom-emacs ~/.emacs.d
    cd ~/.emacs.d
    git checkout develop
    cd bin/
    ~/.emacs.d/bin/doom -y quickstart
    ~/.emacs.d/bin/doom -y refresh

Reference

https://github.com/hlissner/doom-emacs/tree/develop

cscope and gtags

目錄

• cscope
• global gtags
• Reference

cscope

find ./ -name "*.c" -o -name "*.h" | awk '{printf("\"%s\"\n", $0)}' > cscope.files
cscope -Rbq -i cscope.files

we need to deal with spaces in the path for cscope.

global gtags

find ./ -name "*.c" -o -name "*.h" > gtags.files
gtags

Reference

• http://angledark0123.pixnet.net/blog/post/51919594-vim%E9%99%84%E4%BB%B6%EF%BC%9Acscope%2Bctag-%E4%BD%BF%E7%94%A8%E7%AD%86%E8%A8%98
  
• https://descent-incoming.blogspot.com/2016/08/globalgtags-with-vim.html
  

孟氏定理或梅涅劳斯定理

\[ \large \frac{AN}{BN} \cdot \frac{BL}{CL} \cdot \frac{CM}{AM} = 1 \]

證明

透過正弦定理，有\[\frac{AN}{AM} = \frac{\sin\beta}{\sin\alpha} \] 同理可得，\[\frac{BL}{BN} = \frac{\sin\alpha}{\sin\gamma} , \frac{CM}{CL} = \frac{\sin\gamma}{\sin\beta} \] 相乘即可得 \[\frac{AN}{AL} \cdot \frac{BL}{BN} \cdot \frac{CM}{CL} = \frac{\sin\beta}{\sin\alpha} \cdot \frac{\sin\alpha}{\sin\gamma} \cdot \frac{\sin\gamma}{\sin\beta} = 1 \]

參考資料: Wikipedia