aleph_minus_one

7 ms·

61.
by aleph_minus_one 2mo ago
> > If a magic oracle tells you p=np, that's useless. How would that change anything? > Oh it would change a lot. It would be an enormous psychological boost for everyone to find a practical algorithm. OK, I tell you that P=NP
62.
by aleph_minus_one 2mo ago
> I've forgotten now when it changed, but I remember older versions of Windows let you exit back to DOS once you'd finished doing GUI stuff. I'm guessing that was probably removed in Win95 as that was the first "prope
63.
by aleph_minus_one 2mo ago
> I do believe there is some truth to it. The reason we have had an upswing in diagnosed people is that society's demands have gotten higher and what was previously considered normal is no longer within the normality corridor. Rela
64.
by aleph_minus_one 2mo ago
> I wonder if a whole external device is really necessary for the one-handed device for chords. I think with a customisable keyboard, you'd be able to chord. Not with a normal keyboard (though there do exist specialized keyboards f
65.
by aleph_minus_one 2mo ago
> I suppose it isn't if you never had it on real hardware. Win32 was well marked as the complete OS takeover for the PC. DOS remained only to boot Windows and as backup OS. If you absolutely needed to jump back to DOS you still coul
66.
by aleph_minus_one 2mo ago
> This is explicitly about commemorative coins, not regular ones. The formulation is not so easy to read (very common for German laws), but it includes also the regulations for normal coins: "Erfolgt eine einzelne Zahlung sowohl in
67.
by aleph_minus_one 2mo ago
But after one person does this, the source code access is a solved problem.
68.
by aleph_minus_one 2mo ago
> It's paying a bill in pennies. This is actually a problem that is solved in German law: § 3 Münzgesetz (MünzG), Absatz 1 [§ 3 Coins Act, article 1] "§ 3 Annahme- und Umtauschpflicht (1) Niemand ist verpflichtet, deutsche Euro
69.
by aleph_minus_one 2mo ago
> "To obtain certain source code from Google, you could previously reference git tags, but now you have to fill out a form and wait for a human to give you a google drive link." Couldn't simply someone mirror these Google
70.
by aleph_minus_one 2mo ago
> I wonder what his views on the 4 color problem are. One can explain it as the computer checked a bunch of cases and all maps reduce to one of these cases. Just burn lots of tokens on the frontier model of your choice to let the AI find
71.
by aleph_minus_one 2mo ago
GitHub is not stellar, either. :-)
72.
by aleph_minus_one 2mo ago
> Like the way that they shipped ‘95 without a browser? Around the time when Windows 95 was released, Microsoft did predict that the internet will become popular also among private users. That is why - they included Winsock (Windows&#
73.
by aleph_minus_one 2mo ago
> Turns out that the cloud doesn’t scale that easily by itself after all? The cloud does scale that easily, the software doesn't. :-)
74.
by aleph_minus_one 2mo ago
> The AI boom caught them napping though Microsoft, who invested eyewatering sums into AI, even near to betting the whole company on an AI boom, is surprised about the AI boom?
75.
by aleph_minus_one 2mo ago
> infra that scales with a button That is how Microsoft markets Azure. :-)
76.
by aleph_minus_one 2mo ago
> I wonder what made it so magic. The conspiracy theories. :-)
77.
by aleph_minus_one 2mo ago
> First, I didn't work with the right universities. Now the students I work with "didn't pay attention". I can only say that my university-time experience was so much different, and I do observe a similar interest
78.
by aleph_minus_one 2mo ago
> My point is that most younger developers couldn't explain the difference between a mutex and a critical section, or how the OS handles a thread quantum, if their lives depended on it. To my knowledge this is taught in some "O
79.
by aleph_minus_one 2mo ago
> Any ideas how this compares with Kerrisk's The Linux Programming Interface? Unluckily, I don't know, but comparing the Table of Contents for both books > https://man7.org/tlpi/toc-short.html > htt
80.
by aleph_minus_one 2mo ago
> I’m retired but mentor CS students at two local universities. > I haven’t had a student in two years that was even remotely interested in ring-0, internals, or really understanding a debugger. I know quite a lot of such people (even
81.
by aleph_minus_one 2mo ago
> I didn't say it was super dumb, it was more of a reflection on that's how much a wrapper is worth today. Are you sure that the value is in the wrapper and not rather in the fact that investors who invested into OpenRouter als
82.
by aleph_minus_one 2mo ago
> Stripe isn’t exactly a dumb company. I guess hardly anybody claims that. I think the suspicion is rather about whether there exist some other "puppetmasters" (e.g. venture capitalists) who pressured Stripe into buying OpenRou
83.
by aleph_minus_one 2mo ago
> This is nothing, wait until they see my proof of the Flibknopf Conjecture! You mean the (Tait) Flyping Conjecture from knot theory? > https://mathworld.wolfram.com/FlypingConjecture.html > https://en.w
84.
by aleph_minus_one 2mo ago
Great irony: the names under which the company which Vishal Garg was CEO of (Better Home & Finance Holding Company) does business are Better and Better.com [1]. :-) [1] https://en.wikipedia.org/wiki/Better.com
85.
by aleph_minus_one 2mo ago
I also studied mathematics, and I can tell you that this was not my experience. Rather, if a problem is NP-complete/NP-hard it means that we cannot expect a general fast algorithms for exactly this problem (in other words: more mathema
86.
by aleph_minus_one 2mo ago
> Oh yes, let's grammar-nazi the nazis. Using wrong letters and ligatures (in Fraktur) has barely anything to do with grammar; this is rather orthography.
87.
by aleph_minus_one 2mo ago
> Today, far right-wing people in Germany use fraktur on shirts, cars etc. - even though it were the Nazis who abolished it. And many of them use Fraktur wrongly (in particular: wrong usage of long vs round s; not using compulsory ligatu
88.
by aleph_minus_one 2mo ago
I would say that currently the German society is a very riven/divided one, with various groups being bitter enemies, each with their very own contradictory hiearchies with very different groups at the apex. So, to find out which discip
89.
by aleph_minus_one 2mo ago
> However, MathLink is one of the few exceptions as it is deprecated by now. As far as I know WSTP (Wolfram Symbolic Transfer Protocol) is the replacement for MathLink. Is it supported?
90.
by aleph_minus_one 2mo ago
> Most "computer scientists" are not scientists. They are engineers. They engineer (build) something abstract, software, but that doesn't make them scientists. Engineering is also a scientific discipline; there is a reason

More ›