wdv4758h notes issues - Githubissues

wdv4758h / notes

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

https://wdv4758h.github.io/notes/

141 stars 17 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Fix typo

#82 Sea-n closed 3 years ago
1
The End of Error: Unum Computing

#81 wdv4758h opened 6 years ago
0
獨裁者的進化：收編、分化、假民主

#80 wdv4758h opened 7 years ago
1
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

#79 wdv4758h opened 7 years ago
0
Verified Functional Programming in Agda

#78 wdv4758h opened 7 years ago
0
Python module in Rust

#77 wdv4758h closed 7 years ago
1
Write You a Haskell - Building a modern functional compiler from first principles

#76 wdv4758h opened 7 years ago
1
Domain-Specific Languages

#75 wdv4758h opened 7 years ago
0
Hacker's Delight, 2nd

#74 wdv4758h opened 7 years ago
0
A Unified TLS API for Python

#73 wdv4758h opened 7 years ago
1
血之祕史：科學革命時代的醫學與謀殺故事

#72 wdv4758h opened 7 years ago
2
Wayland utils like X

#71 wdv4758h opened 7 years ago
6
[2016] Sequent calculus as a compiler intermediate language

#70 wdv4758h opened 7 years ago
0
Rust and other languages

#69 wdv4758h opened 7 years ago
0
Julia's AOT compile

#68 wdv4758h opened 7 years ago
0
FOSDEM 2017

#67 wdv4758h opened 7 years ago
3
2017 LLVM Performance Workshop at CGO

#66 wdv4758h opened 7 years ago
0
Clangd: LLVM's Clang Gets A Server

#65 wdv4758h closed 7 years ago
7
WireGuard: Next Generation Secure Kernel Network Tunnel

#64 wdv4758h opened 7 years ago
0
Compiler design sprint summary by Niko Matsakis

#63 wdv4758h closed 7 years ago
3
[2015] Deep Neural Networks are Easily Fooled: High Confidence Predictions for Unrecognizable Images

#62 wdv4758h opened 7 years ago
0
[2002] Secrets of the Glasgow Haskell Compiler inliner

#61 wdv4758h opened 7 years ago
0
[2012] Parakeet: A Just-In-Time Parallel Accelerator for Python

#60 wdv4758h closed 7 years ago
1
[2015] Numba: a LLVM-based Python JIT compiler

#59 wdv4758h closed 7 years ago
1
[2017] Software Engineering at Google

#58 wdv4758h opened 7 years ago
0
約耳續談軟體：探究軟體經營的根本實學

#57 wdv4758h closed 7 years ago
1
約耳趣談軟體：來自專案管理的現場實錄

#56 wdv4758h closed 7 years ago
1
Foundations of Programming Languages (Undergraduate Topics in Computer Science)

#55 wdv4758h opened 7 years ago
1
Understanding Computation: From Simple Machines to Impossible Programs

#54 wdv4758h opened 7 years ago
0
Virtual Machines Summer School 2016

#53 wdv4758h opened 7 years ago
1
Grokking Algorithms: An illustrated guide for programmers and other curious people

#52 wdv4758h closed 7 years ago
4
Haskell Programming: From First Principles

#51 wdv4758h opened 7 years ago
1
Martin-Löf 型別理論

#50 wdv4758h opened 7 years ago
0
Practical Foundations for Programming Languages, 2nd

#49 wdv4758h opened 7 years ago
0
Essentials of Programming Languages

#48 wdv4758h opened 7 years ago
0
The Little Prover

#47 wdv4758h opened 7 years ago
1
The Reasoned Schemer

#46 wdv4758h opened 7 years ago
0
字型相關知識

#45 wdv4758h opened 7 years ago
0
整理 notes repo

#44 wdv4758h opened 7 years ago
1
The Ultimate Game Boy Talk

#43 wdv4758h closed 7 years ago
1
植物獵人的茶盜之旅：改變中英帝國財富版圖的茶葉貿易史

#42 wdv4758h closed 7 years ago
3
碼書：編碼與解碼的戰爭

#41 wdv4758h closed 7 years ago
6
Advanced Programming in the UNIX Environment

#40 wdv4758h opened 7 years ago
1
Thinking, Fast and Slow

#39 wdv4758h opened 7 years ago
0
第三種猩猩：人類的身世與未來

#38 wdv4758h opened 7 years ago
0
昨日世界：找回文明新命脈

#37 wdv4758h opened 7 years ago
0
大崩壞：人類社會的明天？

#36 wdv4758h opened 7 years ago
0
槍炮、病菌與鋼鐵：人類社會的命運

#35 wdv4758h opened 7 years ago
0
資訊：一段歷史、一個理論、一股洪流

#34 wdv4758h opened 7 years ago
0
Ramer–Douglas–Peucker algorithm

#33 wdv4758h opened 7 years ago
0