wdv4758h/notes

Issues

• The End of Error: Unum Computing

  #81 opened 7 years ago by wdv4758h
  0

• Python module in Rust

  #77 opened 7 years ago by wdv4758h
  1

• 獨裁者的進化：收編、分化、假**

  #80 opened 7 years ago by wdv4758h
  1

• Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

  #79 opened 7 years ago by wdv4758h
  0

• Verified Functional Programming in Agda

  #78 opened 7 years ago by wdv4758h
  0

• 碼書：編碼與解碼的戰爭

  #41 opened 7 years ago by wdv4758h
  6

• Clangd: LLVM's Clang Gets A Server

  #65 opened 7 years ago by wdv4758h
  7

• Write You a Haskell - Building a modern functional compiler from first principles

  #76 opened 7 years ago by wdv4758h
  1

• Domain-Specific Languages

  #75 opened 7 years ago by wdv4758h
  0

• Hacker's Delight, 2nd

  #74 opened 7 years ago by wdv4758h
  0

• A Unified TLS API for Python

  #73 opened 7 years ago by wdv4758h
  1

• 血之祕史：科學革命時代的醫學與謀殺故事

  #72 opened 7 years ago by wdv4758h
  2

• Wayland utils like X

  #71 opened 7 years ago by wdv4758h
  6

• [2016] Sequent calculus as a compiler intermediate language

  #70 opened 7 years ago by wdv4758h
  0

• Rust and other languages

  #69 opened 7 years ago by wdv4758h
  0

• Julia's AOT compile

  #68 opened 7 years ago by wdv4758h
  0

• FOSDEM 2017

  #67 opened 7 years ago by wdv4758h
  3

• 2017 LLVM Performance Workshop at CGO

  #66 opened 7 years ago by wdv4758h
  0

• WireGuard: Next Generation Secure Kernel Network Tunnel

  #64 opened 7 years ago by wdv4758h
  0

• Compiler design sprint summary by Niko Matsakis

  #63 opened 7 years ago by wdv4758h
  3

• [2015] Deep Neural Networks are Easily Fooled: High Confidence Predictions for Unrecognizable Images

  #62 opened 7 years ago by wdv4758h
  0

• [2002] Secrets of the Glasgow Haskell Compiler inliner

  #61 opened 7 years ago by wdv4758h
  0

• [2012] Parakeet: A Just-In-Time Parallel Accelerator for Python

  #60 opened 7 years ago by wdv4758h
  1

• [2015] Numba: a LLVM-based Python JIT compiler

  #59 opened 7 years ago by wdv4758h
  1

• [2017] Software Engineering at Google

  #58 opened 7 years ago by wdv4758h
  0

• 整理 notes repo

  #44 opened 7 years ago by wdv4758h
  1

• 約耳續談軟體：探究軟體經營的根本實學

  #57 opened 7 years ago by wdv4758h
  1

• 約耳趣談軟體：來自專案管理的現場實錄

  #56 opened 7 years ago by wdv4758h
  1

• Foundations of Programming Languages (Undergraduate Topics in Computer Science)

  #55 opened 7 years ago by wdv4758h
  1

• Understanding Computation: From Simple Machines to Impossible Programs

  #54 opened 7 years ago by wdv4758h
  0

• Virtual Machines Summer School 2016

  #53 opened 7 years ago by wdv4758h
  1

• Grokking Algorithms: An illustrated guide for programmers and other curious people

  #52 opened 7 years ago by wdv4758h
  4

• Haskell Programming: From First Principles

  #51 opened 7 years ago by wdv4758h
  1

• Martin-Löf 型別理論

  #50 opened 7 years ago by wdv4758h
  0

• Practical Foundations for Programming Languages, 2nd

  #49 opened 7 years ago by wdv4758h
  0

• The Little Prover

  #47 opened 7 years ago by wdv4758h
  1

• Essentials of Programming Languages

  #48 opened 7 years ago by wdv4758h
  0

• The Reasoned Schemer

  #46 opened 7 years ago by wdv4758h
  0

• 植物獵人的茶盜之旅：改變中英帝國財富版圖的茶葉貿易史

  #42 opened 7 years ago by wdv4758h
  3

• 字型相關知識

  #45 opened 7 years ago by wdv4758h
  0

• The Ultimate Game Boy Talk

  #43 opened 7 years ago by wdv4758h
  1

• Advanced Programming in the UNIX Environment

  #40 opened 7 years ago by wdv4758h
  1

• Thinking, Fast and Slow

  #39 opened 7 years ago by wdv4758h
  0

• 槍炮、病菌與鋼鐵：人類社會的命運

  #35 opened 7 years ago by wdv4758h
  0

• 第三種猩猩：人類的身世與未來

  #38 opened 7 years ago by wdv4758h
  0

• 昨日世界：找回文明新命脈

  #37 opened 7 years ago by wdv4758h
  0

• 大崩壞：人類社會的明天？

  #36 opened 7 years ago by wdv4758h
  0

• 資訊：一段歷史、一個理論、一股洪流

  #34 opened 7 years ago by wdv4758h
  0

• Ramer–Douglas–Peucker algorithm

  #33 opened 7 years ago by wdv4758h
  0

• 黑客列傳：電腦革命俠客誌

  #32 opened 7 years ago by wdv4758h
  1