Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
zodiac
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
36 ms
·
301.
▲
by
zodiac
9y ago
> The language semantics are trivial to pick up once you have a good foundation Eh, I disagree. It may be trivial to "roughly know" the semantics of most languages, but some languages have rigorous semantics that are complex en
302.
▲
by
zodiac
9y ago
I mean without creating a new UTXO for each micropayment. Of course you need new UTXOs to open the channel
303.
▲
by
zodiac
9y ago
> It achieves nothing that an increased blocksize would not have done on-chain It lets one party in a channel send arbitrarily large numbers of payments ("arbitrary" subject to the total payment value being capped to the channe
304.
▲
by
zodiac
9y ago
> That seems to be an ultimate insult and revenge of the finance industry toward the original idea behind bitcoin. I don't think you need to pass any sort moral judgement about the existence of this. Cash-settled futures exist for a
305.
▲
by
zodiac
9y ago
The article begins by making a plausible story for his motivation. He had been sued for patent infringement in his own company - "overreaching patents" caused a lot of damage to him personally before and he saw Alphabet use one to
306.
▲
by
zodiac
9y ago
No, even if their lawyer is on the LN, Steam cannot pay their lawyer via payment channel, unless Steam owns some cryptocurrency on-chain to use as deposit
307.
▲
by
zodiac
9y ago
Unfortunately I think the paper is written for an audience of other math lecturers, to convince them to not use determinants in their own classes, and not for beginning linear algebra students
308.
▲
by
zodiac
9y ago
Yeah, I think it's written for an audience of other math lecturers, to convince them to not use determinants in their own classes
309.
▲
by
zodiac
9y ago
Which books would you recommend to learn this wedge product / differential forms approach to linear algebra and complex numbers?
310.
▲
by
zodiac
9y ago
You can define tensor products and quotient spaces without bases! (It's a bit of work though)
311.
▲
by
zodiac
9y ago
Does "maximum size of a linearly independent set" count? You would have to prove something about spanning sets to get to the existence of a basis
312.
▲
by
zodiac
9y ago
No, they really can't. They have to open a payment channel with their lawyer (or open it with someone who has a path of channels to their lawyer), and that requires them to own cryptocurrency on-chain to use as stake (what LN calls the
313.
▲
by
zodiac
9y ago
Ah cool, I had not seen this before. I stand corrected. Are there any books that use this definition? I like this style of linear algebra.
314.
▲
by
zodiac
9y ago
Well, people already complain about the fees they charge
315.
▲
by
zodiac
9y ago
Yes, it is easy to prove that "a basis exists" (almost by definition depending on how exactly you define dimension) and of course it's legal to use it in proofs, but I think proofs that avoid using this fact directly are more
316.
▲
by
zodiac
9y ago
I think it is worth pointing out that it is not exactly equivalent, in the sense that if you pay Steam via a payment channel (for simplicity, a one-directional payment channel, so they don't need to lock up any cryptocurrency themselve
317.
▲
by
zodiac
9y ago
Yes they are intuitive but it is pretty hard to define them rigorously in a way that captures that intuition. Also, every way I've seen to define them requires choosing a basis (or even an orthonormal basis), which isn't that nice
318.
▲
by
zodiac
9y ago
Linear Algebra is a great place to get exposed to some category-theoretical concepts (maybe not when first learning linear algebra, though). My linear algebra prof used the category-theoretical definitions of subspace and quotient space (eg
319.
▲
by
zodiac
9y ago
With the injectivity-based definition, you can ask "how injective is it?" in various ways (eg, what is the dimension of the nullspace of T - λI; the Ax = λx definition is rather binary and corresponds to simply "T - λI has nu
320.
▲
by
zodiac
9y ago
It is equivalent to "A complex number λ is called an eigenvalue of T if Tx = λx for some nonzero x"
321.
▲
by
zodiac
9y ago
There is an alternative if you (a staking validator, or even a full node) does need want to trust any third party: just stay online all the time. This has its own set if downsides but it's inaccurate to say that a third party is requir
322.
▲
by
zodiac
9y ago
It doesn't work like that - a working sharding scheme should not fail if one shard is taken over. This is the most recent description of ethereum sharding if you want to learn more -> https://youtu.be/9RtSod8EXn4?t=3
323.
▲
by
zodiac
9y ago
You shouldn't use the main ethereum network when testing smart contracts - develop on a local testnet and then if you want, on a public testnet (eg rinkeby or ropesten) first
324.
▲
by
zodiac
9y ago
It doesn't answer my question. What tuning system did they write for?
325.
▲
by
zodiac
9y ago
> with a crypto coin, what is the value tied to? In the specific case of ethereum ERC20 tokens [1], it depends on how the mechanism design uses the token, there's no general answer. I can give 3 specific examples. MKR stablecoin ( h
326.
▲
by
zodiac
9y ago
> it would shock classical composers if they ever heard such a version though I am not sure what you are saying. What tuning system are you claiming composers like Bach, Mozart, Chopin and Shostakovich wrote keyboard music for, that play
327.
▲
by
zodiac
9y ago
> Map your scales directly onto launchpad/push/circuit, and you never get a wrong note If you mean "map your notes so that you can only play the 7 diatonic notes of your major scale", well, then sure it's impossi
328.
▲
by
zodiac
9y ago
No, you have to opt in to this feature, hence consenting to let an employee read your message. It does not imply that they can read messages without your consent.
329.
▲
by
zodiac
9y ago
You could examine network traffic to confirm that not enough data is sent to reconstitute the picture
330.
▲
by
zodiac
9y ago
> How is the price for a coin of a fork determined? The same way the price of any coin is determined, the market-clearing price on exchanges.
More ›