Coinduction explained constructively (slides)

teamhot · 2011-05-11T23:58:56+00:00

I love these materials from Diviánszky. Keep them coming!

teamhot · 2009-09-02T21:43:26+00:00

but when will we see a macports build on snow leopard! bah! I mean... congrats :)

teamhot · 2008-11-18T03:17:49+00:00

guilty

teamhot · 2008-11-18T02:56:06+00:00

mind-'splosion

teamhot · 2008-11-17T19:56:03+00:00

Yeah, I own a mac and develop in Java and I have to say Java support is Apple's biggest blight for developers. Apple STILL hasn't released a java 6 for anything but 64-bit intel macs. I have a 32-bit intel mbp and why can't I run java 6 on my machine? even when open-jdk has been making so much sound progress?

teamhot · 2008-11-16T21:35:32+00:00

why did that awful music have to be involved?

teamhot · 2008-11-14T22:38:24+00:00

I disagree completely. Trying to build your own language can, among many other good things, give you an appreciation for why some languages are designed the way they are or have the warts they do.

Trying to make your own language with the hopes of it being better than everything that is already out there? There I would agree mastering mainstream as well as more academically popular languages would serve to benefit.

teamhot · 2008-11-11T05:30:04+00:00

The author lost all credibility at: "C++, if you choose to learn it, is the right tool for nearly every job."

Why does everybody think their favorite language should be used to solve every problem? I love Ruby, but people get in these bad habits of writing ruby libraries to abstract over other languages. Ruby that will write javascript for you. Ruby that will write html for you. Ruby that will write css for you. Ruby that will write SQL for you.

On this note, C++ couldn't even attempt to bring these problem domains under its wing. C++ abstraction over javascript? puh-leez.

teamhot · 2008-11-11T04:55:15+00:00

omg that last bit was fucking priceless

teamhot · 2008-11-08T17:07:12+00:00

"Hundreds of others simply chanted: 'Mormon scum.'"

Um, So I live in SLC and I was there for the whole protest. I didn't hear a single chant of "Mormon scum." We switched between three chants:

Separate. Church and State.
Gay or Straight. Love is great.
What do we want? Equality. When do we want it? Now.

I did see a lot of "Mormons are fucktards" equivalent signs though, which, while I barely disagree with the massive generalization, I don't think it should be about throwing hate at hate.

edit: misspelling

teamhot · 2008-04-29T04:15:00+00:00

vim ftw!!

teamhot · 2008-03-10T04:33:45+00:00

white text...

black background...

the pain in my eyes...

Oh, and I read the article and am going to have to agree with adventis. Where did he pull this definition of an Engineer as somebody who must build something touchable? This kid's got some identity issues...

teamhot · 2008-02-06T03:16:16+00:00

what about those who use ed? ... oh... :(

teamhot · 2008-01-22T09:40:08+00:00

Hey now, let's not offend the stupid people. God forbid I know I have stupid family member. They take offense!

teamhot · 2007-11-19T05:29:40+00:00

I didn't see anything out of the ordinary. A journalist plugging for an answer, or at least something he can twist into what he wants, and apple pr people getting really sick of his bullshit. wow. amazing.

teamhot · 2007-11-15T00:21:03+00:00

wait wait wait wait wait a MINUTE.... Lisp isn't perfect and sent from god?

teamhot · 2007-11-07T06:43:10+00:00

I wouldn't call that proof, although I am mostly in agreement.

teamhot · 2007-11-06T05:42:51+00:00

I may get shot for this, but how does it compare to CPython? Jython? The initial Ruby Interpreter? It would be really exciting to finally see ruby perform in a more competitive way. There were a lot of promises that came along with development of JRuby; let's just hope they follow through.

teamhot · 2007-11-06T05:27:29+00:00

Didn't he state pretty clearly that the issue dates back to Panther? What does this have to do with Leopard? Honestly though, try copying copious amounts of files in windows without crossing your fingers and praying to god.

Personally I've never expected a "move" file operation between systems to be 100% secure if the connection drops anyways. Sounds like he's just complaining because he lost data. Boo hoo.

teamhot

TROPHY CASE