Comments on: Algorithm Proof Inference in Scala http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala (permanently in beta) Mon, 09 Jan 2012 20:21:24 -0800 http://wordpress.org/?v=2.9.2 hourly 1 By: Michel Krämer http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala/comment-page-1#comment-4958 Michel Krämer Fri, 02 Apr 2010 12:15:29 +0000 http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala#comment-4958 I recently discovered your blog and was reading through all entries about Scala until I stumbled upon this one. It was March, 15th. So, I had a hard time realizing what was going on. I actually figured it out when I saw the second screenshot. Then I scrolled up and saw the date! :) I sent this entry to my colleagues yesterday. It was fun to see how it works even after two years :D I recently discovered your blog and was reading through all entries about Scala until I stumbled upon this one. It was March, 15th. So, I had a hard time realizing what was going on. I actually figured it out when I saw the second screenshot. Then I scrolled up and saw the date! :)

I sent this entry to my colleagues yesterday. It was fun to see how it works even after two years :D

]]> By: Justin Camerer http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala/comment-page-1#comment-3546 Justin Camerer Sun, 04 May 2008 03:46:01 +0000 http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala#comment-3546 I seriously thought you were crazy until I saw the comments and checked the date. I just discovered your blog and am really enjoying it. I seriously thought you were crazy until I saw the comments and checked the date.

I just discovered your blog and am really enjoying it.

]]> By: Daniel Spiewak http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala/comment-page-1#comment-3404 Daniel Spiewak Mon, 07 Apr 2008 05:02:00 +0000 http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala#comment-3404 lol Glad it was a worthy prank! The whole ASCII art for output was probably what gave it away. :-) lol Glad it was a worthy prank! The whole ASCII art for output was probably what gave it away. :-)

]]> By: HRJ http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala/comment-page-1#comment-3403 HRJ Mon, 07 Apr 2008 04:57:38 +0000 http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala#comment-3403 This is _evil_ I came here through a google alert on April 7th, and read seriously till about half-way through. This is _evil_

I came here through a google alert on April 7th, and read seriously till about half-way through.

]]> By: German B. http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala/comment-page-1#comment-3385 German B. Wed, 02 Apr 2008 02:16:52 +0000 http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala#comment-3385 The sad thing is for half the article I was wondering what the heck you're talking about. Then I remembered about the calendar and it all made sense, if you can call it that... :) The sad thing is for half the article I was wondering what the heck you’re talking about. Then I remembered about the calendar and it all made sense, if you can call it that… :)

]]> By: Jeff Heon http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala/comment-page-1#comment-3384 Jeff Heon Tue, 01 Apr 2008 18:08:23 +0000 http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala#comment-3384 Tsk! Tsk! You forgot to import the poisson distribution. There: import math.statistical.distribution.poisson._ Tsk! Tsk! You forgot to import the poisson distribution.

There:
import math.statistical.distribution.poisson._

]]> By: Daniel Spiewak http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala/comment-page-1#comment-3381 Daniel Spiewak Tue, 01 Apr 2008 17:34:37 +0000 http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala#comment-3381 No need for an educational license! In an attempt to spur (much needed) innovation in this field, I'm releasing all the code as open source. Feel free to download from the link and give it a try! No need for an educational license! In an attempt to spur (much needed) innovation in this field, I’m releasing all the code as open source. Feel free to download from the link and give it a try!

]]> By: Jacob Tabak http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala/comment-page-1#comment-3380 Jacob Tabak Tue, 01 Apr 2008 17:32:08 +0000 http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala#comment-3380 Do you sell an educational license for this? I would like to use it to verify correctness of my ML application suite that I developed for my senior thesis. Do you sell an educational license for this? I would like to use it to verify correctness of my ML application suite that I developed for my senior thesis.

]]> By: Daniel Spiewak http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala/comment-page-1#comment-3379 Daniel Spiewak Tue, 01 Apr 2008 17:15:32 +0000 http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala#comment-3379 Fortunately, this proof inference engine is self-contained. While there are plans to allow distributed deployments of the engine (to improve performance on more resource-intensive proofs), that is currently not implemented. Once it is though, you can be sure that RFC 2549 will feature prominently in the dispatch protocol, ensuring maximum throughput and optimal performance. Fortunately, this proof inference engine is self-contained. While there are plans to allow distributed deployments of the engine (to improve performance on more resource-intensive proofs), that is currently not implemented. Once it is though, you can be sure that RFC 2549 will feature prominently in the dispatch protocol, ensuring maximum throughput and optimal performance.

]]> By: Richard http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala/comment-page-1#comment-3378 Richard Tue, 01 Apr 2008 15:04:09 +0000 http://www.codecommit.com/blog/scala/algorithm-proof-inference-in-scala#comment-3378 One assumes this relies on RFC 2549? In which case how to do handle the non-availability of the highest QoS? Of course, management would call a halt to any such excess even if it were available. One assumes this relies on RFC 2549? In which case how to do handle the non-availability of the highest QoS?

Of course, management would call a halt to any such excess even if it were available.

]]>