Posts

My personal PKM | How I surface linear and non-linear thinking
Jun 26, 2022 soft-skills

My bulletjournal inspired tactical todo list
Jun 12, 2022 soft-skills

How to Listen | My soft-skills superpower
Jun 10, 2022 soft-skills

What can’t flowcharts do?
Apr 24, 2022 student

How to write a thesis or capstone 10 minutes at a time | How I learn deeply and permanently
Apr 24, 2022 study

Pointers in 5 minutes
Apr 5, 2022 low-level

Modulus in 5 minutes
Apr 5, 2022 low-level

Design by Refinement: Sorting by Refinement
Dec 28, 2021 Design book

Design by Refinement: TDD is not Design
Dec 1, 2021 Design book

Why is bool one byte: Wasting space to save time
Nov 28, 2021 hardware low-level

21st Century Proof :: Structure makes it possible, hard work makes it probable
Sep 13, 2021 papers

My TLA+ Saga
Sep 8, 2021 reflection

The World Is Not Incremental
Mar 3, 2021 Design model

Using QuickCheck’s Positive Type Level Modifier
Dec 24, 2020 QuickCheck I'm Stuck

My Learning Process
May 25, 2020 learning study reflection

System languages should include Webapps
Oct 3, 2015 Coding

4 Simple Steps to Run D Language in Azure Websites
Sep 25, 2015 D Azure

Property Driven Design: MinMax
Jul 5, 2015 C++ Property Driven Design property-testing example tutorial

Recasting how I blog
Jun 7, 2015 Writing blogging

Introduction to Pointers
Feb 17, 2015 Beginner

Property Testing in C++
Sep 3, 2014 c++ unit test

What is a Unit Test?
Aug 28, 2014 Testing

Hello Project Euler, Sorry I doubted you
Aug 28, 2014 Functional

Goodbye Project Euler
Jun 18, 2014 Functional

Design for Testability via Security
May 3, 2014 Security 747 bootloader firmware hash Security test verify

Massively Intelligent Non-Deterministic Luminating Effortless Super Solver
Feb 12, 2014 c++ c++11 cipher cryptogram crytography monoalphabetic substitution cipher

Sean Parent: No Raw Loops
Nov 24, 2013 Productivity C++11 Stepanov STL

rand() Considered Harmful
Nov 17, 2013

Simplicity Does Matter!
Nov 12, 2013

A Thunk on Laziness
Oct 27, 2013 Security

Idiomatic Learning
Oct 20, 2013 Idiom

“Smaller” Reviews are More Effective
Oct 13, 2013 Review

The Itanium Flop
Oct 7, 2013 Necromancy itanium knuth multicore

Linux User’s Group CTF 2013
Sep 8, 2013 CTF Contest Security cracking hack-a-thon hacking

My First Logic Program
Sep 1, 2013 AI

Artifical Intelligence Impact on Medicine
Aug 28, 2013 Writing

Interesting article about Monads
Aug 2, 2013

My Haskell Environment for Project Euler
Aug 2, 2013 Functional automake dependencies dependency euler generation make project euler

How to Write a Thesis
Jul 24, 2013 Review book

Is Monolithic Code Faster?
Jul 14, 2013 Compilation optimization performance

Patterns are evidence of a language’s lacking
Jul 7, 2013 Algorithm DSL pattern

Haskell a Few Problems Later
May 14, 2013

Haskell Day 1 (Again)
Apr 22, 2013 functional

Latex Walkthrough
Mar 24, 2013 latex tools writing

Beagle Board Cluster Demo’d at ASU
Mar 4, 2013 Club

Duplicating SD Cards for Beagleboard
Feb 24, 2013

Text Processing for Programmers
Feb 17, 2013 Productivity unix

Short Valgrind Video Tutorial
Nov 12, 2012

ASULUG Talk: Django Web Framework
Sep 22, 2012 Talk Python

Abstraction in Plain English
Sep 18, 2012 System explaination explanation newbie

Open Source CTF Game Server
Sep 9, 2012 CTF

The Turbulent History of Managed Code
Aug 28, 2012 Productivity Java Managed Code

Know Its Name
Jul 21, 2012

The Importance of System Design
Jul 15, 2012 Design bottom-up top-down

Building an Interpreter
May 28, 2012 Compilation AST Bison C++ compiler Flex

Multicast Delegates in C++11
Mar 25, 2012

Abstract Syntax Trees: Introduction to Flex
Mar 18, 2012

Branching with Mercurial
Feb 20, 2012 Project

Compile-Time Polymorphism
Feb 5, 2012 Coding idiom performance template virtual

Parallel Binary Buddy: The Friendly Memory Manager
Nov 23, 2011

Making C++ like Python: The Anderson Smart Pointer Pattern
Oct 23, 2011 Coding memory Python RAII

Parallel Game-of-Life
Oct 23, 2011 Coding parallel

The $1,000,000 Compile
Sep 22, 2011 Coding testing

Good Tools, Excellent Results
Aug 21, 2011 Coding productivity Python tools

Why do some tutorials use std::cout and others use just cout?
Aug 19, 2011 Coding tutorial

Hijacking System Programs
Aug 12, 2011 teaching talks command line customize vim

Version Control More Than Collaboration
Jul 6, 2011 Teaching Talks mercurial subversion version control

Game Framework for C++ Practicum
Jun 25, 2011 Teaching/Talks

Being Truely Productive
Jun 19, 2011 Writing process vim

Overview of Upcoming Articles
Jun 16, 2011

Type-Safe Variable Argument Lists
Jun 6, 2011 Coding Algorithm D Type Safety

Parallelism in D
May 29, 2011 D Coding algorithm parallel real-time realtime Sorting

Bucket Sort
May 24, 2011 Coding D Sorting

D for the C++ Programmer
May 18, 2011 Algorithm comparison correct code

Class Invariants
May 13, 2011 Algorithm correct code D

The Red-Black Tree
May 9, 2011 Algorithm comparison Data Structure Tree

Java 4K Contest
May 7, 2011 Project Contest Java

Thing a Week: Algorithm Edition
May 3, 2011 Coding

Welcome to Code Strokes
Feb 11, 2011 About