chalst

47 ms·

661.
by chalst 6y ago
Clusters are affordable, given that cloud hosting is a commodity now. Digital Ocean, for instance, charge nothing for traffic between nodes if they are hosted at the same data centre. Julia, in particular, has the interesting-looking JuliaH
662.
by chalst 6y ago
How would you distribute "Jack and Jill play together."? If you start introducing prepositions, then your theory of "and"-expansion is going to get quite complex as it covers more and more cases.
663.
by chalst 6y ago
This is correct. The technical word linguists use for the role words like "and" play is coordination. https://en.wikipedia.org/wiki/Coordination_(linguistics)
664.
by chalst 6y ago
Aren't bespoke motherboards going to be rather expensive for hobbyists?
665.
by chalst 6y ago
This is a good explanation. I just have one quibble: the school of constructivism that Andrej follows is not the only one; there is a Russian school that accepts Markov's principle, which is essentially the logical counterpart of the i
666.
by chalst 6y ago
On his interpretation of constructivism, there are no mathematical constructions that are in principle non-computable. The proof that a function satisfying the property of "busy-beaverness" couldn't be computed thus is proof
667.
by chalst 6y ago
Smaller, yes: if a TM uses n bits of space, its execution time can exceed any polynomial of n in steps. But any such space-bounded deterministic computation that takes 2^n steps will not terminate, by exhaustion of possible state transition
668.
by chalst 6y ago
Andrej Bauer: Is it just me, or is the busy-beaver function a figment of classical mathematics? https://twitter.com/andrejbauer/status/1327670607824252928
669.
by chalst 6y ago
A less upbeat view of the story reported at https://news.ycombinator.com/item?id=25337553
670.
Uber Pays $400M to Ditch Self-Driving Cars(wordsanddeedsblog.com)
2 points by chalst 6y ago|1 comments
671.
by chalst 6y ago
Quite a few of the properties a run of text might have are not controlled by styles, and Format Painter makes gives a uniform format for all the selected text: if you go this route, you still might have lots of hand reformatting to do. The
672.
by chalst 6y ago
Currently prevailing constitutional law is that the right to privacy is an unenumerated right, one that is not explicitly set out in the Constitution but follows from common law and what the Constitution does say, especially the 4th and 5th
673.
by chalst 6y ago
> However hot Word tip of the century is, and has always been, put all images inside a text box, they'll behave the way you expect then, and behave bizarrely otherwise. This points to the real criticism of Word: that its internal re
674.
by chalst 6y ago
I wish there was such a tool creating Metapost code. Metapost output is much more readable than pstricks and far, far faster than TikZ. And FWIW, it's what Knuth uses.
675.
by chalst 6y ago
> You have more choices available than either climbing the corporate ladder or sitting on the couch watching Netflix I think you are taking this point too literally. The question is: what proportion of your life are you spending pursuing
676.
Interview by FT Alphaville with David Gerard on the Crypto Market(davidgerard.co.uk)
12 points by chalst 6y ago|0 comments
677.
by chalst 6y ago
The prediction was that peak oil (i.e. the maximum rate of oil extraction) would happen in 2000. For conventional oil, this was not far off: production peaked in 2005 and has been in decline since. What the prediction missed is that we woul
678.
by chalst 6y ago
You don't need Turing completeness to mine.
679.
by chalst 6y ago
This is the PhD dissertation of one of the authors of that article.
680.
by chalst 6y ago
For writing code with IDE support, your comments about named vs positional parameters are spot on. But when it comes to reading code, an IDE should not be assumed and there is no problem with looking up well-named parameters. For something
681.
by chalst 6y ago
It is possible to check type coverage for dynamically typed languages, if the compiler/interpreter has enough type information to infer what types need coverage. In the case of multimethods, Julia's compiler is given this informat
682.
by chalst 6y ago
Two thoughts: For this problem, I would use union types in Julia. Union types are a sort of sum, but they are amalgamated sums whilst sums types in PL semantics usually means disjoint sums. The difference is that disjoint sums 'mark&#x
683.
by chalst 6y ago
OCaml is the strongly-typed functional language that sees most serious use. It's harder to do generic polymorphism in OCaml since the language has nothing like C++'s parametric templates or Haskell's type classes. It does hav
684.
by chalst 6y ago
There's a djVu ebook of it on Z-Library.
685.
by chalst 6y ago
That book was published in 2005, so I guess they will not be close competitors.
686.
Google AMP's rewriting of content is breaking NYT pages(twitter.com)
3 points by chalst 6y ago|0 comments
687.
by chalst 6y ago
Your explanation ignores the difficulty tall women face finding partners in wealthy countries and so addresses only part of the data. E.g., "In western postindustrial cultures, taller women tend to have less reproductive success (RS) d
688.
by chalst 6y ago
My understanding is that very short men are handicapped by not wanting to face the stigma associated with being shorter than their partner, and that tall women face a comparable difficulty finding partners. The issue here is not so much tha
689.
by chalst 6y ago
It is true that what Google judges to be best search quality is not the best for the world.
690.
by chalst 6y ago
I think Google's invasion of privacy can be regarded as a kind of "symbiotic parasitism" - they are able to leverage the information they harvest from you to improve search quality. A proxy won't give as good results as

More ›