Viewing profile — gfredtech

Imagine being a female on the exec board of a California company and knowing the reason why you're there.

You'd have to pay for them, episodes 2-52

Duckduckgo, because I don't memorize rarely used git commands/language and/or library features, and so when I search for how to do something, it gives me the answer instantaneously…

I'm currently using it for my Computer Architecture class(MIPS edition). It's rather unfortunate that I'm just grokking the book for the grades, it's a very good book and explains …

well, since the halting problem is undecidable, then no. One thing I still do not understand is how languages like Coq and Idris can almost always ensure that programs written in t…

Getting 552: connection timed out here