absolutely-regular.blogspot.com
Absolutely Regular: Smart spam?
http://absolutely-regular.blogspot.com/2010/07/smart-spam.html
A math/computer science research blog. Wednesday, July 7, 2010. Occasionally I'll get comments that are clearly spam (since this blog is rarely updated, feel free to replace "occasionally" with "rarely"). Ordinarily, I delete them without a second thought. Two recent comments, however, gave me reason for pause. I am talking about this. These comments are a bit of a mystery to me. First, note that they are not only syntactically but also. July 7, 2010 at 11:00 AM. July 7, 2010 at 1:09 PM. Perhaps spammers...
absolutely-regular.blogspot.com
Absolutely Regular: A cheating Quine?
http://absolutely-regular.blogspot.com/2010/01/cheating-quine.html
A math/computer science research blog. Saturday, January 2, 2010. So I'm teaching a course on automata theory. A brief personal update: I've started a faculty position at BGU. Got married and had a baby - not in that order.). I want to teach the recursion theorem this week. The theorem states that no matter what Turing machine one is designing, one can always assume that it has access to its own description. After the great logician and philosopher Quine. Fid = fopen('quinecheat.m','r');. Str = strrep(st...
absolutely-regular.blogspot.com
Absolutely Regular: A silver bullet argument
http://absolutely-regular.blogspot.com/2009/12/silver-bullet-argument.html
A math/computer science research blog. Sunday, December 13, 2009. A silver bullet argument. So I just heard such an argument - all 9.5 minutes. Of it And I'm still not agreeing with the conclusion that drastic taxation and regulation is needed to stop global warming NOW. So. am I insane? Or could it be that the argument has holes? A major problem in his argument is that a global economic depression also would provoke the warfare and desperation that global warming would. December 13, 2009 at 5:03 AM.
absolutely-regular.blogspot.com
Absolutely Regular: December 2008
http://absolutely-regular.blogspot.com/2008_12_01_archive.html
A math/computer science research blog. Thursday, December 18, 2008. Back by popular demand. My anxious readership has been flooding me with emails, demanding to know if I'm still alive and why I quit blogging. (Just kidding. Is anyone still reading this thing? A good chunk of my time has been occupied by administrative activity (job search), as well as personal matters (both good and bad). I regularly attend two courses: one by Gideon Schechtman. And one by Itai Benjamini. Surprising should happen. I...
absolutely-regular.blogspot.com
Absolutely Regular: May 2009
http://absolutely-regular.blogspot.com/2009_05_01_archive.html
A math/computer science research blog. Sunday, May 17, 2009. Concentration of exchangeable processes. Having thoroughly embarrassed myself in the previous post, let me shoot for something half-way redeeming. Let X 1, X 2, . be a sequence of {0,1}-valued random variables. We say that the process {X i} is exchangeable. If every finite-dimensional joint distribution is invariant under the permutation of indices. The de Finetti. For a fascinating discussion). However, I claim the following:. P(f - Ef t) = ex...
absolutely-regular.blogspot.com
Absolutely Regular: June 2009
http://absolutely-regular.blogspot.com/2009_06_01_archive.html
A math/computer science research blog. Monday, June 1, 2009. A reverse Jensen inequality for exponentials. Let x 1, . x n be real numbers and t 1, . t n be nonnegative numbers summing to 1. A trivial consequence of Jensen's inequality is that. Exp(t 1 x 1 . t n x n). I claim that in the other direction, we have the following:. T 1 exp(x 1) . t n exp(x n). Where diam(x) = max i x i - min i x i is the diameter of {x 1, ., x n}. Unlike my previous goof-ups, I can actually prove this one.). Links to this post.
saha-haza.livejournal.com
Воображение, согласно иудазму, является частью животной души… - Во мне постоянно борятся женщина и програмистка
http://saha-haza.livejournal.com/34817.html
Воображение, согласно иудазму, является частью животной души - Во мне постоянно борятся женщина и програмистка. Nov 15th, 2009 11:13 am. 2009-11-15 09:37 am (UTC). Та же проблема. :). 2009-11-15 02:37 pm (UTC). Эх, Ленок, мы с тобой известные близняшки по характеру :) И когда ты уже вернешься, мне нужно смотреться в тебя как в зеркало :) Кстати рав Кушнир говорил, что у животных как раз есть воображение, я сама удивилась, но факт. 2009-11-15 02:42 pm (UTC). Нифига себе, сколько ты пишешь в ЖЖ! Это не зав...
absolutely-regular.blogspot.com
Absolutely Regular: Ode to my students + moralizing
http://absolutely-regular.blogspot.com/2010/01/ode-to-my-students-moralizing.html
A math/computer science research blog. Wednesday, January 13, 2010. Ode to my students moralizing. First, two tales of hubris and folly. The recursion theorem. Was a big success with my students. We don't usually teach it in this course, but my students went through the standard material like pie and were hungry for more. Other than a ridiculously easy proof of the undecidability of the halting problem, the recursion theorem yields a slick proof that L min is not in RE. Produced a correct proof. Subscrib...
absolutely-regular.blogspot.com
Absolutely Regular: Show that L_min is not in coRE
http://absolutely-regular.blogspot.com/2010/01/show-that-lmin-is-not-in-core.html
A math/computer science research blog. Saturday, January 9, 2010. Show that L min is not in coRE. So I taught the recursion theorem and showed (as in Sipser. That the language L min, consting of all minimal Turing machine descriptions, is not recursively enumerable. Now I want to show that L min is not in coRE (meaning that its complement is not in RE). This has turned out to be quite a bit trickier, at least for me! I believe I have a proof, but I welcome solutions from the readers. Who are these people?
absolutely-regular.blogspot.com
Absolutely Regular: July 2010
http://absolutely-regular.blogspot.com/2010_07_01_archive.html
A math/computer science research blog. Wednesday, July 7, 2010. Occasionally I'll get comments that are clearly spam (since this blog is rarely updated, feel free to replace "occasionally" with "rarely"). Ordinarily, I delete them without a second thought. Two recent comments, however, gave me reason for pause. I am talking about this. These comments are a bit of a mystery to me. First, note that they are not only syntactically but also. Links to this post. Subscribe to: Posts (Atom). Weizmann Math and CS.
SOCIAL ENGAGEMENT