Corbin

joined 2 years ago
[–] Corbin@programming.dev 1 points 1 week ago

I understand this frustration. I want to assure you of two things. First, some community members are not pro-LLM; I'm one of them. Second, while some advent posts are LLM-related or use LLMs, I promise that my posts, for day 15 and day 23, were not LLM-generated.

[–] Corbin@programming.dev 3 points 2 weeks ago

Hi! Welcome to the Nix community. You've made an unfortunate choice for your first package, because VPNs usually need to be integrated with system networking to function properly, and Nix without a daemon or NixOS is not able to do that. A distro has multiple pieces, including package management (putting executables and libraries onto your disk) and system configuration (interacting with the low-level hardware). Nix is a package manager; NixOS is Nix and also system configuration and some other stuff like booting.

For the specific case of Mullavad, I found this community documentation:

Warning: Mullvad VPN currently only works if systemd-resolved is enabled.

All you need to know here is that systemd is part of the system configuration; systemd-resolved is part of how some Linux systems look up names. Nix's version of Mullavad VPN is only compatible with a specific NixOS configuration.

Honestly, it's great to hear that the GUI and nix-env are working for you; those are things that often break on unusual targets. It sounds like the only thing that doesn't work is something which cannot work as installed.

[–] Corbin@programming.dev 4 points 1 month ago

Your analogy is bogus because this is the Fediverse and we can defederate from tankies without giving them money. The entire topic revolves around how Framework spends money. Whataboutism in this context is a classic defense of fascism, for what it's worth.

[–] Corbin@programming.dev 0 points 1 month ago (1 children)

C also sucks. Also, stop misgendering yourself; when you respect yourself more, you'll respect others more, and then you'll stop saying that people are cancer.

[–] Corbin@programming.dev -2 points 1 month ago (1 children)

Weren't you taught not to use dehumanizing language when you were a child?

[–] Corbin@programming.dev 6 points 1 month ago

I want you to write kernel code for a few years. But we go to Lemmy with the machismo we have, not the machismo we wish we had. Write a JSON recognizer; it should have the following signature and correctly recognize ECMA 404, returning 0 on success and 1 on failure.

int recognizeJSON(const char*);

I estimate that this should take you about 120 lines of code. My prior estimated defect rate for C programs is about one per 60 lines. So, to get under par, your code should have fewer than two bugs.

[–] Corbin@programming.dev 0 points 1 month ago (1 children)

They had you right the first time. You have a horde of accounts and your main approach is to post Somebody Else's Opinion for engagement. You have roughly the political sophistication of a cornstalk and you don't read the articles that you submit. You don't engage on anything you've posted except to defend your style of posting. There's no indication that you produce Free Software. You use Lemmy like Ghislane Maxwell used Reddit.

[–] Corbin@programming.dev 1 points 2 months ago (1 children)

RPython, the toolchain which is used to build JIT compilers like PyPy, supports Windows and non-Windows interpretations of standard Python int. This leads to an entire module's worth of specialized arithmetic. In RPython, the usual approach to handling the size of ints is to immediately stop worrying about it and let the compiler tell you if you got it wrong; an int will have at least seven-ish bits but anything more is platform-specific. This is one of the few systems I've used where I have to cast from an int to an int because the compiler can't prove that the ints are the same size and might need a runtime cast, but it can't tell me whether it does need the runtime cast.

Of course, I don't expect you to accept this example, given what a whiner you've been down-thread, but at least you can't claim that nobody showed you anything.

[–] Corbin@programming.dev 2 points 2 months ago

Java is bad but object-based message-passing environments are good. Classes are bad, prototypes are also bad, and mixins are unsound. That all said, you've not understood SOLID yet! S and O say that just because one class is Turing-complete (with general recursion, calling itself) does not mean that one class is the optimal design; they can be seen as opinions rather than hard rules. L is literally a theorem of any non-shitty type system; the fact that it fails in Java should be seen as a fault of Java. I is merely the idea that a class doesn't have to implement every interface or be coercible to any type; that is, there can be non-printable non-callable non-serializable objects. Finally, D is merely a consequence of objects not being functions; when we want to apply a functionf to a value x but both are actually objects, both f.call(x) and x.getCalled(f) open a new stack frame with f and x local, and all of the details are encapsulation details.

So, 40%, maybe? S really is not that unreasonable on its own; it reminds me of a classic movie moment from "Meet the Parents" about how a suitcase manufacturer may have produced more than one suitcase. We do intend to allocate more than one object in the course of operating the system! But also it perhaps goes too far in encouraging folks to break up objects that are fine as-is. O makes a lot of sense from the perspective that code is sometimes write-once immutable such that a new version of a package can add new classes to a system but cannot change existing classes. Outside of that perspective, it's not at all helpful, because sometimes it really does make sense to refactor a codebase in order to more efficiently use some improved interface.

[–] Corbin@programming.dev 1 points 2 months ago

This is too facile. First, in terms of capability maturity, management is not the goal of a fully-realized line of industry. Instead, the end is optimization, a situation where everything is already repeatable, defined, and managed; in this situation, our goal is to increase, improve, and simplify our processes. In stark contrast, management happens prior to those goals; the goal of management is to predict, control, and normalize processes.

Second, management is the only portion of a business which is legible to the government. The purpose of management is to be taxable, accountable, and liable, not to handle the day-to-day labors of the business. The Iron Law insists that the business will divide all employees into the two camps of manager and non-manager based solely on whether they are employed in pursuit of this legibility.

Third, consider labor as prior to employment; after all, sometimes people do things of their own cognizance without any manager telling them what to do. So, everybody is actually a non-manager at first! It's only in the presence of businesses that we have management, and only in the presence of capitalism that we have owners. Consider that management inherits the same issues of top-down command-and-control hierarchy as ownership or landlording.

[–] Corbin@programming.dev 1 points 2 months ago (1 children)

Look, just because you don't click bluelinks doesn't imply that anybody using them is a bot. Sometimes Wikipedia really does have useful information. If you don't want to get talked to in a condescending manner, don't reply to top-level posts with JAQs or sealions.

[–] Corbin@programming.dev 9 points 2 months ago

Y'know, knowing that you live in DACH, I can't help but read this as sour grapes: if only you were allowed to be more fascist, but those mean old online communists just won't let you!

 

Bret Victor wants to sell Dynamicland to cities.

I'm submitting this for public comment because Victor is a coward who cannot take peer review in public. Ironically, this is part of the problem with his recent push to adapt Dynamicland for public spaces; Victor's projects have spent years insisting that physical access control is equivalent to proper capability safety, and now he is left with only nebulous promises of protecting the public from surveillance while rolling out a public surveillance system -- sorry, a "computational public space."

 

Everybody's talking about colored and effectful functions again, so I'm resharing this short note about a category-theoretic approach to colored functions.

view more: next ›