sanxiyn

4 ms·

31.
by sanxiyn 3mo ago
That is Proposal C, not Proposal A. (Although I do think Proposal A as written also does not forbid translation usage to communicate.)
32.
by sanxiyn 3mo ago
It's more like: food processing tool A is known to be defective. We ask employees of this restaurant and supply chains to avoid food processing tool A. This seems eminently reasonable. The question is whether the tool is in fact defect
33.
by sanxiyn 3mo ago
I don't believe Proposal A forbids this usage.
34.
by sanxiyn 3mo ago
The article addresses this: search for "No noise".
35.
by sanxiyn 3mo ago
Sure, but it could be more explicit. See Rust for how it should be done.
36.
by sanxiyn 3mo ago
What would you prefer? I do think it is criminal this is not documented ( https://pkg.go.dev/io#Copy ), but I think io.Copy is fine as an API.
37.
by sanxiyn 3mo ago
A good reminder. It is surprising first time you encounter it. Same for Rust. As https://doc.rust-lang.org/stable/std/io/fn.copy.html says, std::io::copy can use copy_file_range(2), sendfile(2), or splice(2).
38.
by sanxiyn 4mo ago
You can do something like rump kernel to reuse drivers. https://rumpkernel.github.io/
39.
by sanxiyn 4mo ago
There doesn't seem to be audio support (I searched for audio and sound). There seems to be the beginning of USB support (under drivers/usb/xhci, for example).
40.
by sanxiyn 4mo ago
I know it is old, but the classic is a classic for reasons. It is criminal this survey does not include the venerable Secrets of the Glasgow Haskell Compiler inliner by Simon Peyton Jones et al.
41.
by sanxiyn 5mo ago
GPT-5.2 was released after November 2025.
42.
by sanxiyn 5mo ago
Consumers have a choice of not buying, so generally they do not lose to unions.
43.
by sanxiyn 5mo ago
The union makes us strong. -- A proud programming union worker in South Korea since 2018.
44.
by sanxiyn 5mo ago
"Parking" lock is a reference to this: https://webkit.org/blog/6161/locking-in-webkit/
45.
by sanxiyn 5mo ago
Mozilla published some numbers and actual bugs. https://hacks.mozilla.org/2026/05/behind-the-scenes-hardenin...
46.
by sanxiyn 5mo ago
There is a benchmark for performance work, and I think it is not being optimized by model vendors. The latest result from GSO is that both Opus 4.6 and 4.7 slightly outperforms GPT 5.5. This also matches my experience. https://gs
47.
Aurora: A Leverage-Aware Optimizer for Rectangular Matrices(blog.tilderesearch.com)
1 points by sanxiyn 5mo ago|0 comments
48.
Spec CPU 2026(spec.org)
2 points by sanxiyn 5mo ago|0 comments
49.
by sanxiyn 6mo ago
No you really can't. Being able to factor 15 but not 21 with Shor's algorithm is normal. I know it sounds absurd, but it really is that way. Because factoring 21 is about 100x times harder than factoring 15. See https:/&#x2F
50.
by sanxiyn 6mo ago
The main point is that just as you can't ask for tiny nuclear explosion because nuclear physics just doesn't work that way, you also can't ask for factoring of 21 with Shor's algorithm. Quantum computing just doesn'
51.
by sanxiyn 6mo ago
I will let Scott Aaronson speak. (See https://scottaaronson.blog/?p=9668 ) > Sometimes these days, I'll survey the spectacular recent progress in fault-tolerance, 2-qubit gate fidelities, programmable hundred-qubit s
52.
by sanxiyn 6mo ago
As I understand, Rice's theorem does not apply because neural networks are not Turing-complete.
53.
by sanxiyn 6mo ago
To some extent yes, but models are good at reverse engineering such that it isn't as great advantage as you might think.
54.
by sanxiyn 6mo ago
Last three CVEs are collections of bugs. CVE-2026-6784 is a collection of 55 bugs. CVE-2026-6785 is a collection of 154 bugs. CVE-2026-6786 is a collection of 107 bugs. As for credits, I think bugs are ultimately credited to people, and thi
55.
by sanxiyn 6mo ago
Why do you think so? I didn't get such impression.
56.
by sanxiyn 6mo ago
The gap between formal and informal has been pointed out as an Achilles' heel of formal methods from the dawn of the field, so critique is not particularly new. The standard reference is Social processes and proofs of theorems and prog
57.
Measuring Human Performance on ARC-AGI-3(arcprize.org)
2 points by sanxiyn 6mo ago|0 comments
58.
by sanxiyn 7mo ago
Well, that's because this post is about Gen 13. In FL2 post (presumably on same Gen 12 servers), they say 25% lower latency.
59.
by sanxiyn 7mo ago
In this case the code is public and you can see they are not cheating in that sense.
60.
by sanxiyn 7mo ago
Here it is: https://arcprize.org/leaderboard/community

More ›