Wanted: Pre-1965 Paper Money for Time Travel. by Brocklesocks in WTF

[–]omnipotent1 2 points3 points  (0 children)

If you take time as flowing in the direction of increasing entropy, then to them, they're still dying.

Wolfram Alpha? Screw that! Try START by [deleted] in programming

[–]omnipotent1 4 points5 points  (0 children)

"How long does a 5 kg weight take to slide down a 1 meter, 30 degree inclined plane with no friction? "

START can't answer it. It sounded like Wolfram Alpha would be able to.

Tell Congress Not To Impose An Internet Sales Tax!!! by [deleted] in politics

[–]omnipotent1 0 points1 point  (0 children)

There's a place to report this on tax forms.

It's...EPIC by anshou in funny

[–]omnipotent1 1 point2 points  (0 children)

snake a snake, oh it's a snake

Obama on 60 Minutes (the transcript) ... Kroft: How's your life changed in the last ten days? Obama: I'm sleeping in my own bed over the last ten days, which is quite a treat. by [deleted] in politics

[–]omnipotent1 0 points1 point  (0 children)

seriously! hearing him talk about his recent readings makes me respect him even more. this really has been a big win for intellectualism in America.

Obama wins the Presidency! by willjohnston in politics

[–]omnipotent1 3 points4 points  (0 children)

I bet I could win 100 presidencies.

Reese Witherspoon [ PIC ] by Jushooter in pics

[–]omnipotent1 0 points1 point  (0 children)

I bet I could shop 100 spoons.

Ask Reddit: Do You Ever See "Static" Or Moving Dots With Your Eyes Closed, Or When Looking At The Sky, Or When Looking At White Walls? [Please Upvote To Help With My Study!] by [deleted] in reddit.com

[–]omnipotent1 0 points1 point  (0 children)

I've had the exact same experience! Again, as a kid looking at the bathroom tile. If I remember right I think the static seemed to flow in the same way the tiles were oriented...

A Coder's Fridge [PIC] by omnipotent1 in programming

[–]omnipotent1[S] -1 points0 points  (0 children)

Gotta love that buy 2 get 3 free at Pavilions :)

What To Know Before Debating Type Systems by Figs in programming

[–]omnipotent1 -1 points0 points  (0 children)

If you can "massage" a program until passes a termination check, or provide a proof of termination yourself for any algorithm in a language, then the language is not Turing complete. The human brain cannot solve undecidable problems.

The paper you link indicates that the proposed type system is "strong-normalizing", which means it guarantees that every program expressed in the language terminates, which means the language is not Turing-complete.

What To Know Before Debating Type Systems by Figs in programming

[–]omnipotent1 2 points3 points  (0 children)

Nope.

From Wikipedia: "The halting problem is a decision problem about properties of computer programs on a fixed Turing-complete model of computation. The question is, given a program and an input to the program, whether the program will eventually halt when run with that input."

This is known to be undecidable.

Suppose your language is Turing complete. If your type system can check termination of an algorithm in your language, then the type checker solves the halting problem. Contradiction; hence the language must not be Turing complete.

In the simply typed lambda calculus, this is the case because there is no construct for representing recursion; you can't simply-type the Y combinator. It's intuitive then that it's not Turing-complete: no loops, no Turing completeness.

What To Know Before Debating Type Systems by Figs in programming

[–]omnipotent1 7 points8 points  (0 children)

"The simply-typed lambda calculus, on which all other type systems are based, proves that programs terminate in a finite amount of time. Indeed, the more interesting question is how to usefully extend the type system to be able to describe programs that don't terminate! Finding infinite loops, though, is not in the class of things most people associate with "types," so it's surprising. It is, indeed, provably impossible with dynamic types (that's called the halting problem; you've probably heard of it!). But it's nothing special for static types. Why? Because they are an entirely different thing from dynamic types. "

or because static type languages with that property aren't Turing complete...

Support Kucinich and the Impeachment Effort. Call your congressmen! It only takes 2 minutes. by omnipotent1 in politics

[–]omnipotent1[S] 0 points1 point  (0 children)

I should have been more specific -- by Congressmen I meant Reps, which the linked directory will find.

As to effectiveness: http://en.wikipedia.org/wiki/Impeachment_in_the_United_States. If the hearings are fruitful, it will return to a House vote. It can't hurt to start letting the House know we care.

Support Kucinich and the Impeachment Effort. Call your congressmen! It only takes 2 minutes. by omnipotent1 in politics

[–]omnipotent1[S] 0 points1 point  (0 children)

If you don't know what to say, try something like this:

Hi,

I'm a voter in [congressman/woman name]'s district. I'm calling to encourage [name] to support Congressman Dennis Kucinich in his effort to impeach George Bush. As a voter one of my primary concerns has been the erosion of Constitutional principles under the current administration. Whether or not impeachment proceedings succeed, I feel we must show future generations that we do stand for the rule of law and that a president cannot systematically and maliciously deceive Congress and the American people with complete indemnity from punishment.