- Type System
- A Formal Verification of Rust's Binary Search Implementation
- A gentle introduction to formal verification of computer systems by abstract interpretation
- Formal Verification in Industry
- The Bubble Sort
- CS 229r: Algorithms for Big Data
- Big Graph Mining: Frameworks and Techniques
- Introduction to Graph Mining
- Hands On OpenCL
- Benign data races: what could possibly go wrong?
- Acquire and Release Semantics
- C11 atomic variables and the kernel
- Wiki - Memory ordering
- Paper - When Prefetching Works, When It Doesn’t, and Why
- pthread_get,set specific vs thread local variable
- GPU Gem - Chapter 39. Parallel Prefix Sum (Scan) with CUDA
- Cmake Tutorial
- The magic behind configure, make, make install
- A Tale of Three Safeties
- 15 Years of Concurrency
- ARMv8 Shellcodes from 'A' to 'Z'
- ARM Cortex-M, Interrupts and FreeRTOS
- A Guild to Undefined Behavior in C/C++
- What's worked in computer science
- Clang - Modules
- youtube - 黃婷婷老師：計算機結構Computer Architecture
- EE 4720, Computer Architecture
- Put It Altogether! : Matrix Multiplication with libdispatch + Clang SIMD optimization
- jserv - 計算機組織結構
- 2017年冬季系統軟體課程：台南場次
- Concurrent B+ Tree
- Matrix Multiplication using SIMD
- Toward Concurrency
- 透過 SIMD 加速高斯模糊運算
- Compute PI - HW1 (AVX)
- Compute PI - HW1
- Toward Concurrency
- Phonebook-Concurrent - HW2
- Phonebook-Concurrent - HW2
- Phonebook-Concurrent - HW2
- Raytracing - HW4
- software-pipelining
- 谈谈 Swift 中的 map 和 flatMap
- Swift Functors, Applicatives, and Monads in Pictures
- Friday Q&A 2015-11-06: Why is Swift's String API So Hard?
- The App Lift Cycle
- Scene Kit
- Create an iOS Universal Framework
- WWDC 2016 - Speech Recognition API
- Don’t Forget the “C” in Objective-C: C Declarations
- C/ObjC Block Byref Internals
- Finding Similar Music using Matrix Factorization
- A PRACTICAL GUIDE TO BUILDING RECOMMENDER SYSTEMS
- Machine Learning is Fun!
- GitXiv - dlib face recognition
- GitXiv - Learning to reinforcement learn
- GitXiv - Real-Time Single Image & Video Super-Resolution Using an Efficient SubPixel Convolutional Neural Net
- GitHub - tensorflow
- Quora - What is the difference between NN and autoencoder network
- Acceleration and Model Compression
- Hacker's guild to NN
- Demystifying Deep Reinforcement Learning
- 淺談Alpha Go所涉及的深度學習技術
- Fully-connected, locally-connected and shared weights layer in neural networks easy explained
- YouTube - How to Build Your Own Self Driving Toy Car
- LEARNING REINFORCEMENT LEARNING (WITH CODE, EXERCISES AND SOLUTIONS)
- iOS开发迎来机器学习的春天 - Tensorflow
- An installation guild
- Apple Document - BNNS
- Neural Networks in iOS 10 and macOS
- The “hello world” of neural networks
- Convolutional neural networks on the iPhone with VGGNet
- Scratch a Pixel
- BASIC THEORY OF PHYSICALLY-BASED RENDERING
- Morphological Image Processing
- A Layered Grammar of Graphics