Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
empath75
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
44 ms
·
781.
▲
by
empath75
2y ago
Everyone is right that the protocol is the wrong one to use, but there _should_ actually be some formally documented handshake for ai-agents to use to agree on an outside protocol to switch to.
782.
▲
by
empath75
2y ago
No, it's not. That's just the standard model of peano arithmetic. You can map the successor function to many different operations and objects that aren't even numbers.
783.
▲
by
empath75
2y ago
I love that she did that, but I really get annoyed by college PR departments reaching for practical applications for anything cool done in math. IMO refining a 100 year old problem is good enough for a press release!
784.
▲
by
empath75
2y ago
S(N) is just S(N), it's not N+1 unless you define it that way. S(0) is not 1, it's S(0). The successor function doesn't really get mapped to numbers without an explicit additional mapping.
785.
▲
by
empath75
2y ago
It's piecewise continuous, but I don't see any reason why you'd need a continuous function.
786.
▲
by
empath75
2y ago
The successor function is how natural numbers are defined in most axiomatic arithmetic systems. A natural number is either zero or a successor of a natural number. Addition is defined as a recursive application of successor functions. m
787.
▲
by
empath75
2y ago
Even assuming that this is an accurate recounting of what people believe they saw, we can dismiss out of hand that this is describing UFOs or any kind of space battle. It would have been visible all over Europe and there were astronomers a
788.
▲
by
empath75
2y ago
Miri does catch a problem here: > error: Undefined Behavior: memory access failed: expected a pointer to 8 bytes of memory, but got 0x2f5f40[noalloc] which is a dangling pointer (it has no provenance) --> src/main.rs:263:33
789.
▲
by
empath75
2y ago
Since calling the square an inverse square root makes zero sense in any practical context, the other common meaning being applied is obvious. In this case, it's not the inverse of a _function_, it's the inverse of a _number_, whi
790.
▲
The Anti-Snarf Manifesto
(buzzfeed.com)
4 points
by
empath75
2y ago
|
0 comments
791.
▲
by
empath75
2y ago
If one developed such an oracle, you would surely not share it.
792.
▲
by
empath75
2y ago
There are two ways you can get better at predicting the future. One is the obvious one of being really good at discerning signals. The other way is to alter the future to match your predictions. This is something to think about when you co
793.
▲
by
empath75
2y ago
I don't think that's different from what I said. Surely there was a lot of migration. I think the evidence is that wasn't a big bang migration, but rather a series of smaller, disconnected migrations.
794.
▲
by
empath75
2y ago
The Rig Veda was written down thousands of years ago.
795.
▲
by
empath75
2y ago
Eventually, there are going to be more experienced Rust developers than there are experienced C developers.
796.
▲
by
empath75
2y ago
There's one good reason to believe that they wrote it down (mostly) unaltered and continued transmitting it (mostly) unaltered, which is that they continued copying it and reciting it well past the point where they even understood what
797.
▲
by
empath75
2y ago
I think this comment is based on some confusion about how languages spread. Languages spread along with people, but while a local language may be replaced, the people are not generally replaced with the language. There may have been some
798.
▲
by
empath75
2y ago
I believe the article is saying that the Hittite branch split off early from the rest of the tree, and the Yamnaya are the ones that spread it around the world -- the Hittite branch ended up being a dead end.
799.
▲
by
empath75
2y ago
o1 high got this after i gave it the hint that the first five letters are not a single word.
800.
▲
by
empath75
2y ago
This and it's struggles with spelling questions are both artifacts of tokenization and not really a failure of reasoning. I think there's probably a simple solution that solves both this and the "how many r's are there
801.
▲
by
empath75
2y ago
Nobody, I think, is suggesting that nobody should hire those people, but when law enforcement hires those people, they put them through extensive screening and are careful about what they give them access to.
802.
▲
by
empath75
2y ago
LLM's demonstrably don't do this, nor do they say that they live in the hundred acre woods and love honey. Unless you ask about a specific bear.
803.
▲
by
empath75
2y ago
What year did the Normans invade England? What's Newton's second law? Who was the last czar of Russia? How many moons does Jupiter have? I bet you "know" a lot of those facts not because you have observed them empiricall
804.
▲
by
empath75
2y ago
As we all know, not a single book or work of art was produced before the creation of copyright.
805.
▲
by
empath75
2y ago
The reality of the situation is that the economic value and utility of AI is going to cause the laws to be restructured around them.
806.
▲
by
empath75
2y ago
This really has nothing to do with pedagogy and everything to do with the difference between calculations and mathematics. It's similar to the split between science and engineering. In engineering, you're applying rules of thumb
807.
▲
by
empath75
2y ago
There was a long period of time where he _was_ ignored and underrated, up until 1981, when Stephen King gave him a shoutout in his book about horror writing (Danse Macabre) and the Call of Cthulhu RPG was published. Until then, his books w
808.
▲
by
empath75
2y ago
The paper is full of grammatical mistakes and typos, and full of obvious errors in how they classify statements in their own examples. I don't think it 'confirms' anything. And using a reddit dataset as a way to classify &q
809.
▲
by
empath75
2y ago
There is not a limited amount of coding work that is available to do in the world. Many more things will be automated if automation is cheaper and easier, and no matter how much software development work is done by bots, there will always
810.
▲
by
empath75
2y ago
Bird flu
More ›