wbhart

56 ms·

481.
by wbhart 15y ago
Note that the bound (as given in the paper) is now even better than the one mentioned in this blog (and the title). This is of course huge news after twenty years of people trying to crack this. You need matrices of dimension 1.66x10^91 bef
482.
New programming jargon(stackoverflow.com)
5 points by wbhart 15y ago|0 comments
483.
by wbhart 15y ago
I will personally be surprised if Wikileaks launches a new submission system tomorrow. According to a recent Wikileaks press release: "WikiLeaks is building a state-of-the-art secure submission system. Constructing the system is very comple
484.
by wbhart 15y ago
According to their twitter feed, if you increase your purchase to $10 then you can get FLACS. They also added torrents cause someone wanted that. Apparently they are just that awesome.
485.
by wbhart 15y ago
Hi Zircon, thanks for those answers! I do think that some of that information could be woven into your main page without raising the complexity of the page substantively. But of course those were all just questions that immediately rushed i
486.
by wbhart 15y ago
The marketing leaves me with many questions. I suspect this could be a very successful drive if it answered some of those questions. Here are some that spring to my mind: What are the stats on what other people have been paying, or am I the
487.
More climate emails(asiancorrespondent.com)
3 points by wbhart 15y ago|0 comments
488.
by wbhart 15y ago
It was called YouOS. I think the company was WebShaka, which according to their web page either was or is funded by YC. http://www.youos.com/ I liked this project quite a bit. Actually, I'm not sure if it was fully Open Source or not. But
489.
Journey from Victoria to Endeavour crater(nasa.gov)
2 points by wbhart 15y ago|0 comments
490.
by wbhart 15y ago
Quite a few years ago I remember there was a browser Desktop based on Javascript. Critically, it was Open Source and initially quite a lot of people logged on and got involved. The main reason so many people were initially interested is bec
491.
by wbhart 15y ago
I don't think I can do that sorry. I'd have to talk about more than US Immigration. In particular I'd have to talk about two institutions which had nothing at all to do with the problems I experienced. I don't want to repeat the nonsense th
492.
by wbhart 15y ago
Your sense of humour probably tipped them off about the knife, not the techonogical equipment or the enhanced grope test. I'm sure they were very threatened by meeting a socially well-adjusted person. The bottle of water didn't cause me any
493.
by wbhart 15y ago
There's no information here about whether the algorithm has successfully identified videos that will go viral before they actually do. I have a very simple algorithm with one criterion. Look at the number under the youtube video. If it is v
494.
by wbhart 15y ago
I was not fearing being locked up for anything that happened that day as I clearly did nothing wrong. And there was no requirement for me to subsequently report the problems with this technology as the operators had that duty themselves, be
495.
by wbhart 15y ago
Because they asked me whether there were any liquids in my bag before I put it into the scanner. I initially answered no. When the bag was already through the scanner I remembered I hadn't actually taken the bottle out of the bag. I hadn't
496.
by wbhart 15y ago
Now that the rotten things have been banned, I can tell my story without fear of being locked up. I went through a body scanner on a trip within Europe about a year or two ago. There was no random selection, they were just forcing everyone
497.
by wbhart 15y ago
I'm sorry, I'm completely lost. So now you are trying to tell me the universe may not have been the beginning, but that it did not come from anything. You are aware of the scientific issues with the cyclical universe model I take it? There
498.
by wbhart 15y ago
Ah, I see that you do believe that the universe came from nothing. You say that the universe is and that it came from nothing. That means you believe the existence of the universe is not contingent, which implies its existence is necessar
499.
by wbhart 15y ago
Do you believe the universe came from nothing? I find that absurd. I do not see what is absurd about the statement "nothing begets nothing". By the way, you attacked the premise, not the logic of the argument, which is not what you claimed
500.
by wbhart 15y ago
Can you explain how the existence of a first cause can be contingent?
501.
by wbhart 15y ago
Interesting. In [1] he claims that languages with a nominal type system cannot have global type inference. Yet Nemerle claims to have both.
502.
by wbhart 15y ago
Apparently it's Hindley-Milner type system or Damas-Milner type inference. I didn't know that myself until I watched the video.
503.
by wbhart 15y ago
You mean that Haskell has one of the most complex of the practical type systems known to man. For example (correct me if I am wrong) but the Haskell type system does not allow specification of dependent types (though dependent typing can be
504.
by wbhart 15y ago
A lot of mathematics is based on sets, whereas sets and types are not formally the same thing. Some mathematicians are trying to formulate a basis for mathematics in type theory. For example, there is the Univalent Foundations of mathematic
505.
by wbhart 15y ago
If all that exists is God and his creation, then it is enough to state that God determines his own will (i.e. has free will) and that he has all power with relation to his creation. No force, whether moral, physical, spiritual or temporal
506.
by wbhart 15y ago
Omnipotence means God has limitless power (or better, his power cannot be improved), not that he can do anything, whether logically impossible or not. This argument is a cavil, not a sound philosophical argument. Consider the set of natural
507.
by wbhart 15y ago
Nothing, if you are not a philosophical dualist.
508.
by wbhart 15y ago
I don't understand how your model hopes to capture any of the essential features of God as known to academic philosophers. You mention Godel incompleteness, but this only applies to sets of axioms which can be generated algorithmically. Fur
509.
by wbhart 15y ago
Macros are for hiding common patterns in your code. Instead of typing out a given block of code mutatatis mutandis every time you need to use a slight variation of it, you code up a macro for it and just call the macro each time. They work
510.
by wbhart 15y ago
This is a significant breakthrough. Scala is once again showing the way forward. Instead of having ad hoc macros (which everyone knows are bad), Scala macros don't change the syntax of the language. Thus they are no more difficult to come t

More ›