tehgeekmeister’s blog

November 8, 2007


Filed under: academics, computer science, math, programming — tehgeekmeister @ 5:09 pm

as previously stated, am in the process of reading sicp.  i’m surprised how easy (even if some of the problems stumped me for no good reason for a little while, before they just clicked) the first chapter is.  i expect this will change in the second chapter.

also have resumed reading a first course in linear algebra, which is, if a bit tedious (the exercises especially…), a very good introduction to linear algebra.  so far i’m only up to the section on vectors, so i’m certainly not very far in, but i’m finding the material surprisingly easy to follow.

category theory!  this has stumped me for some time, and whether it be because i’ve found much better resources (thanks to the programming.reddit.com), or simply that i’m in a much more mathematical mindset than usual as a result of some time off from work, i’m starting to get it.  of course, being a haskell aficionado, originally i only  approached category theory  in order to get monads.  now that i’ve started  to read some other higher level mathematics (at least what i consider higher level…), i find myself interested in category theory, at least somewhat, for it’s own sake.  perhaps this will last, perhaps it won’t.  we’ll see.  in any case, it’s unlikely i’ll pursue category theory much further at all until i’ve done some of the other things on my todo list.  in any case, here are links to the two resources i’ve found most useful:

i think that is all for now.

November 5, 2007

end of hiatus.

Filed under: computer science, programming — tehgeekmeister @ 12:06 pm

for now.  hiatus will begin again anytime i’m working a lot.

i’ve just started reading sicp, i’ve decided on using DrScheme after consulting with the members of #scheme.  this should complement my haskell studies, as well, because i’m working on this haskell tutorial, which guides one thru the process of writing a scheme (purportedly in 48 hours, however i’ve easily passed that mark already…).

i’m interested in seeing how scheme, which of course has a great reputation for elegance and expressive power, compares to haskell, which i’ve been learning lately.   i’m inclined to say that having learnt haskell decently well will allow me to grok scheme much better, and even to do more complicated things in scheme (i see no reason, as of now, why one couldn’t use monads in other languages, albeit with less ease than in haskell).  i’m also very interested in learning more about computer science from reading sicp, which i admit is my main goal.  as well, a friend of mine suggested we learn a new programming language together, and i suggested sicp and scheme as the book and language of choice.

also, i’ve recently stumbled across NixOS, which reminds me of ideas i’d had back when i was using linux.  this interests me, altho i’m saddened to find that nix, the package manager which makes NixOS so exciting, is written in C++, even tho it claims to to be written purely functionally.  surely, it is possible to write in a functional style in C/C++, and one could manage to make the package manager entirely deterministic without using, for example, haskell, but i’m biased and would’ve preferred to see it written in haskell.

this leads me to my next point: i’m installing vmware fusion, the 1.1 release candidate beta (i’m cheap), and intend to play with, in no particular order and very likely not all at the same time, NixOS, Ubuntu, and LFS.  i’m interested in becoming reacquainted with the *nix world, and also intend to run thru linux programming by example in an attempt to become more proficient with c development (or i should probably say, to become proficient at all).

this is enough for right now.  perhaps you’ll get to see some buddhist ramblings soon, i know not.

Create a free website or blog at WordPress.com.