tgflynn

21 ms·

211.
by tgflynn 4y ago
I don't have experience with using Julia in really large code bases but my intuition has always been that the combination of these design characteristics in one language: - easy unrestricted composability - lack of well-defined interfa
212.
by tgflynn 4y ago
It looks like I missed a parenthesis.
213.
by tgflynn 4y ago
Thanks. It looks like all I needed was the project file. I was confused because when I followed the instructions to run dune init it created an entire directory structure and then I was confused about where my code should go (I haven&#x27
214.
by tgflynn 4y ago
Usually when people claim that a computer can be conscious they're claiming that consciousness is a possible property of the software that the computer is running, because that is where the non-trivial functionality is defined. In your
215.
by tgflynn 4y ago
I don't know what a "soul" is or even if there is such a thing but if you're asking if a computer program can have conscious experiences then my answer is no. The reason simply stated is that computations are abstract,
216.
by tgflynn 4y ago
> It has no performance or coding benefit for teams larger than a few. That must be why Jane Street uses it then.
217.
by tgflynn 4y ago
It doesn't appear from your link that the course materials are available online though.
218.
by tgflynn 4y ago
No, I think this: Result_set.t list means a list whose items are of type Result_set.t. Also I think the notation X.t is idiomatic for a type defined by module X.
219.
by tgflynn 4y ago
This is a very specific question but I thought I'd ask it here on the chance someone might have a good answer. I've been slowly working my way through this course and I ran into an issue recently when I upgraded my OCaml installat
220.
by tgflynn 4y ago
I don't think I've ever seen anyone seriously argue against the claim that strong typing systems at least prevent many types of bugs. Now people may think that they are more productive in a language with weak types but that'
221.
by tgflynn 4y ago
From what I've seen of Rust though it adds its own brand of complexity due to its basic requirement for maximal efficiency which precludes having a garbage collector. I don't think I would want to use Rust unless I really needed a
222.
by tgflynn 4y ago
It doesn't look so bad to me. It's telling you that a list type was expected but you passed it a function that returns a list instead. You're right though that OCaml isn't the kind of language you can pick up in an afte
223.
by tgflynn 4y ago
Browsers solve the compatibility problem (ie. write once run everywhere) and they do it better than any other technology that has yet been devised. Java tried to do that back in the 90's with Applets but it never really caught on. I d
224.
by tgflynn 4y ago
You'd think though that the people who actually lived in Bactria and had direct contact with the Greeks would have called them by names closer to those they used for themselves.
225.
by tgflynn 4y ago
I find the question of possible influences of Buddhism and perhaps other Indian traditions on Classical Greek, Hellenistic and maybe even early Christian thought to be a fascinating subject, but as far as I know only the sparsest documented
226.
by tgflynn 4y ago
What I found surprising from this article is the implication that Alexander the Great and the kingdoms that arose from his empire were considered Ionian. I thought that Ionian referred specifically to people of Greek culture who lived in W
227.
by tgflynn 4y ago
Hmm, I'd always assumed that most of the energy from burning natural has came from the oxidation of the carbon, not the hydrogen, but maybe that's not the case.
228.
by tgflynn 4y ago
Please don't use color schemes that reduce the contrast between text and background. It makes your content more difficult to read for at least some of us.
229.
by tgflynn 4y ago
> But the biggest reduction in CO2 emissions during the past 15 years (over 60%) has come from switching from coal to natural gas. Can someone explain the chemistry of this ? I thought perfect combustion produces CO2 and that burning na
230.
by tgflynn 4y ago
I don't think there's much point in continuing this thread since we obviously have very different ways of conceptualizing reality. I will say one more thing however: I never said that abstractions cannot affect the physical world,
231.
by tgflynn 4y ago
I'm not really clear on how to find out what issues have currently active bounties attached to them. I followed some links to this github query: https://github.com/urllib3/urllib3/issues?q=is%3Aopen+is%3Ai...
232.
by tgflynn 4y ago
If you say that there is a property X of computation that occurs independently of how the computation is actually carried out, whether it's by a current generation CPU, hydraulics, lego blocks, someone writing values and following inst
233.
by tgflynn 4y ago
Part of the problem is that people tend to use words very loosely. In particular they often use words that anthropomorphize computers and when they use such words its hard to tell whether they intend for them to be taken literally or are j
234.
by tgflynn 4y ago
You seem to be having a lot of trouble grasping the concept of abstraction, which is absolutely fundamental to what we are talking about. Mathematics, logic and computer science study abstractions, they do not study physical things. The m
235.
by tgflynn 4y ago
How would you know that you hold belief X if you have no subjective experience ? To have the knowledge that you believe X you must experience the thought "X is true" and that is a subjective experience.
236.
by tgflynn 4y ago
There are many things one may be deluded about but the fact that one's subjective reality is not empty is not one of them.
237.
by tgflynn 4y ago
> As far as I can tell it would have to be some physical process that affects the behaviour of a computational system, but isn't computational and it's effects on other systems cannot be simulated by computation. I mean no phys
238.
by tgflynn 4y ago
> I've just no idea what non-computational elements it might have that couldn't be substituted by computational ones or just peripheral components. Neither does anyone else but the point is that once you accept that such "
239.
by tgflynn 4y ago
I said "non-abstract" to prevent a claim along the lines of: computation is sufficient to produce consciousness but it needs to actually run to do it and that invariably requires implementing the computation on some physical syste
240.
by tgflynn 4y ago
What if you take something more concrete than "redness", like pain ? Let's say you stub your toe or burn your finger. In that moment is there any room for doubt that pain exists ?

More ›