Comments on: Choose expression: proposal for a revolutionary C# construct

By: Tarabai » Blog Archive » 3-partition problem

Tarabai » Blog Archive » 3-partition problem — Tue, 05 May 2009 10:28:17 +0000

[...] Choose expression: proposal for a revolutionary C# construct [...]

By: Pages tagged "agile"

Pages tagged "agile" — Thu, 02 Apr 2009 09:46:16 +0000

[...] bookmarks tagged agile Choose expression: proposal for a revolutionary C#… saved by 4 others sakubatzumatsu bookmarked on 04/02/09 | [...]

By: Igor Ostrovsky

Igor Ostrovsky — Wed, 01 Apr 2009 23:20:14 +0000

@Abednego: Of course! We can always double the frequency. Worst case scenario, we add another CPU. Brilliant solution.

And yes, I have a proof that your halting problem solution works. I also used the results of this research to prove that the universe has 123 dimensions, tooth fairies exist, and De Morgan’s Laws are wrong.

By: Abednego

Abednego — Wed, 01 Apr 2009 21:00:28 +0000

I’ve solved the halting problem!
bool f() {…};
bool fHalts() { return choose { ()=>f(), ()=>!f() }; }

By: Abednego

Abednego — Wed, 01 Apr 2009 19:42:22 +0000

You don’t need non-determinism to make this work. All you need to do is run the C# virtual machine as Administrator and let it change the CPU clock rate every time it encounters a ‘choose’ statement. Temporarily overclocking the CPU by a factor of 2 is not a big deal, as long as you don’t have too many ‘choose’ statements in your code. All of your examples have just one ‘choose’ statement each, so this is easy. By doubling the speed of the CPU, you can execute both branches of the ‘choose’ statement in as little time as it would take to execute just one branch, on average. If you are worried of overheating, you can just start off your program at half-speed.

By: Igor Ostrovsky

Igor Ostrovsky — Wed, 01 Apr 2009 19:21:03 +0000

@hr0nix: In all fairness, if you skip over the ridiculous parts of my article and only look at the code samples, you may well think that I am being serious (and confused).

By: hr0nix

hr0nix — Wed, 01 Apr 2009 18:28:04 +0000

Yeah, April Fools’ Day!

That Gunnar and Can are freaking me out.

By: Igor Ostrovsky

Igor Ostrovsky — Wed, 01 Apr 2009 17:59:05 +0000

@Todd: Yes, this post is my lame contribution to honor today’s date.

By: Todd

Todd — Wed, 01 Apr 2009 17:50:26 +0000

So, like, this is an april fools joke, right?

Please, please tell me it is.

By: Joe Duffy

Joe Duffy — Wed, 01 Apr 2009 17:37:04 +0000

ROFL.

—joe