Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
drdeca
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
62 ms
·
871.
▲
by
drdeca
5y ago
On the recommendation (without clicking the video), click the 3 dots, click not interested, click the button to say why, click not interested in this channel. This usually stops the channel from being recommended? You can also go into your
872.
▲
by
drdeca
5y ago
I don’t think that’s right. I’m pretty sure the idea is that a kugelblitz would be a black hole not a white hole?
873.
▲
by
drdeca
5y ago
No, I don’t think that makes sense? It would either just make a black hole, or, cause no issue?
874.
▲
by
drdeca
5y ago
Showing that X implies a contradiction is showing not X in intuitionistic/constructive logic, yes. However, you can’t show X by assuming not X and reaching a contradiction. By doing so you would only show not(not(X))
875.
▲
by
drdeca
5y ago
Can machines for extracting CO2 from the atmosphere have how hard they are running be ramped up and down quickly? Or do they just have a rate they work at, where changing how much one is doing would require changing how much machine there i
876.
▲
by
drdeca
5y ago
In what sense is it "dominated by negative numbers"? Half of the combinations of multiplying gives something positive and half gives something negative. That's balanced. If someone fails to count (+,-) and (-,+) separately, t
877.
▲
by
drdeca
5y ago
Well, pairing the TV with a light sensor in a fixed location, and like, having the tv alternate between a sequence of different patterns, and recording how this changes the reading of the light sensor, and assuming that the room is otherwis
878.
▲
by
drdeca
5y ago
uh, (-1) * (-1) = 1 holds in any ring. If you have multiplication distributing over addition, then the product of (-1) and (-1) is 1 . It isn't an arbitrary choice.
879.
▲
by
drdeca
5y ago
I do agree that it probably makes sense to err on the side of being too quick to estimate that something is likely sapient than to err on the side of being too slow to do so. However, that doesn't make it impossible for a plan-producer
880.
▲
by
drdeca
5y ago
Huh, for some reason I seem to remember thinking that it was going to be about like, a model logic about erotic things or something, and I was wondering why anyone would design such a thing.
881.
▲
by
drdeca
5y ago
Just because something is AGI probably needn't imply that it is sapient. It might have no internal experience, no feeling of desire, only a utility function which it optimizes.
882.
▲
by
drdeca
5y ago
Whether an AGI should have rights depends on the specifics of the AGI. Being capable of acting in general environments, planning and taking actions in the world, etc. I think probably aren't in themselves enough for the agent to have m
883.
▲
by
drdeca
5y ago
Force isn't a resource which is spent.
884.
▲
by
drdeca
5y ago
I'm mostly not in favor of software or media piracy (though if it has been sufficiently long (not sure how long) since it has been commercially available, or a handful of other cases that don't come to mind right now, I think prob
885.
▲
by
drdeca
5y ago
You don't own the stuff on the shelves though? I agree that games that has been commercially available sometime in the last year shouldn't be pirated (and I'm not sure at what point in time after the last time it was commerci
886.
▲
by
drdeca
5y ago
I think the idea is "If everyone determined their actions as a function of the combination of their circumstances with their idiosyncratic wants, using the same function", where said function is assumed to be natural and not like,
887.
▲
by
drdeca
5y ago
It may be MIT legally or whatever, but calling it “MIT” could still be misleading when people expect “MIT” to refer to the research and education institution. Just because Facebook decided to rename itself (but not the website) “Meta” inste
888.
▲
by
drdeca
5y ago
by AGI do you just mean artificial general intelligence, as in, capable of composing plans and deriving conclusions and such about the world in general, doing all the same types of reasoning tasks that humans are capable of and which are al
889.
▲
by
drdeca
5y ago
they didn't mean that it was astounding that something of the form "xxx1 + xxxx3 = xxxx4" was in the training set, but that it managed to "learn the pattern".
890.
▲
by
drdeca
5y ago
I don't think it makes sense to talk about enforcing a smart contract with law enforcement. You could perhaps have a legal contract that goes along with the smart contract, and which refers to the smart contract, and this legal contrac
891.
▲
by
drdeca
5y ago
There are physical limits to computation. The number of orders of magnitude remaining, is not that large.
892.
▲
by
drdeca
5y ago
It is spelled "Ethereum", not "Etherium".
893.
▲
by
drdeca
5y ago
So like, a functional derivative of differentiation? Except like, instead of the 2nd order function returning a number, where the functional derivative would be ((R -> R) -> R) -> ((R -> R) -> R), uh, instead, the thing you g
894.
▲
by
drdeca
5y ago
seeing as the downvotes on comments aren't shown anywhere, that would surprise me a little
895.
▲
by
drdeca
5y ago
Do other jobs of comparable death rates have higher pay? My understanding is that there are a number of jobs with higher death rates which aren't typically thought of as like, super "in the line of danger" jobs. Are those sta
896.
▲
by
drdeca
5y ago
YAML stands for “YAML Ain’t Markup Language”, (originally “Yet Another Markup Language”). It it a way of storing the same kind of thing that JSON can store. Though, unlike JSON, it supports comments, uses a python-like significant indentati
897.
▲
by
drdeca
5y ago
Technically, rather than ignoring history and starting from before the hack, they added a nonstandard transaction (not generally allowed) which reversed the effects of the hack. This did not revert other transactions that happened after t
898.
▲
by
drdeca
5y ago
Seems like maybe it would have been good if the ERC-20 standard had been designed such that you couldn’t send the token to an address controlled by a smart contract unless the smart contract had marked itself as being able to receive that k
899.
▲
by
drdeca
5y ago
Secretary? I’m not really talking about an organization, I’m talking about an individual. A few hours of training is reasonable enough, I suppose? Seems like it might be simpler to just have whoever is responsible be liable for any problems
900.
▲
by
drdeca
5y ago
Depends on what "have a dedicated officer" entails? If it requires employing someone you wouldn't be otherwise, then, yes, I do think it is unreasonable to require that I hire someone if I am letting people give me an email a
More ›