Home - albertnetymk's notes

2020

Aug 31 Chinese font fallback

Jul 18 Linear-time Temporal Logic (LTL) Formula in SPIN

Jun 30 Count Inversion (Haskell)

Jun 29 Continuation

Jun 6 Covariance vs Contravariance

May 20 Memory Model

May 4 Standard Error & Confidence Interval

Apr 21 Producing Plots for Papers using Octave

Apr 11 Introduce New Variable Without Polluting Global Namespace in Ruby

Apr 4 Free Alternative to Helvetica Font

Mar 24 SSH Failed Attempts

Mar 19 OpenJDK CMakeList.txt

Feb 29 Postage Stamp

Jan 30 Debian APT configs and commands

2019

Dec 9 Sorted Product

Aug 31 Aliases For Git

Mar 17 Monoid example

Mar 10 Depth-first search vs Breadth-first search

2018

Sep 24 My Keyboard Layout

Sep 4 C++ Ownership Transfer with Move

Jul 13 Devirtulization in C++

Jun 16 Weak Reference in Java

Apr 8 Cube Shadow Theorem

Apr 1 C++ Constructors

Mar 28 My Music collection

Mar 2 Google Hash Code

Feb 16 N Queens in Haskell

Jan 26 Stack Overflow

Jan 2 Section Info for Variables in C

2017

Dec 27 Inspecting JVM JIT assembly using Java Microbenchmark Harness (JMH)