notes icon indicating copy to clipboard operation
notes copied to clipboard

let me know if my notes help you :D (it's a mess, I know)

Results 66 notes issues
Sort by recently updated
recently updated
newest added

![hacker s delight](https://cloud.githubusercontent.com/assets/2716047/23360002/fd040e28-fd23-11e6-8f6a-28288d1a0ff8.jpg) URL: http://www.hackersdelight.org/ Amazon: https://www.amazon.com/Hackers-Delight-2nd-Henry-Warren/dp/0321842685

Book
DS & Algo

目前為止已經學習過數個程式語言,在學習不同程式語言時,可以學到不同的技術、沒學過的概念、產生新的想法。 花了許多時間的有: * C:我一開始學習的語言,建立一開始對程式設計的概念 * C++:體會到 Template 的強大,以及在後來的 C++11、C++14 中見到 Ownership 的概念,還有相關的編譯器優化(例如 RVO) * Python:體會極度 OO 的程式語言,以及動態語言的便利性和效能上的損失 * Rust:體會到 Ownership 廣泛運用到語言設計中,藉此達到不用 GC 的 Memory Safety,以及像似於 Haskell Typeclass 的 Rust Trait...

PL
Haskell
Erlang
OCaml
Idris
Coq
Meta

* PEP 543 - A Unified TLS API for Python: https://www.python.org/dev/peps/pep-0543/ * https://lukasa.co.uk/2017/02/A_Unified_TLS_API_for_Python/ * https://lwn.net/Articles/711897/

Python
Cryptography

![default](https://cloud.githubusercontent.com/assets/2716047/23064368/b8f5e868-f54a-11e6-91ed-bd8f8b364eb8.jpg) 原文: Blood Work: A Tale of Medicine and Murder in the Scientific Revolution ISBN: 9789866841538 博客來: http://www.books.com.tw/products/0010630643 Amazon: https://www.amazon.com/Blood-Work-Medicine-Scientific-Revolution/dp/0393342239

Book

X 上有許多小工具可以輔助,例如: * xsel 可以在 CLI 存取和管理 selection buffer * xmodmap 可以更改 keymaps * xbindkeys 可以對特定輸入綁定要執行的指令 * xdotool 可以在模擬各種輸入 Wayland 上目前不知道有沒有對應的工具可以用,又或者是需要自己來開發一套。

Wayland

URL: https://www.microsoft.com/en-us/research/publication/sequent-calculus-as-a-compiler-intermediate-language/ Sequent Calculus 和是 Lambda Calculus 同時期的 deduction system,這篇論文在 GHC 中嘗試看看 Sequent Calculus 是否和 Lambda Calculus 一樣適合作為編譯器中的中間語言。

Paper

以下紀錄 Rust 與其他程式語言間的互動,主要可以分成兩項: * 在 Rust 內使用其他程式語言的程式碼 * 在其他程式語言內使用 Rust 的程式碼 對於 Rust 使用 C 程式碼,基本上就是用 `extern` 並定義好對應的函式名稱和型別。 對於 C 使用 Rust 程式碼,基本上就是用 Rust 這邊要用 `#[no_mangle]` 避免函式名稱的 mangling,並且界面要是針對 C 的型別。...

ABI
Rust
FFI

原本以為 Julia 只能 Interpreter + JIT,今天才聽說有支援 AOT compile。 Ref: * http://juliacomputing.com/blog/2016/02/09/static-julia.html * http://juliacomputing.com/blog/2016/03/10/j2c-announcement.html * https://en.wikipedia.org/wiki/Julia_(programming_language)#Julia2C_source-to-source_compiler

LLVM
Julia

Site: https://fosdem.org/2017/ 雖然一貫地主題很多,但是先抓一些出來看。 * LLVM Toolchain: https://fosdem.org/2017/schedule/track/llvm_toolchain/ * Mozilla: https://fosdem.org/2017/schedule/track/mozilla/ * Python: https://fosdem.org/2017/schedule/track/python/ * Valgrind: https://fosdem.org/2017/schedule/track/valgrind/ * Ruby: https://fosdem.org/2017/schedule/track/ruby/ * Lua: https://fosdem.org/2017/schedule/track/lua/ * Go: https://fosdem.org/2017/schedule/track/go/

GC
JIT
Rust
Instrumentation
Python
LLVM
Talk
Ruby
Go
Lua

Site: http://llvm.org/devmtg/2017-02-04/

Compiler
LLVM