solmag

8 ms·

31.
by solmag 5y ago
Gated Private Internets can probably flourish. Stuff like Urbit chatrooms.
32.
by solmag 5y ago
I would only salvage Archive.org, Libgen and Scihub. Funny taht two out of three things worth something are by Russians dodging copyrights.
33.
by solmag 5y ago
The Rust library ecosystem is small but they tend to be high quality IME; this is a drawback of it I suppose.
34.
by solmag 5y ago
I've been looking for non-JVM replacement for Kafka, though I might also give this a try.
35.
by solmag 5y ago
I am not kidding when I say that you can probably use Factorio in your technical interview as a company, lol.
36.
by solmag 5y ago
Rough to read Clojure code without never using it.
37.
by solmag 5y ago
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.
38.
by solmag 5y ago
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)
39.
by solmag 5y ago
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.
40.
by solmag 5y ago
This can be done in the JetBrains IDEs too and it's how I mostly use Github.
41.
by solmag 5y ago
Rust and Rust-Analyzer shows that for program text editor, the language front end has to be kind of forth coming too.
42.
by solmag 5y ago
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.
43.
by solmag 5y ago
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
44.
by solmag 5y ago
Americans be like "our media is owned by these two large companies, we are freedom brave".
45.
by solmag 5y ago
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
46.
by solmag 5y ago
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 typ
47.
by solmag 5y ago
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-
48.
by solmag 5y ago
It is a good start.
49.
by solmag 5y ago
Anything promising you easy privacy in the Internet, like Protonmail, is more or less lying to you.
50.
by solmag 5y ago
Correct.
51.
by solmag 5y ago
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 oppress
52.
by solmag 5y ago
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 abo
53.
by solmag 5y ago
I was absolutely not snarking. I think it was Terry Davis that had in his code editor for TempleOS 2d rendering.
54.
by solmag 5y ago
ray-traced code /when/, the world demands 4 dimensional code
55.
by solmag 5y ago
The least relevant defense margin for the aforementioned states.
56.
by solmag 5y ago
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
57.
by solmag 5y ago
WHGs next.
58.
by solmag 5y ago
"I thought 'tanks at Harvard yard' was just an ironybro proposal"
59.
by solmag 5y ago
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 beco
60.
by solmag 5y ago
Most of the project management material, at least in a pure software development team context, seems extremely cargo cultish to me.

More ›