Chirono

12 ms·

91.
by Chirono 15y ago
Further, time doesn't exist. Not in the classical sense... If you are on a ship traveling close to c, the rate of entropy in the matter and energy on your ship is lower than the outside universe. That's why time seems slower. Not trying t
92.
by Chirono 15y ago
If you want to give something like that a go, then a good place to start is by modifying or adding to an existing compiler. It will give you some exposure to other peoples code too and a good place to start - you'll always have something wi
93.
by Chirono 15y ago
It looks like this is for a Bachelor's degree at the university of Gothenburg. From the abstract of the project report[1]: Development of large web based applications using scripting languages such as PHP or JavaScript can be difficult giv
94.
by Chirono 15y ago
Strangely enough, this isn't actually true! Ok, so it is true that if you were to go through one by one and label some real numbers with natural number, you would never run out. But the interesting thing comes when you start with the assump
95.
by Chirono 15y ago
Haskell's module system isn't very advanced. In fact, it about as simple as it could get. This is pretty well known known and there are proposals floating around to add more advanced features. But there generally isn't much need and, as you
96.
by Chirono 15y ago
Compilers are amongst the most complex programs that get written and exist at a sort of theoretical/practical junction. Compilers attract both academics, for the theory, and low-level hackers who want their language to be as fast as possibl
97.
by Chirono 15y ago
Dependent typing has some interesting things to say about modules, or lack thereof. Cayenne[1] is a functional language that doesn't have modules as its type system is expressive enough to cope with the necessary encapsulation -- you can cr
98.
by Chirono 16y ago
Well, that's not strictly true. There have been plenty of societies that have collapsed in the past, if not ones of which we have been a part. Noting that our society hasn't collapsed so far and using that to infer that opinions like this h
99.
by Chirono 16y ago
That is incredible.... And he does it without any sort of magnifying glass. Wow.
100.
by Chirono 16y ago
It's strange how I read that as `hypothesizes` first time through, without noticing that it said something completely different...
101.
by Chirono 16y ago
I didn't know that there was more than one group, thanks. I knew that the contributors changed over time but not that there where several groups. Either way, their work has been very useful.
102.
by Chirono 16y ago
I really like the idea of "proof by wiki" that the author mentions. It had some success with the polymath proof of the Hales-Jewett theorem a while back ( https://www.hypios.com/thinking/2010/01/13/massively-collabo... ). Along a similar ve
103.
by Chirono 16y ago
The article is coming true! Look, this comment was telling me new things that I didn't know about google and what's happened? It's been censored from me by people (no doubt some sort of google maffia) "burying" it.
104.
by Chirono 16y ago
This is always rather ambiguous terminology. For some people, it makes no sense for thing a to be more than 100% faster than thing b. Other people see it clearly meaning that thing a take half the time of thing b. What we really want to mea
105.
by Chirono 16y ago
Odd sort of graph at the top, comparing data to number of transistors in completely different units and without any scale... Does anyone have more detail about what they mean by "data is growing faster than processing power"? Which data?
106.
by Chirono 16y ago
How do you do the formatting like that?
107.
by Chirono 16y ago
Exactly what I thought. Here are the first 30 complete with terrible formatting: UPR8011 Centre d'Elaboration des Matériaux et d'Etudes Structurales 187.36 J. Craig Venter Institute 70.09 Sri Lanka Press Institute 56.33 European Molecular B
108.
by Chirono 16y ago
Although you eliminate null pointer exceptions, lazy evaluation does introduce another subtle and very similar class of errors. Consider a program that takes a leaf-labelled tree of Ints and replaces each int with the maximum found in the w
109.
by Chirono 16y ago
The thing is, that Godel's theorem is provable. So by your definition, it is true. The usual definition of false is not "I can't prove it's true" as that is pretty hard to decide. Suppose I have a statement S that I can't prove. Is it fals
110.
by Chirono 16y ago
Thanks, that makes sense. When you add to that the internet's characteristic does of indignant shouting about anything and everything, than I can start to see why these reactions are coming up. My grasp of facebook privacy has always been
111.
by Chirono 16y ago
That seems rather over the top. I can't really see this ruining anybody's life. It isn't letting me search for specific peoples comments. I don't know any of these people, nor am I likely to meet them. This website reminds me of being out
112.
British Election Results in Hung Parliament(news.bbc.co.uk)
29 points by Chirono 16y ago|77 comments
113.
by Chirono 16y ago
Indeed. You're correct. But this does show NP-completeness. A rather incredible theorem is the Cook-Levin theorem which states that any problem that can be verified in polynomial time can reduced to an instance of sat SAT (in polynomial tim