Lambda Land

Life is messy.

I finished the semester!

I spend a fair portion of every day writing programs.

Today in my proofs class (MATH 290 at BYU) we talked about the concept induction.

Life Hacks: Text Notifications So many notifications come to us in the form of an audible alert, and this can sometimes be inconvenient.

Deutsche Übersetzung folgt.

I once asked my dad over email how to improve my the potency of my words and thoughts.

My girlfriend works for BYU SA—it’s the division of BYU that’s responsible for planning and running events.

Quick note for those who don’t know about Docker: Docker is a program that lets me take packaged-up programs (called images or containers) and run them without having to worry much about dependencies.

To Learn About ☒ Company-mode (completion framework for lots of stuff) ☒ YASnippets (templates) ☒ Auto-YASnippets (something like that—I installed it for temporary templates) ☒ Alchemist mode (integrates with company mode—tooling for Elixir) ☐ What do M-.…