Viewing profile — christopherolah

It was interesting to read how sage developed. I use it all the time, but had never known... The Magma stuff sounds nasty. All the more reason to avoid proprietary software.

>theorem proving is mechanical I have to disagree. As theorems become more complicated, proving them becomes anything but mechanical: one must choose between an infinite variety of…

It would be neat if we could use something like this to render equations on HN...

It's fine for me, but you can always use the Google cache: http://74.125.93.132/search?q=cache:Xm1IG5QALKUJ:www.mathjax...

This came up on the sage (FOSS alternative to Mathematica and freinds) mailing lists and I thought I'd post it here. It always surprises me how difficult math on the Internet has t…

I just read the Wikipedia entry for his views on woman. There's an interesting part at the end: After the elderly Schopenhauer sat for a sculpture portrait by Elisabet Ney, he told…

There's also the small matter of whether they should be using tax payers dollars to fund the development of a proprietary product. I realise that most people use Windows but it sti…

It'd be cool to make a whole desktop UI around that. Very cool.

The Internet is killing storytelling? What? http://www.fanfiction.net/ http://www.fictionpress.com/ http://www.scribd.com/ (And lots of others...) I rest my case.

I'm a high school student presently. The Math is trivial. The only way to learn anything is to read by myself and audit university courses. I'm actually trying to write a math text…

But 27.1 says: Everyone has the right freely to participate in the cultural life of the community, to enjoy the arts and to share in scientific advancement and its benefits. Which …

LaTeX/TeX style math, syntax highlighting.

I'd love to hear it. christopherolah.coATgmail.com

Hm, is using tau a standard convention? I've thought pi is horrible... and adopted using a loopy pi as 2pi. I loop the first vertical line over the horizontal, right, and then make…

They might be real entries, that doens't mean they're randomly chosen. MS probably selected a bunch that made them look good, and then threw in a few that were somewhat neutral to …

And it happens to not mention Linux...

My opinion is that crackers and hackers are to distinct sets, but there is an intersection (though I think it isn't overly big). Hacking needs to be creative, nothing about that sa…

A few thoughts and questions: What does the y in (Tl4Ba)Ba2Ca2Cu7Oy stand for? Google search for the chemical turns up surprisingly few hits for something like this... http://www.g…

Speaking of Copenhagen, UNICEF is having a contest for high school students from various countries to go to Copenhagen. It was a written/Youtube video contest. http://globalclassro…

> To say software patents are invalid or software can't be patented really puts software programmers at a disadvantage relative to other fields of science and innovation. Why shoul…

I'm usually not a music person. But this is brilliant. The amount of effort that must have gone into making something like this... Timing the typing and speaking to the rhythm. It …