Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
adastra22
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
5 ms
·
31.
▲
by
adastra22
29d ago
There may have been some tongue-in-cheek there... but Adam Back is not Satoshi.
32.
▲
by
adastra22
1mo ago
It is against HN ethos to be make bold claims about things you know nothing about.
33.
▲
by
adastra22
1mo 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.
34.
▲
by
adastra22
1mo ago
The ANE hasn't been sitting empty for 10 years. All those Photos features like face recognition and auto classification run on ANE.
35.
▲
by
adastra22
1mo 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
36.
▲
by
adastra22
1mo ago
Publish in academic language means accepted peer-reviewed paper.
37.
▲
by
adastra22
1mo ago
Why/how do you think I used academic as a slur here?
38.
▲
by
adastra22
1mo 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.
39.
▲
by
adastra22
1mo 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.
40.
▲
by
adastra22
1mo ago
Most popular in what field. Not every industry uses typescript.
41.
▲
by
adastra22
1mo ago
Humanity is better off for knowing these proofs. This strikes me as academic NIMBYism.
42.
▲
by
adastra22
1mo 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
43.
▲
by
adastra22
1mo ago
They missed an opportunity by not adding $8
44.
▲
by
adastra22
1mo ago
This is based on what, vibes?
45.
▲
by
adastra22
1mo 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.
46.
▲
by
adastra22
1mo ago
Maybe the AI labs need to stop saying their product is going to kill all humans?
47.
▲
by
adastra22
1mo ago
Truth.
48.
▲
by
adastra22
1mo 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.
49.
▲
by
adastra22
1mo 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
50.
▲
by
adastra22
1mo ago
Did we read the same tweet? It felt very forthright and level-headed to me. Not at all what I expected.
51.
▲
by
adastra22
1mo 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
52.
▲
by
adastra22
1mo ago
the real alignment problem
53.
▲
by
adastra22
1mo 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.
54.
▲
by
adastra22
1mo ago
Skills are no longer useful.
55.
▲
by
adastra22
1mo ago
This isn’t math. The exposition IS the details.
56.
▲
by
adastra22
1mo ago
What is the difference between?
57.
▲
by
adastra22
1mo ago
Geologically speaking, Scotland had a lot more to do with Appalachia than the rest of Europe…
58.
▲
by
adastra22
1mo ago
Both today and when Dune was written the superpowers were being bogged down in unwinnable conflicts due to the effectiveness of asymmetric warfare.
59.
▲
by
adastra22
1mo ago
What is shocking to me is that it took eight hours.
60.
▲
by
adastra22
1mo 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
More ›