burjui

6 ms·

31.
by burjui 3y ago
Yoy may want to check out Sean Carroll's book "The Biggest Ideas in the Universe" vol. 1. He explains a bit of calculus, how to read and understand equations etc. Basically, this book contains a crash course in physics-relate
32.
by burjui 3y ago
I use sunglasses for that.
33.
by burjui 3y ago
It indeed is a journey for the most patient of us. Or, at least, was about 8 years ago, when I needed to build gcc for the Cortex M3 target. I guess not much has changed since then, and one still has a great opportunity to learn what mpfr,
34.
by burjui 3y ago
In contrary, you should stay with C++ to stay in shape. C is too simple (comparatively) to keep your mind sharp. You want what, a pleasant programming experience, like a sissy, or constant hard ass-pounding and mind games that make a real m
35.
by burjui 3y ago
As if C++ was the only statically typed language compiled to native code.
36.
by burjui 3y ago
If you need a superhuman intellect (admittedly, a narrow one) in order to write sane code in a language, that means that language is no longer a good language for humans. The current trend of slapping an AI onto everything makes me nervous
37.
by burjui 3y ago
IMHO, really there are no options for this idea other than to be disappointing. C++ is already a monster, way too complex and complicated, and unless one decides to revamp it from the ground up, effectively coming up with a different langua
38.
by burjui 3y ago
I had exactly the same side effect when turning my head, and 150 mg would also make me agitated. Also, my vision worsened a bit. But without sertraline, depression wouldn't have gone away, so the drawbacks were worth it.
39.
by burjui 3y ago
A dumb one. The word "literally" is already used to specify that the phrase following it is not a figure of speech. There are plenty of ambiguities in natural languages, and layering them will only make things unnecessarily compli
40.
by burjui 3y ago
Oh, this was written by Sean Carroll's wife. I am a big fan of his work and his podcast, Mindscape. Truly a power couple.
41.
by burjui 3y ago
Or unless you iterate over randomized hashtables to produce some output, e.g. function sections in an executable. Though that doesn't change the semantics and is basically rearranging coins in your pocket.
42.
by burjui 4y ago
After discovering Stewart Lee, I find most comedians incredibly boring, especially after seeing him deconstruct their usual material and delivery a few times.
43.
by burjui 4y ago
- I am pretty sure that static verifiers are a subclass of static analysers. - Prusti does not require you to write any "properties". I just ran it on a piece of code, which has no annotations for Prusti, and it still found a pote
44.
by burjui 4y ago
Sadly, D has its own set of problems and design flaws. It's better than C++ in many ways, but still far from Rust in terms of solid foundation in computer science and language design. Frankly, I see no point in integrating it with Rust
45.
by burjui 4y ago
That begs the question: if Clojure is so inefficient, that a program written in it needs 10 MB of some "cached heap" just to start as fast as a C program, and it does a lot of unnecessary work at startup, why use Clojure and this
46.
by burjui 11y ago
> "we do just fine with java" Yeah, except they write 2-5 times more code in Java, than they would in Kotlin. I think it's unprofessional to reject a new language, that will make code smaller and easier to understand, just