Stolen from this comment:


( Read more... )

I wish it were easier for me to publish a paper in a medium that invited readers to let me know whenever they read a statement that they have trouble with, e.g. by leaving a flag like ( Read more... )

Human communication is really lossy... even when the two people use the same logic and the same architecture. Maybe the goal of my formalization dreams could be couched in terms of bridging this gap: even if we both understand and use the same "logic of common sense", neither of us speaks a language that can express it easily. Hopefully, one day, ( Read more... )

I think that LaTeX would be a good basis towards my dream of editors for arbitrary data structures, including deep, interactive structures that might have several different visualizations, or that might not even be visualizable all at once ( Read more... )

Do you suffer from too many open windows, causing a clogged enviroment (visually clogging on the Desktop, as well as clogging your RAM)?
Here's a nice idea for an app, to help those treating themselves for Nerd ADD: create a way of quickly archiving windows and tabs, unclogging your system ( Read more... )

This week, I had the pleasure of chatting with metaeducat10n for the first time.

[00:53] metaeducation: When people bitch about how hard it is to write those analysis tools, they overlook the idea that if the tools were written to have allowed the user to enter the information in a structured form in the first place...it would make the intractable problems ( Read more... )

email ( Read more... )

This morning I woke up pissed off because Windows rebooted overnight, forever erasing some notes I had. This motivated me to refine my ongoing manifesto, so it could be LJed. The ideas here are obvious, but it looks like they have escaped pretty much EVERYBODY who ever designed large computing systems ( Read more... )