maemre

6 ms·

1.
by maemre 2mo ago
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 Pro refused to answer this along the lines of: "I
2.
by maemre 7mo ago
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 that may be run or directed by a us
3.
by maemre 3y ago
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 they can produce different results when used in the
4.
by maemre 3y ago
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 complement integer arithmetic is commutative for bo
5.
by maemre 3y ago
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 enough. For the arguably part: I am assuming that the machine ca
6.
by maemre 3y ago
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 & Rompf paper. It's been a while since I read
7.
by maemre 3y ago
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 JavaScript monad example in the grandparent, even if it was
8.
by maemre 4y ago
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: recognizing the absurd and creating a personal meaning
9.
by maemre 4y ago
> 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 would still be a lookup table (though maybe even the machin
10.
by maemre 4y ago
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 pretty boring and ridiculous, such a machine trivially
11.
by maemre 4y ago
> 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 intended). For example, if I pick the first, the second an
12.
by maemre 4y ago
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 and the surrounding code is simple enough that it can do
13.
by maemre 5y ago
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 dubious choices [2]. I am not a cryptographer by any measure, s
14.
by maemre 5y ago
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 (pun slightly intended), and often costlier than a
15.
by maemre 5y ago
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 uses strings (which Rust does as p
16.
by maemre 5y ago
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 strings passed to the relevant APIs are well-form
17.
by maemre 5y ago
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 (programming languages, which may be sometimes theo
18.
by maemre 5y ago
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 the only person to "blame" when lo
19.
by maemre 6y ago
> 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 are your thoughts on applying thi
20.
by maemre 6y ago
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 rejected by the type system. For example, the following function
21.
by maemre 6y ago
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.com/wp-srv/politics/
22.
by maemre 7y ago
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 state (e.g. when you need to split the state on a conditiona
23.
by maemre 8y ago
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 and covering the skin) and although kids share food and/o
24.
by maemre 8y ago
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 conferences (PLDI, POPL, OOPSLA etc.) let you submit your art
25.
by maemre 9y ago
I first heard about it in a cyberpunk video game, Shadowrun: Hong Kong, and learned today that it is real. It felt like truly something out of science fiction back when I was playing the game.
26.
by maemre 9y ago
I guess GP was referring to the game Plague Inc.
27.
by maemre 9y ago
I think they will and the paper is too naive when assuming the techniques can scale and that computers can do the translation from a vague list of requirements to a precise specification. This comic[1] explains the issue well I think. There
28.
by maemre 9y ago
Stochastic optimization? STOKE [1] from Stanford is trying to that if I understood it correctly. [1]: https://github.com/StanfordPL/stoke
29.
by maemre 9y ago
That's called program synthesis which is a hot research area. Specifically, what you mention is called "programming by example". I can't remember many examples on top of my head but some people from Microsoft Research ar
30.
by maemre 9y ago
The sbt module I'm using for creating JARs (sbt-assembly) has this feature and I really like how seamless it makes creating executable JARs. I used it in a couple cases to create artifacts/executables for research projects that ca

More ›