Viewing profile — maemre

Out of curiosity, I tried this on several Chinese LLM's via OpenRouter, only on providers promising ZDR, and repeated it a few times. Here are the results: - DeepSeek V4 Flash and …

The law is written so broadly, I think it applies to them already: https://leginfo.legislature.ca.gov/faces/billTextClient.xhtm... > (c) “Application” means a software application …

You're right, producing +/- 0 depends on the rounding mode and it is commutative, I forgot about that completely. I edited my comment to fix that claim. Also, yes, +0 == -0, but th…

Integer overflows/underflows don't affect commutativity, unless you refer to undefined behavior, which is...undefined and found only in C and C++ among common languages. 2's comple…

Space complexity helps characterize this: real-world computers can (arguably) emulate a linear-bounded automaton, so anything in DSPACE(O(n)) is fair game if you can wait long enou…

I misinterpreted what you said then, sorry about that. The examples you give were helpful to understand what you mean by "runtime operator overloading"--specifically, the Amin & Ro…

I think this is more in the lines of mixing up concepts (the language features that enable implementing functors etc. in Haskell with functors as used in programming). I liked the …

I like this reading of the story a lot (although I didn't read it this way when I read the book originally). It reminds me of how Camus approaches to making peace with the absurd: …

> even if you made an alphabet (strings whose characters had decimal places or something) that was bigger, then it would still be kinda boring cuz the hyper hyper turing machine wo…

I am nerd-sniped with the computability claims here. The last paragraph sums up what I think about what you wrote more broadly. That description of a "hyper Turing machine" is pret…

> Pick any three musical notes, even on a microtonal scale, and they form a pleasing chord. I cannot speak to the color part, but the music part doesn't ring true to me (pun intend…

I think the answer is a combination of both and inlining. With Rc, the compiler can inline the reference count increment/decrements as well as the non-public function add_numbers a…

Maybe they are referring to the fact that Telegram rolled their own cryptographic protocol that had a vulnerability that was fixed with a cryptic message [1] and still has some dub…

Manual memory management is much more predictable (which is really nice for interactive/real-time programs), it does have nontrivial runtime overhead: malloc and free aren't free (…

Oh, that makes sense as an interesting question. I think, similar to API enforcement types, it is a good idea to separate strings from "byte strings" if the "core" language/library…

Rust's str also checks things like whether you're trying to read in the middle of a character. Rust also has several related string types like Path, CStr and OsStr to make sure the…

In a lot of math disciplines, the papers follow the Hardy-Littlewood rule, so the author names are ordered alphabetically [1]. Maybe, that's what you've been noticing. In my area (…

Seconded! I am the sole contributor (or the main one) on most of the git repos I am working on--they are research prototypes and I'm a PhD student so it's mostly solo work. So, I'm…

> Any field that has to append "science" to its name usually isn't scientific e.g. political science, social science. Although it's a bit of a side-track and you're quoting, what a…

Linear type systems often enforce that requirement by saying both branches need to use exactly the same linear values (or consume the same resources). So your example would be reje…

That reminds me of how pizza deliveries in Washington increase when there is a "crisis" [1]. Maybe that's one of the things you were referring to. [1]: https://www.washingtonpost.c…

They are pretty useful for certain kinds of program analysis (like abstract interpretation and symbolic execution) where you need to create slightly modified copies of the program …

Well, peanut allergy is lethal and can be triggered by even inhalation of peanut dust in more severe cases. Sensitivity to sunlight is way more manageable (by applying sunscreen an…

That depends on the field. Researchers are encouraged to publish artifacts with their paper in some fields to increase reproducibility. For example, most big programming language c…