Latest

Dec
01

Kmail and GnuPG

There seems to be a bit of a problem with the way that Kmail and GnuPG interact that is somewhat
Dec
01

The Police State of America

There is a lot of talk these days about what Obama can do for us, should do for us, or
1 min read
Oct
11

Touch Typing Advice

Touch typing is a valuable, interesting skill that really makes life easier when working on a computer. Unfortunately, most people
1 min read
Oct
07

Indexing Arrays

Lately I have been working on formalizing APL. One of the core problems related to the formalization of APL is
4 min read
Jul
06

NEdit: Syntax is Easy

(Open the image to view full size.) Those who know me know that I like graphical text editors, as well
2 min read
Jun
23

Nicer Xterm

I usually use the Xterm terminal emulator when I am in mostly vanilla environments or in those cases when I
1 min read
Jun
03

Playing with Isar

Handwritten versions: Pg. 1 [https://www.sacrideo.us/v5/imgs/blog/isar_fact/pg1.jpg], Pg. 2 [https://www.sacrideo.
2 min read
May
10

Saving Scratch Work

Handwritten versions: Page 1 [https://www.sacrideo.us/v5/imgs/blog/save_scratch/pg1.jpg]. With all the dynamic and
1 min read
May
09

Mice and Hackers

Handwritten versions: Page 1 [https://www.sacrideo.us/v5/imgs/blog/mice_hackers/pg1.jpg]; Page 2 [https://www.sacrideo.
1 min read
May
09

An Old School Lecture

Handwritten versions: Pg. 1 [https://www.sacrideo.us/v5/imgs/blog/mccarty_lecture/pg1.jpg] ; Pg. 2 [https://www.sacrideo.
1 min read