gnull

18 ms·

151.
by gnull 4y ago
And you represent real numbers as Turing machines printing continuous streams of digits? Comparing two infinite streams produced by Turing machines is almost the definition of halting problem.
152.
by gnull 4y ago
I also heard some shallow marketing people saying how great it is and how everyone should be going to medium to promote their personal brands and increase visibility. This is an immediate red flag for me. It means that even if Medium is fin
153.
by gnull 4y ago
Indeed. One impressive result I remember from that area (if I'm not mistaken) is that Least Recently Used cache policy with cache size S performs at least as well as an offline algorithm with cache size S/2. I don't remember
154.
by gnull 4y ago
Another fun fact: if instead of considering a distribution on the inputs, you consider worst case, then Queueing Theory becomes Online Algorithms. The techniques there seem very different from Queueing Theory, but I also heard some Computer
155.
by gnull 4y ago
> You can't see it because of your own condition, and supremacist beliefs Being disrespectful to people who disagree with you, and at the same time unable to produce any sensible argument only harms the cause you're fighting fo
156.
by gnull 4y ago
> Minorities are essential within companies to prevent bias in their marketing and product development that can be fatal to business success There's a ton of different sources of bias. Look at lesswrong.com. What (other than politic
157.
by gnull 4y ago
> Minorities are essential within companies to prevent bias in their marketing and product development that can be fatal to business success. This is far-fetched and based mostly on ideology rather than evidence, not much different from
158.
by gnull 4y ago
Some manage to find a workaround even when it's illegal. I was reading somewhere that Lund University in Sweden was cancelling the job opening right before the deadline if the most promising candidate wasn't a woman. There's
159.
by gnull 4y ago
Tabs should be implemented by an external tool, like Tmux or whatever. This is how Kakoune does it.
160.
by gnull 4y ago
I'm a Kakoune user. What will change in my life if I move to Helix?
161.
by gnull 4y ago
Who are mastodon owners?
162.
by gnull 4y ago
I wouldn't claim Twitter will shut down soon, but one could argue that mastodon is more robust because it's divirsified. There's no single person on earth who can shut down Mastodon, so Mastodon dies only if this decision is
163.
by gnull 4y ago
Then Desi's cause should me adjusted, not science.
164.
by gnull 4y ago
But can't they still demand people to make this kind of political statements? (With no actual preferential treatment rules.)
165.
by gnull 4y ago
> "The telos of a knife is to cut, the telos of medicine is to heal, and the telos of a university is truth."
166.
by gnull 4y ago
Absolutely. This line of thought actually best explains a lot of things he was doing in the last months and maybe years.
167.
by gnull 4y ago
> Destroying the infrastructure doesn't give Russia an additional capability (degree of freedom). It's not a bad strategy per se. As the parent comment said, this could be done to limit the choices that the future government of
168.
by gnull 4y ago
Blow up your own pipelines to warn someone else?
169.
by gnull 4y ago
The way you frame the situation is hardly justified, most of what you say doesn't match any of the commonly accepted explanations. First of all, it's not bad president against good protestors. There were actually two things going
170.
by gnull 4y ago
I think even if he fails to implement a better, more balanced political system, it's still really good that they promote all these as good things. It contrasts with Russian official's rhetoric who give people bs about Russia'
171.
by gnull 4y ago
The top comment implies that the protestors who demanded lower gas (propane, not gasoline) prices and later political reforms were the ones responsible for violence, or involved in it. There's plenty of evidence that this isn't th
172.
by gnull 4y ago
You're right. I just tested it connecting from laptop in Sweden to a VPS in Sweden through a German VPN server. The total ping was 30-40ms, and running `waypipe ssh remote firefox` was right on the edge of being unusable. Navigating an
173.
by gnull 4y ago
Problem is horrible lags, and I mean just program working bad, not latency. I tried doing it with X11 now, and I gave up before I could even type "youtube" to address bar. Then I tried doing ssh -X remote firefox https:/&
174.
by gnull 4y ago
I never had to do it myself, but I have a feeling it will work better with Wayland. The delay of 50-80ms introduced by the network is not terribly much (everything under 110ms is fine for playing Dota), so if your software doesn't lag
175.
by gnull 4y ago
Each time I tried running Firefox over ssh with X11 it either lagged or crashed. With Wayland's Waypipe it works flawlessly, I could even watch a Youtube video through it. I'm double checking it right now using a remove machine a
176.
by gnull 4y ago
"Way of learning" is a very broad term, and the two ways may be good for different aspects of it. Verbatim copying is good for bringing your attention to the material, it helps you notice more, and doesn't let you mind wander
177.
by gnull 4y ago
I didn't mean we shouldn't be doing anything. I said that we need to accept that it's going to take those centuries and plan accordingly. The "here and now" people are the ones who need to realize this the most. &gt
178.
by gnull 4y ago
> But that will take decades. What do we do until then? We wait. I don't understand why people want these issues to be resolved here and now. Society and culture take decades to change, that's natural, and shortcuts—however te
179.
by gnull 4y ago
> there are boxes in memory, assignments put things into memory You are forgetting about functional programming, which has no assignments, only bindings that are immutable — just like in math. And your program is one big expression that
180.
by gnull 4y ago
It's also horribly bloated. Just scrolling on my modern Android smartphone makes it lag and drop to like 5 FPS.

More ›