ameliaquining

4 ms·

1.
by ameliaquining 8d ago
Freestanding environments specifically don't have to do this, they get a carve-out. (I dunno if this applies elsewhere though.)
2.
by ameliaquining 8d ago
I'm curious, what exactly do you imagine going wrong here?
3.
by ameliaquining 8d ago
I recommend this explanation of why UB is good and necessary (but C and C++ are doing it wrong, defining some things as UB that really shouldn't be): https://www.ralfj.de/blog/2021/11/18/ub-good-idea
4.
by ameliaquining 8d ago
The article, most unfortunately, doesn't explain why anyone would want infinite loops to be UB in the first place. I found this explanation: https://www.open-std.org/jtc1/sc22/wg14/www/docs/n152
5.
by ameliaquining 8d ago
LLM style is not literally anticorrelated with quality. There are some things that they tend to do poorly, but you're not going to do those because you're writing the text yourself. If you have it judge your writing, and are caref
6.
by ameliaquining 8d ago
There's no way in hell that wasn't a deliberate joke.
7.
by ameliaquining 10d ago
Can you explain in what way you think they could possibly have been covertly involved?
8.
by ameliaquining 11d ago
Third-party cybersecurity evaluations. See, e.g., https://www.irregular.com/research/assessing-gpt-5.6-sol , which was published around the same time.
9.
by ameliaquining 11d ago
We know for certain. The involvement of Irregular in the other cases was never a secret, they were quite open about what they were working on and the results of the evaluations were being published on their website.
10.
by ameliaquining 13d ago
I might try Searchlight Cyber first (it's their service doing this, presumably without their knowledge), and then if that doesn't work go to AWS.
11.
by ameliaquining 14d ago
Zig doesn't currently have async/await in the sense that this post is about (i.e., async/await based on stackless coroutines). It previously had this, but it was removed last year ( https://ziglang.org/download
12.
by ameliaquining 15d ago
Well, they could ask frontier labs to stop publishing math results. I find it telling that they stop short of explicitly doing this.
13.
by ameliaquining 16d ago
Scott Aaronson wrote a good post last week on how Hofstadter's theories of intelligence have held up: https://scottaaronson.blog/?p=10046 (The post primarily emphasizes self-referentiality rather than analogy, but I su
14.
by ameliaquining 16d ago
See https://news.ycombinator.com/item?id=49614484 .
15.
by ameliaquining 16d ago
I feel like "large language model" should be on these graphs. For better or for worse, it's the answer to these questions for an increasing number of people.
16.
by ameliaquining 18d ago
Certainly, but the key word there is "somewhat". Progress is now happening so incredibly fast that I no longer know what to consider implausible.
17.
by ameliaquining 18d ago
Elaborate?
18.
by ameliaquining 18d ago
If you're alleging that they don't actually have a highly capable model and the work they're attributing to it was actually plagiarized from human mathematicians, well, that would be big if true, but I'd be inclined to t
19.
by ameliaquining 18d ago
There were also some people talking about the Hodge conjecture, because it has some similarities to some LLM-assisted breakthroughs that were considered impressive in the distant past of [checks notes] July 2026. See, e.g., https:/&#x
20.
by ameliaquining 18d ago
I don't know what anyone's been saying on Twitter and I don't care. If it's really true that there's a model out there that's that capable two weeks after the start of training, then that's objectively a m
21.
by ameliaquining 20d ago
I'm not a C++ expert. Why does C++ want all objects to have identities? Presumably it has some feature or something Rust doesn't have that requires this?
22.
by ameliaquining 23d ago
This post buys into the common narrative about Xanadu, that it was a fundamentally good idea that failed due to some combination of poor execution, being too far ahead of its time, and the market not caring about quality (with this post in
23.
by ameliaquining 25d ago
LLMs have meaningfully decreased the cost of rewrites, such that many rewrites that wouldn't previously have made sense now do. They are still significantly costly and often a bad idea.
24.
by ameliaquining 27d ago
GNU is not particularly relevant here either; age verification rules were never going to affect glibc, bash, coreutils, GCC, Emacs, or any other GNU packages that I'm aware of, and would have equally affected Linux distributions built
25.
by ameliaquining 28d ago
What updates were these?
26.
by ameliaquining 29d ago
I'm looking at originality.ai and I'm suspicious. Their roundup of studies is largely ones from 2023 (and I don't think any AI detectors from 2023 actually worked), with a few newer ones that nonetheless don't include Pa
27.
by ameliaquining 29d ago
STT models just turn audio into text, though; they don't interpret what the text means or figure out how to translate it into other representations like function calls. You would use a general-purpose model for that.
28.
by ameliaquining 29d ago
https://bfi.uchicago.edu/wp-content/uploads/2025/09/BFI_WP_2...
29.
by ameliaquining 29d ago
Pangram says human: https://www.pangram.com/history/a69f9b74-eb46-44b9-a087-7822...
30.
by ameliaquining 29d ago
"Function calling: The model can delegate complex tasks (such as image generation and file analysis) to other Gemini models via function calls. Currently available in the Gemini macOS app." This confused the heck out of me because

More ›