If the goal is just to buy and hold, then you wouldn't use perps, not only because of counterparty risk but also because the funding rate is typically positive, meaning you pay (usually ~10% APR) to be long.
The point of perps is:
- Easy access to leverage. Unlike options or futures, there's no need to roll over.
- It's the easiest way to short a coin. Most of the time you even get paid the funding rate to be short.
- Trading fees are typically much lower than for spot.
- Volume and liquidity can be better for perps than for spot. The BTC/USDT perp did 10x the volume of the spot pair in the last 24h on Binance.
But formalization is the easy part for humans. I'm sure every mathematician would be be happy if the only thing required to prove a result was to formalize it in Lean and feed it to the AI to find the proof.
Not sure every mathematician would be happy to do this... it sounds much less pleasant than thinking. It's like saying mathematicians would rather be programmers lol. It's a significant difficult problem which i believe should be left completely to AI. Human formalization should become dead
The methods are know, but the solutions to the IMO problems weren't. So the AI did extrapolate a solution.
Also, there's no reason to affirm that an eventual cure for cancer requires fundamentally new methods. Maybe the current methods are sufficient, it's just that nobody has been "smart" enough to put the pieces together. (disclaimer: not an expert at all)
I think you are correct though. We don't need new physics to cure cancer. But we may need information-handling, reasoning and simulation systems which are orders of magnitude bigger and more complex than anything we have this year. We also need to stop pussy-footing and diddling with ideologies and start working on the root cause of cancer and almost every other disease, which is aging.
Notwithstanding the extremely low probability of winning, lotteries aren't even fair, i.e. the ticket price is far lower than the expected earnings.
I wonder if it would make sense to democratize cheap high risk, high rewards instruments, for example deep out of the money options, to replace lotteries. At least their prices should be fairer (under the efficient market hypothesis).
Expected value on some jackpot lotteries does occasionally go over 1. For example, I did the math on Canada's 6/49 about 20 years ago. Whenever the jackpot was over ~$30M, the expected payout was over 1. If you bought a ticket for every jackpot the expected payout was 0.5, the expected payout of any lottery without a jackpot was < 0.2 in hindsight. For $30M prizes the number of players and the odds of sharing a prize went up, but not enough to compensate.
It would have had to go well above $45M to make the "buy every number" strategy have expected value of > 1 since buying every number increases the expected people sharing the prize by 1.
In the UK we have premium bonds that largely serve this purpose. You are most likely to win small prizes but £1 million is possible. Average return is around 4% I think.
I know this is tongue in cheek, but there's a lot more to crypto than the scams and failed projects exposed on web3isgoinggreat.
One example is all the amazing new research in zero-knowledge proofs, MPC, FHE, and modern cryptography in general, that is motivated and funded by cryptocurrency projects.
Yes, I'll acknowledge that there may be a handful of capable researchers who are able to progress on some basic science by accepting free money from a scam industry which is indiscriminately shoveling it at anything that might appear to legitimize itself.
Just as, in days of old, those who wished to do legitimate (and costly) science had frame their research as supporting alchemical beliefs leading to discovery of immortality, or means to make gold from lead.
and astronomers who wished to build an observatory had to go along with some highly flimsy justification about how it could serve as a means to prognosticate the birth of an heir or victory in battle for some petty murderous strongman.
uh... so you're saying hypothetical coinbase cares more about security than hypothetical robinhood or fidelity, or even the good ol' google/apple?
(i'm having a hard time thinking of a successful "crypto" company other than a handful of exchanges, of which coinbase will probably be the only one that survives, at least in the US)
I don’t know if “cares about” is the right phrasing, but financial transactions are a “simple” use case for ZK algorithms. So practicality if implementation definitely affects how much a group or company cares.
Wait, how does that work? As far as I can see from the documentation, it can only serve on localhost, which to my understanding is only accessible from the single device it was launched on.
If you serve on localhost you can usually access from other devices by using the "servers" ip address. So if your desktop where you're running the server has ip 192.168.1.10 then you can go to http://192.168.1.10 in the browser of another device on the same network.
But `localhost` is also an alias specifically for the loopback address (typically `127.0.0.1`), so "serve on localhost" can reasonably be interpreted as "serve on 127.0.0.1" which will only be available to other programs on that host, and not to others devices on the local network.
Also if your host and client devices both support mDNS / Bonjour, you don’t even need to type the IP address.
For example if your Ubuntu Linux desktop machine has host name foobar, and you run a http server on for example port 8000 then you can use your iPhone and other mDNS / Bonjour capable things to open
And likewise say you have a macOS laptop with hostname “amogus” and for example http server is listening on port 8081, you can navigate on other mDNS / Bonjour capable devices and machines to
Have you checked the full docs? Maybe it takes an optional parameter to specify the server machine's IP address or host name. Then others on the network could see it.
The point of perps is:
- Easy access to leverage. Unlike options or futures, there's no need to roll over.
- It's the easiest way to short a coin. Most of the time you even get paid the funding rate to be short.
- Trading fees are typically much lower than for spot.
- Volume and liquidity can be better for perps than for spot. The BTC/USDT perp did 10x the volume of the spot pair in the last 24h on Binance.
reply