Tainnor

45 ms·

781.
by Tainnor 3y ago
That exchange with Jeff Atwood makes me somewhat angry. It's one thing to be annoyed at a hardware vendor (justified or not), quite another to take it out on the users of said hardware. And while I appreciate that engineers can often a
782.
by Tainnor 3y ago
Infinite scrolling, at least in most implementations, makes it almost impossible to find historic content. This could be useful e.g. to journalists and researchers, but even as a private individual I would sometimes love to be able to see w
783.
by Tainnor 3y ago
It's almost always easier to understand theorems than proofs. People could be writing down properties of their programs and the AI could generate a proof or produce a counterexample. It is not necessary to understand the proof in order
784.
by Tainnor 3y ago
> I'm not talking about languages, I'm talking about the specific words of IT jargon which all originate from English. "I'm not talking about languages, I'm talking about words" ...? What do you think words
785.
by Tainnor 3y ago
I don't think you understand how languages work. Nobody sat down and "decided" to use German words instead of English ones (maybe that's what happened with the Académie Française, but that's a different topic). Thos
786.
by Tainnor 3y ago
The US is the only country that insists on using systems of units that nobody else is using and that hasn't stopped it from becoming an economical juggernaut. > That's just my opinion based on personal experience, which can&#x2
787.
by Tainnor 3y ago
"Rechner" and "Computer" are interchangeable and probably used equally frequently, as are "Hauptspeicher" and "RAM", etc. Some words do seem to be mainly referred to by their German names ("Betri
788.
by Tainnor 3y ago
I've seen it play out differently, with developers (especially seniors) pushing for their favourite tech. "We're gonna make the new system event based with Kafka", etc.
789.
by Tainnor 3y ago
You've never seen the "we can rewrite this legacy system in a year" mistake? Because I've seen this at least 4 different times.
790.
by Tainnor 3y ago
Living in Berlin and being into techno, clubbing and drugs is the most "normie" thing ever. Try being a rock or jazz fan - or even Schlager.
791.
by Tainnor 3y ago
UTF-8 works with xetex, and both it and latexmk are easily installable from package sources on Ubuntu (and probably other distros). You do raise some valid points, but most people don't really use those programs you've mentioned (
792.
by Tainnor 3y ago
I was very careful to specify "computational properties" (as opposed to things like program length or side effects) and "arbitrary programs" (with "arbitrary" meaning that it doesn't suffice to prove indiv
793.
by Tainnor 3y ago
I've thought about this before. I consume quite a lot of things (series, music, video games, ...) and in addition I'm almost addicted to learning new things, in the sense that it gives me an intense dopamine rush to understand som
794.
by Tainnor 3y ago
Fair enough, I wasn't aware.
795.
by Tainnor 3y ago
There's other examples like that. While I have many gripes with Plato, some of the arguments he makes and the themes he investigates still ring true 2,500 years later.
796.
by Tainnor 3y ago
A lot of people use ORMs, though, which (though often poorly) translate the SQL model to one more familiar to most programmers. An unfortunately less popular alternative is query builders (such as jOOQ for the JVM) which, especially in stat
797.
by Tainnor 3y ago
> The whole beauty of science is that it doesn't ever claim to have static, absolute answers That's wrong for maths and, by extension, theoretical CS. I mean, sure, some of the answers come with caveats ("assuming P!= NP&q
798.
by Tainnor 3y ago
Thanks!
799.
by Tainnor 3y ago
> That's impossible with LaTeX. Certainly not impossible. I don't find LaTeX hard to install, at least on a modern Linux distribution such as Ubuntu (and if memory serves, it wasn't hard on macOS either). I agree that sett
800.
by Tainnor 3y ago
Theoretical CS fundamentals are not going to change. Practically, that means among other things: - Unless somebody finds a polynomial algorithm for an NP-complete problem (which is a taller order than just proving P=NP), several interesting
801.
by Tainnor 3y ago
Not everything is all or nothing. 80-90% reproducible builds are often good enough and learning Nix only to get that last 10-20% is not always worth it. And there are ways of pinning all dependencies with docker if you really want to. I&#x2
802.
by Tainnor 3y ago
> I don't understand what this is trying to say and this "mathematical model" of sets doesn't seem to be applied further on. I think what is meant by it is that we have a set without additional structure. Other struct
803.
by Tainnor 3y ago
Years ago, I had concluded for myself that money could be naturally treated as a vector space. It's nice to see that somebody's had the same idea.
804.
by Tainnor 3y ago
I wasn't even aware that this came from Persian! Thanks for educating me.
805.
by Tainnor 3y ago
1. Async allows you to parallelise tasks. If a request from a user needs to hit three logically independent endpoints, you don't need to do that in sequence, you can do them in parallel and thus the user will get a response much quicke
806.
by Tainnor 3y ago
Fault tolerance doesn't necessarily require microservices (as in separate code bases) though, see Erlang. Or even something like Unison. But for some reason it seems that few people are working on making our programming languages and f
807.
by Tainnor 3y ago
> I've never really understood why you couldn't just break up your monolith into modules. I think part of it is that many just don't know how. Web developers deal with HTTP and APIs all the time, they understand this. But
808.
by Tainnor 3y ago
> Hurfbaz This made me chuckle. :) It's HarfBuzz. Yours sounds like a goblin.
809.
by Tainnor 3y ago
Yes, but not associative. I guess this is what GP was trying to say (and which actually can cause issues).
810.
by Tainnor 3y ago
> Recruiters and large firms tend to ask for a Word file. Again, not my experience at all. I think if a company didn't accept my PDF CV and asked for a Word file instead, I'd strongly reconsider whether I'm actually intere

More ›