OT: One thing I don't yet understand is why security-critical software is usually written in C instead of a language like SML.

What are the dyno unidling times nowadays?

I clicked thinking it was related to the fatfreecrm project.

How would you get people to invest in ZitCoins? Isn't that problem a major barrier to entry?

I can't answer your question, but I immediately thought of Perlis's preface to SICP: "Algol 60, never to be an active language again, lives on in the genes of Scheme and Pascal."

Did racket revive Algol 60, even if with a weak pulse?

I think it's marking the positions of the word 'Wolfram' on the document.

Happy New Year from Portugal.

Happy new orbital period from Greece

Why indeed. Where I live we have vacant free shelters where one can get a bed, a shower and a meal, and yet there are those who absolutely insist in pan handling for their next bottle. A sad picture.

Have you ever spent a night in a shelter?

More to the point, have you ever been mentally ill and spent weeks, months, or even years in shelters?

I haven't done any of those things. Yet I'd wage it would be better to live on a shelter than on the streets, unless one has some serious psychological demons, in which case an hospital with specialized care should be preferable.

>...absolutely insist in pan handling for their next bottle

What assholes! I mean, I know plenty of people who have the audacity to work in high tech to support their alcoholism!

HN everyday.

FB about once a semester. I already spend too much time on more worthy information to even remember it exists. Its emails are automatically moved to a maildir folder that i tend to ignore.

I tried running, but it didn't help at all. the only thing that has worked, so far, has been a strict meal/sleep schedule and melatonin.

Have you tried lifting weights? That could be the physical exertion you need.

Running is way more exhausting than weight lifting. If you're not exhausted, run faster and longer. You can't do the same with weight lifting. You can get your arms tired, but your arms will give up long before you run out of energy.

If you're lifting weights with your arms, you're probably doing it wrong.

Try the olympics lifts: power cleans and snatches and squat cleans and snatches. Or their components: deadlifts, front squats, presses. Or back squats and thrusters. Do a bunch of those in rapid succession and your whole body will be much more tired than doing a 5k run, guaranteed.

This is not my experience. After a couple you won't be able to lift anymore, but you won't really be exhausted either. At least I can't lift any more just because my muscles fail. I don't regularly lift weights though, so perhaps if you're more experienced you can. That said, you don't need experience to get exhausted running (but the tendency of many people is to stop long before that point).

You're probably lifting too much weight, or leaving the gym too early. I know this isn't helpful, but you should be exhausted once you leave the gym.

How much weight should you lift? How long should you spend in the gym?

It's more complicated than a simple formula. If we're talking about olympic lifts (squats, deadlifts, clean & press), start with the bar and increase 5 lbs every day until you start hitting a limit.

Check out Mark Rippetoe's "Starting Strength" [1] for more info. Great program for anyone new to weightlifting.

[1] http://startingstrength.com/

Also, running on a track or anywhere that is not a treadmill is much more exhausting than using a treadmill. The treadmill does some of the work for you. It also makes you more prone to injuring yourself, as happened to me. In short, the are much better places to run than on a treadmill.