ludston

13 ms·

151.
by ludston 3y ago
Yes? Take any natural or real number. If it has no decimal point add one. Then append any digit. Repeat as necessary.
152.
by ludston 3y ago
> So in what sense is either one longer? Neither. That's my point. Literally any definition of something infinite can always be reduced to a procedure that recursively transforms or observes some prior state. To say that one of thes
153.
by ludston 3y ago
A potentially infinite universe is also potentially finite? I.E. There is not sufficient evidence to determine that it is infinite since we are only able to make observations of a finite distance?
154.
by ludston 3y ago
So what you're trying to say is that he has infinite apples?
155.
by ludston 3y ago
Nah, infinities don't exist. There are just recursive procedures that emit ever-increasing numbers of digits with no bounds checking. The diagonal proof is just arguing that two nested while(true) loops will run for longer than one. (A
156.
by ludston 3y ago
It's another example of bikeshedding.
157.
by ludston 3y ago
What? Why would they? Digital piano sounds still can't reproduce the richness of dynamics and texture of an acoustic piano. Practising on a digital keyboard and then performing on a real piano is jarring enough, let alone using an inst
158.
by ludston 3y ago
Wisdom is to know yourself. Hubris is the belief that your accomplishments and skills are greater than they are. Are these not mutually exclusive?
159.
by ludston 3y ago
Copyright/trademark infringement though.
160.
by ludston 3y ago
I mean it only takes an afternoon if you're just making it for yourself.
161.
by ludston 3y ago
It's quite a different from the analogy you suggest, as copilot is controlled by a single organisation and we know the address.
162.
by ludston 3y ago
Exactly. It's no skin off your nose. Which is why I don't understand the drive of commenters who try to take skin off the nose of the maintainers by bashing their free product.
163.
by ludston 3y ago
Usually when there is a post on HN about some open source project with a GUI there is a deluge of comments complaining about it for one reason or another. Even though it's free. I don't understand why. Gimp is a wonderful piece of
164.
by ludston 3y ago
It's pretty concerning that there are users on this platform operating like this given what it could imply.
165.
by ludston 3y ago
Why are there two replies to you with the same content but two user names?
166.
by ludston 3y ago
> And that part can be "design." It's those design choices that are subject to all of the dilemmas that necessitate schools of thought such as those in "A Philosophy of Software Design". The mathematics hasn&#x27
167.
by ludston 3y ago
I think I do understand your argument: In your view a formal theory has a level of rigour and evidence that exceeds that of a "best practice" such as SOLID. And I agree with that, but the point is that writing code based on formal
168.
by ludston 3y ago
Ad hominem and an argument from authority in one breath. Or to summarize: Irrelevant.
169.
by ludston 3y ago
Formal theories are not independent of belief at all! They are based upon axioms, which are the beliefs that must be true in order for the formal theory to be useful.
170.
by ludston 3y ago
Yes probably. The only real difference between an opinion and a philosophy are the number of people that believe it.
171.
by ludston 3y ago
Mathematics and science can both be viewed as very fleshed out and practical branches philosophy, so they certainly aren't mutually exclusive.
172.
by ludston 3y ago
But don't forget that there are two reasons why something will not be obvious: It may not be obvious because the meaning is obfuscated, or it may not be obvious because it relies on the reader understanding certain ideas, concepts or t
173.
by ludston 3y ago
The problem is that the industry standard of banking is eventually consistent. Whilst having atomic transactions is necessary, it's not sufficient: Using banks as a teaching metaphor for RDBMS systems is like using animals as a teachin
174.
by ludston 3y ago
From a purely profit focused standpoint, these jobs should very rarely exist. And yet, due to other incentives they do. E.g. because the owner might like being greeted on their way to work.
175.
by ludston 3y ago
Traditionally they'd be called "elevator operator" or "doorman" or some equally mundane/superfluous job.
176.
by ludston 3y ago
Whilst business owners have a financial incentive not to employ people, there are competing incentives. For example, non-owners are incentivised to have more people reporting to them because it increases their status and status is usually c
177.
by ludston 3y ago
It's a deceptive example because banks are distributed systems (in that they interoperate with other banks/financial systems, and often have distributed internal database systems across multiple products too). Regular db transacti
178.
by ludston 3y ago
Of course? The most famously talented people their lives teaching, mentoring and otherwise trying to lift up those around them. Could any person be an effective leader if they didn't enjoy the challenge of working with people with diff
179.
by ludston 3y ago
Not every talented person is motivated by greed for personal wealth and status. Actually most aren't.
180.
by ludston 3y ago
Yeah but you're not taking advantage of what makes Lisp great unless you are also using symbols and singly linked lists.

More ›