### Undecidable Problems might be only Undecidable to Humans.

In March 2010, some nerd wrote a blogspam article for collegehumor titled “New Puncuation Marks for Grammer Nerds”. I didn’t realize it immediately, but this guy knew something I didn’t.

### Diogenes and Definitions

What makes a definition a good one?

### A Wrong Random Oracle Assumption

The random oracle assumption is a useful tool in cryptographic proofs, and this is about a mistake I made on its technicalities.

### Computational Indistinguishability is an Equivalence Relation.

I have not seen this much in other sources so I thought I would write it up. It is actually not that important. Usually people only care about transitivity.

### A simple proof that took me a year.

Puzzle cubes are cool because its like holding a real algebraic object in your hand.

### Math over Magic

The world is a lot more boring when you realize somethings can’t exist.

### A Mathematician's Keyboard

I have been needing a use for an extra keyboard I had sitting in the closet.

### Chromebook Pixel and Arch Linux

I bought a Chromebook Pixel from 2013 during the Summer of 2016 since I wanted a new laptop, and these had deprecated in value incredibly considering they were $1200-1500 when they launched. I picked up the 64GB model for about$400. There are a lot of issues with this laptop and maybe I won’t do the same thing again. The display is incredibly bright and the image can often burn in if left on for too long. There is basically no cooling on this machine, so it was constantly at 85 celsius (I found a fix for this later) and the battery life was pretty terrible. My old C720, I could easily get 12 or 13 hours out of the thing. I have to charge this every day and be lucky to get 4 hours. Maybe I was just spoiled. I do like the 4:3 aspect ratio. It makes having two windows that partition the screen vertically more comfortable on a laptop. The resolution is also somewhat wasted on me. The fonts I mostly use are usually all monospaced and pixel perfect, so I don’t see an upgrade for 95% of what I do on this machine, but PDFs and webpages look like real paper, which is kinda neat I guess.

### bc is a terrible calculator

I’ve been messing around with some terminal based calculators. For my cryptography class, we had to do some huge computations. Ive noticed that GNU bc is actually pretty slow at this:

### One of my favorite integrals.

One of the counterexamples that was proposed by Cauchy to LaGranges functional idea was $e^{-x^2}$. This function, when integrated only has a series solution that cannot be represented by aanother function. You can however, evaluate it as a definite integral from $-\infty$ to $\infty$