solmag

Gated Private Internets can probably flourish. Stuff like Urbit chatrooms.

I would only salvage Archive.org, Libgen and Scihub. Funny taht two out of three things worth something are by Russians dodging copyrights.

The Rust library ecosystem is small but they tend to be high quality IME; this is a drawback of it I suppose.

I've been looking for non-JVM replacement for Kafka, though I might also give this a try.

I am not kidding when I say that you can probably use Factorio in your technical interview as a company, lol.

Rough to read Clojure code without never using it.

I should really pick that one up some day. It had an inspiring story, I believe the author wanted to understand the classical mechanics and just wrote them out in Scheme.

You can also get sufficiently angry and just write out linear algebra books and what not in Agda / Coq / Lean if it pisses you off so much (I've done a bunch of exercises in Coq)

Practice, just like you learned programming. "The Context" gives you the meaning for the notation, sadly. You have to kind of know it to understand the notation properly.

This can be done in the JetBrains IDEs too and it's how I mostly use Github.

Rust and Rust-Analyzer shows that for program text editor, the language front end has to be kind of forth coming too.

Seems to me this multicore journey was quite a barn burner; might as well have gone all the way to linear types as your GC.

Rust in itself is easier to understand and reason about than the equivalent kernel C code in my experience.

The actual cognitive cost does not come from Rust itself, but from mixing the two memory models and interop between them, IME and is probably a bad idea in general.

Should just boil the ocean and write the entire LK with Rust only.

Americans be like "our media is owned by these two large companies, we are freedom brave".

It is interesting how nobody in Europe can trace their bloodline / genealogy before the fall of Rome. I think there's a bunch of royal bloodlines that can be traced back to like year 1000 and that's it.

Fall of Rome was quite a catastrophe in that sense.

I think it's good the way the Rust API guidelines lay it out. It will also introduce additional lightweight documentation (in form of a type) and reduces amount of raw booleans in the code, and will get the benefits of the advanced type system too, and somewhat future proofs it that way too.

The boolean example is particularly bad though; I believe it is even in the Rust API Guidelines to not pass booleans in your APIs precisely for that reason. The advice which I agree with is to make it properly typed

https://rust-lang.github.io/api-guidelines/type-safety.html?...

It is a good start.

Anything promising you easy privacy in the Internet, like Protonmail, is more or less lying to you.

Correct.

Guarantee people most outraged about this are same people who wanted to yeet Mango Mussolini from Facebook and Twitter for being Russian agent. None of them are having a lonely thought in their head how the said companies might have oppressed domestic opposition and if they did it's Good & Beautiful.

Wonder how many orange-man-bad posters is having a gear move in their head and wonder how many times they complied oppressing domestic opposition since 2016.

Probably don't want to think too much about that, much better be outraged about far away distant lands as your moral sword.

I was absolutely not snarking. I think it was Terry Davis that had in his code editor for TempleOS 2d rendering.

ray-traced code /when/, the world demands 4 dimensional code

The least relevant defense margin for the aforementioned states.

He isn't serious about this. Guarantee he has a tweet or liked a tweet from 2020 raging about Cheeto Mussolini's White Supremacy Vax. It's just politics, and has been, since early 2020.

Let us put the gays to the camps, they impose external costs to the healthcare system too (but we won't, because they are a holy symbol for these people).

WHGs next.

"I thought 'tanks at Harvard yard' was just an ironybro proposal"

I have semantic highlighting setup for Rust and I wouldn't give it up. Just way too comfy.

"moves focus from content to form", if data drives your code structure, especially easy with functional langs, these two start to become isomorphic.

Most of the project management material, at least in a pure software development team context, seems extremely cargo cultish to me.