gnull

10 ms·

31.
by gnull 9mo ago
The reasons for doing something and public justification, aka casus belli, are different things. Casus belli makes it cheaper to execute, but reasons are what actually drives them. The clowns and the reasons that drive them are the same for
32.
by gnull 10mo ago
https://youtu.be/V4TXg69kfo8?t=977 Reminds me of this speech by Leon Wieseltier.
33.
by gnull 10mo ago
> VHDL and Verilog are used because they are excellent languages to describe hardware. Maybe they were in the 80. In 2025, language design has moved ahead quite a lot, you can't be saying that seriously. Have a look at how clash-lan
34.
by gnull 10mo ago
Btw, you can make quicksort deterministically O(n log n) if you pick the pivot point with linear median search algorithm. It's impressive how randomness lets you pick a balanced pivot, but even more impressive that you could do the sam
35.
by gnull 10mo ago
https://www.wisdom.weizmann.ac.il/~oded/PDF/rnd.pdf Then you reach derandomization and it hits you once again, it shows you that maybe you can "cheat" in the same way without randomness. Not for free, yo
36.
by gnull 10mo ago
What makes the simulation we live in special compared to the simulation of a burning candle that you or I might be running? That simulated candle is perfectly melting wax in its own simulation. Duh, it won't melt any in ours, because o
37.
by gnull 3y ago
https://news.ycombinator.com/item?id=37714144 This comment here, I think, has the answer. The inial returns from using the more functional and mathematical view of programs are smaller than that of traditional approach. But
38.
by gnull 3y ago
What does it have to do with the speed of light?
39.
by gnull 3y ago
> It's pretty bizarre given there are few laws which seem more universally opposed by the open source community, and seems to me quite at odds with the values of FOSS - as is any DRM scheme. Even if we don't like a law, it&#x27
40.
by gnull 3y ago
Yes, indeed. I think you can prove that one can't just map the edge weights (so that edge's new weight only depends on its original weight) to make all weights positive, and also preserve all shortest paths. You may try something
41.
by gnull 3y ago
> Couldn’t you just preprocess the edges and normalize their weights? How exactly?
42.
by gnull 3y ago
> In my country, Sweden, such actions at a state-funded institute fall under the umbrella of “kränkande särbehandling” (victimization) and are unlawful. Does this mean that Sweden is a good place for people who are, like the author, crit
43.
by gnull 3y ago
> If I think my neighbor's a dick, I don't need to hold a trial by jury to decide if I'm allowed to disinvite him In this case you are exempt from that principle because following it will cost you disproportionally more th
44.
by gnull 3y ago
What am I looking for in this 300 page document? Proof by intimidation, eh?
45.
by gnull 3y ago
This applies both ways. You'll win a Turing award if you prove NC ≠ P, which is kind of what you said — at least, that the best way I see of reading your first and a few following messages.
46.
by gnull 3y ago
Are you stretching "this specific strategy for parallelizing P that I came up with won't work" to "there's no way to parallelize P"?
47.
by gnull 3y ago
Cerium is correct, we don't know if P is efficiently parallelizable. Is there a formal proof of what you're talking about that we can read?
48.
by gnull 3y ago
What is "untyped" exactly? Google tells me it's the same as "dynamically typed". Remember the context. The thread started with Elang VM making it impossible to make code faster, due to the need to accommodate Erlang
49.
by gnull 3y ago
Also: x86 is very much statically typed. Your types are 8-, 16-, 32- and 64-bit words. Each machine instruction knows the exact types of its operands, so there's no overhead on determining the types of values at runtime (like you'
50.
by gnull 3y ago
> Erlang VM, which is dynamically typed > x64 machine which is mostly untyped Dynamically typed and untyped are not the same, no?
51.
by gnull 3y ago
What is chordal editing? Google search didn't give me any results. I agree that having different programs on you computer integrated and consistent is a good thing. Sorry for the reference to the old joke, but wouldn't all the thi
52.
by gnull 3y ago
I meant Notepad as an example of something that implements the basic "move the cursor between the characters with arrow keys and type to insert text" way of interacting with text. In terms of this, Emacs is exactly Notepad + plugi
53.
by gnull 3y ago
> Have you actually had a look at what is actually included in Emacs? Yes, I've been using it for a few years and made my own plugin with a couple dozen users. Then I discovered Vim overnight and never used Emacs again (literally).
54.
by gnull 3y ago
Your points concern everything around text editing, but not editing itself. Emacs brings nothing new to the table with respect to editing model, it's essentially notepad (with different interface, plugins, yada yada yada — all the thin
55.
by gnull 3y ago
What is a virtual desktop?
56.
by gnull 3y ago
> It is easy to get distracted when you do many different things on the same device. Think of rooms as profiles but for the same person. You can have different rooms based on what you do and arrange them with things for only that purpose
57.
by gnull 3y ago
The latter is useful to hide who wrote the program? Like some features of code that might reveal your personal patterns? Or what is it for? And how does it deal with timing? İf two programs I gave it have different complexity, would it pad
58.
by gnull 3y ago
And, honestly, science many of us do isn't that impressive to be worth it.
59.
by gnull 3y ago
ChatGPT works well until it doesn't. When ChatGPT fails and generates some garbage it will do so in very convincingly sounding manner, and the learner may not have the right tools yet to recognize that.
60.
by gnull 4y ago
Calling it solidarity with Ukraine is an understatement. People reduced the consumption because they couldn't afford it anymore — for big economical and diplomatic reasons.

More ›