ionfish

21 ms·

1. 151.▲
   by ionfish 16y ago

   Be warned that the term 'overview' is apt. In particular the section on philosophy of mathematics is extremely brief, and misses out many important positions and issues in contemporary philosophy of mathematics. A better survey appears in t
2. 152.▲
   by ionfish 16y ago

   1500s, surely—James I was crowned in 1603, thus inaugurating the Stuart period. If one wanted to be especially fussy, one might identify the Tudor period as starting in 1485 (when Henry VII was crowned King of England following his victory
3. 153.▲
   by ionfish 16y ago

   Yes, that's right. Infix function names (anything made of symbols or delimited by backticks) are allowed on the LHS of a defining equation. An alternative syntax for this function would be this: (|>) f x = f x The parentheses j
4. 154.▲
   by ionfish 16y ago

   For functions of one argument that's easily enough defined in Haskell. x |> f = f x
5. 155.▲
   by ionfish 16y ago

   "A great place to find some legit quiet time is in departmental libraries." This has been my experience too. My current favourite is the Earth Sciences library. It's in one of the older buildings in my university, so the whole place has a m
6. 156.▲
   by ionfish 16y ago

   One of the strange things I've always found in Safari is that while some sites break Cmd+click (to open in a new tab), if you use the menu (right click > Open Link in New Tab) then that will work just fine.
7. 157.▲
   by ionfish 16y ago

   I don't think you can blame the templating system when the plugin system is vulnerable to precisely the same issues, namely arbitrary code execution—except, of course, that the attack profile is so much broader for plugins since people will
8. 158.▲
   by ionfish 16y ago

   Not to mention that even if they haven't been explicitly released under the GPL, they are derivative code upon a GPL-licensed piece of software and thus GPLed themselves.
9. 159.▲
   by ionfish 16y ago

   Here's one example of this kind of phenomenon. If you really want to understand a question, write a paper about it. It's easy enough to read five or ten research papers in an area, and if you do that thoroughly, and write extensive notes as
10. 160.▲
    by ionfish 16y ago

    I just added text-shadow:none to my user stylesheet alongside that wretched font 'smoothing'. * { -webkit-font-smoothing: inherit!important; text-shadow: none!important; }
11. 161.▲
    by ionfish 16y ago

    We could just throw away these short hands and just [use] integers, positive integers, negative integers. This depends on who you consider "we" to be. If we're talking about computer programmers, in most languages integers are
12. 162.▲
    by ionfish 16y ago

    This is known as the paradox of entailment and is part of the reason why people find material implication so weird sometimes. A desire for non-explosive negation is one motivation for using paraconsistent logic. http://plato.stanford.edu
13. 163.▲
    by ionfish 16y ago

    This wouldn't be a problem if people would stop thinking that the natural numbers start at 1.
14. 164.▲
    by ionfish 16y ago

    I imagine most PHP programmers have at least installed a package like XAMPP on their development machine, even if they haven't compiled their own PHP binary.
15. 165.▲
    by ionfish 16y ago

    One of the interesting recent developments in Haskell testing is the creation of automated proof tools for Haskell programs. Will Sonnex presented Zeno [1] at AngloHaskell 2010, and while it still has limitations in terms of the language fe
16. 166.▲
    by ionfish 16y ago

    Two Haskell compilers (UHC and YHC) have JavaScript backends which convert their core languages to JS. I've added them to the wiki page.
17. 167.▲
    by ionfish 16y ago

    That's right. It is nice for DSLs though! http://beastaugh.github.com/stylish/ruby19.html
18. 168.▲
    by ionfish 16y ago

    It's more problematic for those that include Ruby extensions in C, but fixing a library to make it 1.9-compatible is not generally that onerous a task (the major exception to this is string encoding, which is fine in simple cases but a comp
19. 169.▲
    by ionfish 16y ago

    Back in 2006 I released a WordPress theme based on my website design, called Tarski. Since then it's been through a lot of versions and many of the features it pioneered (custom headers; alternate stylesheets; navbar selector; update notfic
20. 170.▲
    Video lecture series on programming languages and formal reasoning(cs.uoregon.edu)

    74 points by ionfish 16y ago|4 comments
21. 171.▲
    by ionfish 16y ago

    Thanks, that's handy to know. In a bizarre coincidence I was in the middle of setting up a company when I saw your article.
22. 172.▲
    by ionfish 16y ago

    If you're in the UK, Companies House have a web page that explains the basics of setting up a limited company. http://www.companieshouse.gov.uk/infoAndGuide/companyRegistr... You can also use their WebCHeck service to find out whether the
23. 173.▲
    by ionfish 16y ago

    I think that would be a very valuable article. Right now people are basically stuck with TAPL [1], which (while being a fantastic book) is pretty meaty and not exactly cheap. I've been examining the type theory literature myself over the la
24. 174.▲
    by ionfish 16y ago

    A few weeks ago I was in a maths lecture, and the lecturer was, as is fairly standard, writing proofs from his notes as he went. He then mentioned one of the exercises, explained the proof strategy for it, and then started to actually write
25. 175.▲
    by ionfish 16y ago

    Set theory is generally accepted as a better foundation for mathematics than Principia 's type theory, but if you wrote all those ZFC proofs with full formality they'd be pretty long too. This answer on Math Overflow is pretty indicative.
26. 176.▲
    by ionfish 16y ago

    Robert Constable gave a talk at the recent Principia Mathematica anniversary symposium [1] about its impact on computer science; the text is available online. [2] (There was a recent thread on all this. [3]) [1] http://www.srcf.ucam.org/
27. 177.▲
    by ionfish 16y ago

    Obviously that's fine for your use-case where the querySelector function is available, but it wouldn't work e.g. on Internet Explorer. My version is also more robust when dealing with markup errors, i.e. when there's more than one viewport
28. 178.▲
    by ionfish 16y ago

    Just for you: https://gist.github.com/725354
29. 179.▲
    by ionfish 16y ago

    To my mind there are several explanations for this phenomenon. Firstly, writing in mathematics is generally more graphic than programming, which is linear, although of course, mathematical writing can be expressed linearly (in TeX!). Second
30. 180.▲
    by ionfish 16y ago

    Which of these Haskell examples do you prefer, then? filter even xs filter (\x -> even x) xs