kaba0

52 ms·

931.
by kaba0 3y ago
> because each pixel is still correlated with reality, just modulo a simple, reversible transformation It’s absolutely not reversible. Information gets lost all the time with physical systems as well. Also, probably something like the cr
932.
by kaba0 3y ago
For what it’s worth, Go might not be the best example here as its compiler does very little (hence the fast compile times). Some LLVM-based language would fit the bill better, like Rust, C (also true of the intel compiler and gcc), C++, e
933.
by kaba0 3y ago
Yep, that’s what I meant, sorry!
934.
by kaba0 3y ago
I guess it depends on the exact definitions, but reals usually doesn’t include the infinities. At my uni we introduced infinities precisely as an extension of the reals with two values defined by `lim`.
935.
by kaba0 3y ago
It is false - real numbers fulfill the trichotomy property, which is precisely the lack of such a relationship: every two real number is either less than, equal or greater than. But the numerical context can still be correct: (edit: ~~ima
936.
by kaba0 3y ago
Ideally a recursive execution would also be a pure function - maybe a better way to put it about current LLMs is that they are a single mathematical expression being built up from a fix number of nodes and only addition and multiplication.
937.
by kaba0 3y ago
Jesus, bash really is an abomination
938.
by kaba0 3y ago
> It also just doesn't feel like a quality product. On my work Windows laptop, Powershell will sometimes not quite bother flushing after it starts, so I get the banner text and then.. That’s independent of the shell, and is I believ
939.
by kaba0 3y ago
Japan definitely has their own business culture, which has pros and cons (e.g. it is very seniority-aware, but that’s also a negative). It seems to fit well engineering, but it is not that good of a fit for software development - as they ar
940.
by kaba0 3y ago
> Brazil has a lot of European and US cultural influence That’s the core point. Of course Asian culture is more different. Probably a better example would be for a Brazilian to visit some African tribe.
941.
by kaba0 3y ago
Electric brain sounds cool! In Hungarian we say ‘számítógép’, which is literally computing/calculating machine.
942.
by kaba0 3y ago
I mean, those are not new words. Languages more often than not take the foreign name of a new discovery/item/concept, and Japanese is no different. As sibling commenter mentions, they have a huge amount of English words written
943.
by kaba0 3y ago
Still better than losing an error case. But java’s solution is not the most ergonomic, no one was talking about that implementation.
944.
by kaba0 3y ago
Based on what exactly? I do think that e.g. rust’s error handling is quite okay with proper algebraic data types, but (checked) exceptions are similarly safe and ergonomic to use. The worst is without doubt the C style, whose legacy Go happ
945.
by kaba0 3y ago
> being a world-class chess player doesn't indicate having "world-class intelligence". I agree, but if chess ability does have a positive correlation with intelligence, isn’t that enough “proof”, as intelligence itself all
946.
by kaba0 3y ago
What is general intelligence? IQ tests also can’t measure that, but chess is definitely at least a good indicator.
947.
by kaba0 3y ago
I mean, the zero hypothesis for pretty much any trait should be that it has both a nurture and a nature component. We do know that results can be improved with nurture, and we also know that results can be significantly diminished as well w
948.
by kaba0 3y ago
cli programs are not interoperable. Binary streams are not an interface, it's the lack of one. I can't goddamn pipe the CPU temperature into my display manager's status bar without 3 different tools unmaintainable, easy-to-
949.
by kaba0 3y ago
The linux kernel and x11 are both ridiculously huge monoliths, yet somehow never the target of this (fallacious) unix philosophy criticism.
950.
by kaba0 3y ago
Every other children? Sure, it’s not a report in Science, hence the apostrophes around test.
951.
by kaba0 3y ago
> I think it could also be the case that the adult intelligence level will not be greatly affected by any kind of learning technique or pace during childhood Judit Polgár’s parents decided to basically test this assumption on their own c
952.
by kaba0 3y ago
I believe pipewire just has support for more modern bluetooth codecs.
953.
by kaba0 3y ago
So as usual, we get nothing useful or remotely objective from “systemd-haters”.
954.
by kaba0 3y ago
These were only true of pulseaudio in the early days of it. They are solved for good, by “simply” fixing the most common drivers. But in general, it couldn’t have been solved any other way.
955.
by kaba0 3y ago
The only remotely controversial option was whether they should “explore other alternatives” or not.
956.
by kaba0 3y ago
It only swallows those things up if you consider KDE swallowing up painting programs like Krita. Systemd is both a program, a collection of programs.
957.
by kaba0 3y ago
These takes are just ridiculous. Debian, with a more democratic system than any country on Earth, voted twice over the issue, overwhelmingly supporting the support of only systemd. How is that commercial interest? Then arch decided for th
958.
by kaba0 3y ago
Many (or even most) of the issues with pulseaudio were actually sound driver bugs only being resurfaces by pulseaudio, as it was using them in a more complicated matter. It is pretty unfair to blame Poettering over anything wrong in your
959.
by kaba0 3y ago
I was only a spectator.
960.
by kaba0 3y ago
People had tales about malevolent genies for eternity. Being able to program “in English” doesn’t considerably make the task easier. The actual hard part is dealing with all the edge cases.

More ›