daoudc

19 ms·

1. 181.▲
   Programming in higher order logic - tutorial(users.cecs.anu.edu.au)

   1 points by daoudc 15y ago|0 comments
2. 182.▲
   A framework for compositionality in distributional semantics(mitpressjournals.org)

   1 points by daoudc 15y ago|0 comments
3. 183.▲
   by daoudc 15y ago

   I've collected what I think are the most important files. They compress very well because they seem to be very inefficiently stored (lots of repetition). The compressed collection is now on github.
4. 184.▲
   Warton Legacy: missing data files(github.com)

   1 points by daoudc 15y ago|0 comments
5. 185.▲
   by daoudc 15y ago

   Yes, it seems to contain a lot of prime numbers (36,500 to be precise). I haven't uploaded any data files since the total size is 3Gb.
6. 186.▲
   by daoudc 15y ago

   I have the files but I haven't uploaded them as they are very big. I imagined one of the other programs would create the files, but I've yet to discover it. I believe these files are precomputations that are meant to speed up the algorithm.
7. 187.▲
   by daoudc 15y ago

   I added this - my uncle was not religious.
8. 188.▲
   by daoudc 15y ago

   I'm hoping to get both of these. It needs some collaboration with my family to do it properly.
9. 189.▲
   by daoudc 15y ago

   Thanks for investigating this. I'd be grateful if you could make the changes you made to get it to compile available.
10. 190.▲
    by daoudc 15y ago

    He didn't publish any papers that I'm aware of, and he wasn't associated with an institution. I'm hoping to write a short biography at some time.
11. 191.▲
    by daoudc 15y ago

    Thanks for the suggestion, I will explore this.
12. 192.▲
    by daoudc 15y ago

    To be honest, most of the time I didn't have a clue what he was talking about, and I was by far the most mathematical of the family! He wasn't a great teacher, but he was certainly an inspiration. And apart from all this, he was a great unc
13. 193.▲
    by daoudc 15y ago

    There is a year or two of work on top of the documentation I have included. Also, I think it is likely that there are some incremental improvements to the existing algorithms that my uncle put in place without necessarily documenting. Whils
14. 194.▲
    by daoudc 15y ago

    That's a good question, and I'm not entirely sure of the answer. I'm pretty sure my uncle believed it did, but I'm not sure how in touch he was with the state of the art, as he didn't use the internet. His idea of research was photocopying
15. 195.▲
    My uncle's factorization algorithms(github.com)

    420 points by daoudc 15y ago|51 comments
16. 196.▲
    Opportunity in text mining and data visualisation at Gorkana Group (London)

    1 points by daoudc 15y ago|0 comments
17. 197.▲
    Prediction of X Factor results by analysing social media(xfactortracker.com)

    2 points by daoudc 15y ago|0 comments
18. 198.▲
    by daoudc 15y ago

    The point about a quantum leap is that it is discrete, rather than continuous, so, for example, a "quantum leap in understanding" implies a progress in understanding that cannot be broken down into a progression of small increments of under
19. 199.▲
    Backup Facebook data with a Firefox addon(addons.mozilla.org)

    2 points by daoudc 15y ago|0 comments
20. 200.▲
    by daoudc 15y ago

    This is similar to what I was once told is the foundation of the Islamic sciences: logic, linguistics and rhetoric. These are essentially the "meta" sciences, which teach you how to think.
21. 201.▲
    by daoudc 15y ago

    Presumably there's no reason why an optimising compiler couldn't make use of extra registers.
22. 202.▲
    by daoudc 15y ago

    Ouch. Yes, I clearly remembering being taught that Physics is approximation.
23. 203.▲
    by daoudc 15y ago

    Isn't this the wrong way round? You get the 404 page if either they broke something or you can't type.
24. 204.▲
    Automated Theorem Proving course notes [pdf](cs.cmu.edu)

    1 points by daoudc 15y ago|0 comments
25. 205.▲
    by daoudc 15y ago

    I think PhDs are an end in themselves, not a means to an end I agree completely. I advise people to only do a PhD if they'll be doing what they love. It's the one chance you get to do exactly what you want, so make it good. EDIT: one chan
26. 206.▲
    by daoudc 15y ago

    At worst, BitCoin at this point is a scam where people who got involved with it early who are sitting on lots of BitCoin need to keep up a level of interest to cash out BitCoin for coin, as the curious poke around with it. Like any curren
27. 207.▲
    by daoudc 15y ago

    You're right - I talk about how to incorporate logical representations in my thesis, but the reviewers asked me to remove it as it wasn't complete enough. We had some more thoughts about the correct way to do this in this paper: http://hom
28. 208.▲
    by daoudc 15y ago

    This is a distillation of my Phd work which I completed about four years ago. Any comments appreciated!
29. 209.▲
    A framework for vector-based natural language semantics(arxiv.org)

    34 points by daoudc 15y ago|7 comments
30. 210.▲
    by daoudc 15y ago

    Thanks - I didn't know it had already been submitted. I thought dups could only be avoided by extending the url...