ux266478

15 ms·

271.
by ux266478 6mo ago
Money is a means to an end, so that's true. Just because you have a screwdriver does not mean you will drive screws. You have to have someone who can use the screwdriver, knows righty-tighty, wants to drive the screws, etc. Stupidly th
272.
by ux266478 6mo ago
I'm very familiar with Lisp, you don't have to explain it to me. I think you are mistaken as to the meaning of what is meant by "procedural language" here. It's simply the mode of computation where a program is dire
273.
by ux266478 6mo ago
mmmmmm, no it would seem like they are absolutely under a social obligation to not do that.
274.
by ux266478 6mo ago
> and showed how computations could be expressed in Haskell with the “do notation” as an example To be clear, do notation is new special syntax that was added to make monads more ergonomic. Traditionally you used >> or >>=, w
275.
by ux266478 6mo ago
Within most languages, you're operating at a semantic level where much of the "point" is already obviated for you. They deal with fundamental structure that you take completely for granted, and you use it all implicitly. A mo
276.
by ux266478 6mo ago
> An outer shell to prolog would be a theorem solver for example, because Prolog is a very rudimentary one. I think it's the wrong way to look at it. It's not that Prolog is a rudimentary theorem solver, it's that theorem
277.
by ux266478 6mo ago
Of course, it holds for all turing complete languages, that's what computational class is all about. It's not a good argument to use or not use something though, because in practice it's always worse. You can think of it like
278.
by ux266478 6mo ago
> Actually, in my opinion, Scheme (and Lisp) allows you to express complex systems and problem domains in more simple terms than any other language can. I disagree with this. Lisps are procedural languages like most other programming lan
279.
by ux266478 6mo ago
Haskell's syntax comes from ISWIM, which was motivated quite a lot by m-expressions.
280.
by ux266478 6mo ago
How much work are you putting into simplicity? In my experience, in order for software to be permanent it needs to be like mold: only a single spore is required to grow a massive fruiting body and the spores themselves are very small and ve
281.
by ux266478 6mo ago
i'd like to point out that C++26's reflection is the third reflection standard defined by the language to cover the "niche corner cases" that have hereto been lacking from the other two (RTTI and type traits). this speci
282.
by ux266478 6mo ago
Do you understand the irony in posting this on a comment chain ostensibly rejecting foundational objectivism?
283.
by ux266478 6mo ago
I think that's a good way of putting it. I would addend that most people working in mathematics aren't generalists, their primary interest isn't in a broad picture. Rather, most are hyperfocused into a single domain with a st
284.
by ux266478 6mo ago
Of course. Though it's also important to note: whether or not an object exists is dependent on the logic being utilized itself, which is to say nothing of how even if the object holds some structural equivalent in the given logic of at
285.
by ux266478 6mo ago
Not even the most dogmatic of the set theorists ever argued mathematics was possible without reason, however. For mathematics, logic is the world, as the copula makes no distinction between substance and existence. In the same sense that th
286.
by ux266478 6mo ago
The set theorists decided that mathematics is the overarching superdomain over all study of structure. You don't get to pick and choose. Either mathematics is a suburb of logic and these two things are separate, or they're not and
287.
by ux266478 6mo ago
Classical logic has plenty of limitations/roadblocks, all logics do. Logic isn't a unified domain, but an infinite beach of structural shards, each providing a unique lens of study. Classical logic was rejected in computer science
288.
by ux266478 6mo ago
They should probably look at moving away from general purpose hardware for their actual products, and reserve GP hardware for RnD. You don't need frontier nodes to run circles around GPGPUs, an ASIC made with 28nm is more than enough t
289.
by ux266478 6mo ago
> without even incurring any risk! That's not true at all, any number of things could have killed bitcoin in its infancy. The stakes were just low. Somewhere out there is a lost collection of wallets of mine, collectively holding ~1
290.
by ux266478 6mo ago
Making a loud affair out its retirement rather than quietly letting it collect dust and be forgotten over time was most definitely not a good idea. The public already demonstrated that they adopted, misused and weaponized the maxim. Its ret
291.
by ux266478 6mo ago
> turning it off increases your signature. Tor endpoints are pretty easy to identify, there are plenty of handy databases for that, using it to begin with increases your uniqueness. If noscript was set to strictly disallow javascript by
292.
by ux266478 6mo ago
> Solar thermal can't really compete economically with photovoltaics. PV is cheap up front and maintains cost advantage in the time scale of a few decades, and obviously scale down much better than solar towers. PV also wins by bein
293.
by ux266478 6mo ago
I distinctly remember a comment chain here, I think from last year, where someone made a remark they would never implement AI features, they wouldn't touch that tech "with a 10 foot pole" because of the public perception and
294.
by ux266478 6mo ago
I really like almost everything about MNT's products except for the hardware. Not from a performance standpoint, but on a more fundamental level. I'm really not impressed with all the caveats that ARM brings here. I understand the
295.
by ux266478 6mo ago
A shell is perfectly useful on a touchscreen device. > a 50 year old computing model onto a phone What? Do you think command lines are based on the lambda calculus or something?
296.
by ux266478 6mo ago
While the majority of Finns speak highly of their conscription system, there's also an understanding that it's propped up by Finland's unique history and place in the world. I think people are seriously naive as to how much s
297.
by ux266478 6mo ago
Do bureaucratic mandates instill a humanistic sense of value and commitment, particularly in societies which are at peak levels of institutional skepticism?
298.
by ux266478 6mo ago
It's almost suicidal. It's so stupidly hubristic that one has to wonder if the end goal is a total institutional collapse, with the belief that the technocracy will end up holding the cards?
299.
by ux266478 6mo ago
I thought it was pretty obvious what it was by applying my social intelligence while reading the landing page.
300.
by ux266478 6mo ago
I'm not really sure that holds. Carb-heavy grains form the bulk of global food production, but meats, legumes, fruits, etc. are still massively overproduced. Of course, I think you get at something very important to recognize which is

More ›