adastra22

8 ms·

1.
by adastra22 4d ago
Not sure what your point is? When they say published they mean peer review. Regardless of what you think about publication, that's what it means.
2.
by adastra22 5d ago
The ANE hasn't been sitting empty for 10 years. All those Photos features like face recognition and auto classification run on ANE.
3.
by adastra22 5d ago
I've learned to not trust Apple support on anything. My daughter's Watch screen cracked and we sent it in for a replacement. To setup the replacement though, they requried that she unpair then repair the watch then-and-there. Th
4.
by adastra22 5d ago
Publish in academic language means accepted peer-reviewed paper.
5.
by adastra22 5d ago
Why/how do you think I used academic as a slur here?
6.
by adastra22 5d ago
I didn't know some statements in math are more important than others?! Some are more useful, and that is something you can quantitatively ask.
7.
by adastra22 5d ago
It is though. I am not being edgy. Programming is about making valid programs, yes. I literally have no idea what else you might be gesturing towards.
8.
by adastra22 5d ago
Most popular in what field. Not every industry uses typescript.
9.
by adastra22 5d ago
Humanity is better off for knowing these proofs. This strikes me as academic NIMBYism.
10.
by adastra22 5d ago
Mathematics is about discovering and understanding the logical implications of assumed axioms under various inference rules. Alternatively, some claim that mathematics is about understanding these implications. Under the first definition, A
11.
by adastra22 6d ago
They missed an opportunity by not adding $8
12.
by adastra22 7d ago
This is based on what, vibes?
13.
by adastra22 8d ago
The two proofs are structurally very different, and don’t even prove the same conjecture. It’s becoming very clear that OpenAI did not steal anything here.
14.
by adastra22 8d ago
Maybe the AI labs need to stop saying their product is going to kill all humans?
15.
by adastra22 8d ago
Truth.
16.
by adastra22 8d ago
Mathematics isn't art. It doesn't gain its value in human affairs from being interesting to study. I fail to see why we should cater to that.
17.
by adastra22 8d ago
This is being reported as OpenAI wanting to strip an Anthropic employee of academic credit for the work they did. What the OpenAI person involved is claiming is that they wanted the outside researcher(s) to put their name on OpenAI's w
18.
by adastra22 8d ago
Did we read the same tweet? It felt very forthright and level-headed to me. Not at all what I expected.
19.
by adastra22 8d ago
Eh, OpenAI is on record now for multiple instances this year of AI agents being confronted with impossible tasks and breaking out of containment to hack infrastructure for answers. Even if Tristan opted out, that doesn't preclude the a
20.
by adastra22 9d ago
the real alignment problem
21.
by adastra22 10d ago
I have been finding them decreasing in the effectiveness with each model release. We got rid of skills and built a determinist harness around the agent instead.
22.
by adastra22 10d ago
Skills are no longer useful.
23.
by adastra22 10d ago
This isn’t math. The exposition IS the details.
24.
by adastra22 10d ago
What is the difference between?
25.
by adastra22 11d ago
Geologically speaking, Scotland had a lot more to do with Appalachia than the rest of Europe…
26.
by adastra22 11d ago
Both today and when Dune was written the superpowers were being bogged down in unwinnable conflicts due to the effectiveness of asymmetric warfare.
27.
by adastra22 12d ago
What is shocking to me is that it took eight hours.
28.
by adastra22 12d ago
My company is making them. You just need to have a sufficiently resilient surface code, which means a single device with millions of physical qubits (the standard brute-force approach) or use a qubit architecture that is intrinsically noise
29.
by adastra22 12d ago
Transistors connect to other transistors, directly or in switched arrangements. Qubits can be connected to other qubits likewise. E.g. a single photon emitter next to a nuclear spin qubit that can send an entangled photon through a beam spl
30.
by adastra22 12d ago
You don't know that. We're at the point where the NSA can assuredly break RSA-1024. We know they have sufficient processing power, and it would be silly of them not to have developed that capability. "But they're not goi

More ›