johnnyjeans

6 ms·

1.
by johnnyjeans 1y ago
The part where it becomes appearances is that it's public. The negative impact here stems from the office of the president criticizing the CEO of a publicly traded company, using an unofficial but public channel. This impact doesn&#x27
2.
by johnnyjeans 1y ago
As I understand it, people have a higher priority of maintaining affiliation with social groups (of which, political parties are an example) than they have a commitment to any given personal view. It varies based on context, the person, etc
3.
by johnnyjeans 1y ago
In fairness the laisseiz-faire market has been dead for over 2 centuries, it's just that this kind of thing usually happens with backchannels, often with a threat of malicious legislation if you don't play ball. There's a poi
4.
by johnnyjeans 1y ago
you're right, but sec is about threat profiles. there's a point where selinux, firejail, etc. aren't enough either. even a virtual machine may as well be wet rice paper to an alphabet soup agency. you should very much assume
5.
by johnnyjeans 1y ago
It should also be noted that handling state like that is not really idiomatic Erlang. State is updated at a process level, thus traditionally you spawn another process which is trivial to do. On the BEAM that is fast enough for 95% of cases
6.
by johnnyjeans 1y ago
I'm not trolling, but I'm very serious about language design after going through a long gauntlet. I don't think making mutation easy, and also having the ability to hide code execution, is necessarily a good practice in a sys
7.
by johnnyjeans 1y ago
No rebinding, better fits the grain of the OTP, no AST macros. Last I checked, the debugging experience with elixir was pretty subpar. Erlang is also a fundamentally nicer syntax that I find a great deal more readable. I'm not really s
8.
by johnnyjeans 1y ago
This is a good post and I agree with it in full, but I just wanted to point out that (safe) Rust is safer from data races than, say, Haskell due to the properties of an affine type system. Haskell in general is a much safer than Rust thanks
9.
by johnnyjeans 1y ago
The naive way wouldn't be any different than what it's like to dynamically load sepples binaries right now. The real way, and the way befitting the role of the standards committee is actually putting effort into standardizing a wa
10.
by johnnyjeans 1y ago
Any particular year?
11.
by johnnyjeans 1y ago
> they're not embedding LLVM - they're embedding clang They're embedding both, according to the article. But it's also just sloppy semantics on my part; when I say LLVM, I don't make a distinction of the frontend
12.
by johnnyjeans 1y ago
I'm not surprised to see that Jank's solution to this is to embed LLVM into their runtime. I really wish there was a better way to do this. There are a lot of things I don't like about C++, and close to the top of the list is
13.
by johnnyjeans 1y ago
"Worse is better" is an extremely misleading phrase. It's supposed to be ironic, not sarcastic. Unfortunately, the authors of "Unix Haters Handbook" exercised terrible judgement used it as a sarcastic pejorative. No
14.
by johnnyjeans 1y ago
> Good enough wins. Worse is better rules. Release early... and so on. None of that applies to this case, where ML is not only a fair bit older than Java, but abides the principle of "worse is better" far more. > While schem
15.
by johnnyjeans 1y ago
Edited for accuracy, thanks.
16.
by johnnyjeans 1y ago
> Most of us still mispronounce some words The bureaucratization of language is more problematic in my view, where things are seen as wrong and right and we try to cram the beauty of of natural language into a restricted box that can be
17.
by johnnyjeans 1y ago
2nding this. The "non-phonetic alphabet" is the biggest non-issue I see people raise a stink about. It really doesn't matter, context is the heavy-weight backbone of language. On top of that, I think people really underestima
18.
by johnnyjeans 1y ago
What are your thoughts on basis[1] and successorml[2]? [1] - http://www.mlton.org/MLBasis [2] - https://smlfamily.github.io/successor-ml/
19.
by johnnyjeans 1y ago
> the treatment of things like equality and arithmetic is hacky in its own way mlton allows you to use a keyword to get the same facility for function overloading that is used for addition and equality. it's disabled by default for
20.
by johnnyjeans 1y ago
sml, specifically the MLTon dialect. It's good for all the same reasons ocaml is good, it's just a much better version of the ML-language in my opinion. I think the only thing that ocaml has that I miss in sml is applicative funct
21.
by johnnyjeans 1y ago
I'm not sure why we would want to replace mechanical systems. A portable AC unit with 10,000 BTUs uses ~650wh these days, and it'll turn a 50m^2 apartment into an icebox. That's not much more than a flagship GPU pulls. This i
22.
by johnnyjeans 1y ago
I'm aware of all of this, it might not be clear if you've not used it directly yourself, but unshare(1) is your shell interface to namespaces. You still need to use a chroot if you want the namespace to look like a normal system.
23.
by johnnyjeans 1y ago
I know that I've stopped using Google's search primarily because it's been intentionally[1] made a worse tool. The AI overviews sound obnoxious and I'm not surprised if they're driving more people off of the platfor
24.
by johnnyjeans 1y ago
> Apptainer is for running cli applications in immutable, rootless containers. What's the appeal of using this over unshare + chroot to a mounted tarball with a tmpfs union mount where needed? Saner default configuration? Saner inte
25.
by johnnyjeans 1y ago
Engineers like to work from the bottom up because nature isn't made out of straight lines and regularity. Breaking things apart into abstractions works to a certain point, then the natural irregularity of reality steps in and you need
26.
by johnnyjeans 1y ago
> Actually, the people who are "overly attached to code" tend to be computer scientists who are deeply interested in computation and its expression. What academics are you rubbing shoulders with? Every single computer scientist
27.
by johnnyjeans 1y ago
> That's simply a reality, just as weavers saw massive layoffs in the wake of the automated loom, or scribes lost work after the printing press, or human calculators became pointless after high-precision calculators became commonpla
28.
by johnnyjeans 1y ago
> but it had set! for just as long. Purity has nothing to do with functional programming. > It is also not a list based language, but a tree based one. It's not called Trep, it's called Lisp. Yes, you can represent trees as
29.
by johnnyjeans 1y ago
Datalog is simpler, not turing complete , and IIRC uses forward chaining which has knock-on effects in its performance and memory characteristics. Huge search spaces that a trivial in Prolog are impossible to represent in Datalog because it
30.
by johnnyjeans 1y ago
Is light slow? Or is the human perception of time just scaled down as a result of our rapid metabolism and infinitesimality? People historically mistake plants for being inanimate things with no reactivity, that they are far more simple and

More ›