Readit News logoReadit News
trotro commented on Perpetual futures, explained   bitsaboutmoney.com/archiv... · Posted by u/sirodoht
HWR_14 · 23 days ago
Why would I want a perp on BTC when I can just buy the coin? The example quoted the price of the perp as (close to) the same as the price of BTC, so if I'm not getting leverage why not just buy the coin and avoid counterparty risk?
trotro · 23 days ago
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.

trotro commented on 987654321 / 123456789   johndcook.com/blog/2025/1... · Posted by u/ColinWright
trotro · 2 months ago
Feels like a Temu version of Ramanujan's constant [0].

[0] https://mathworld.wolfram.com/RamanujanConstant.html

trotro commented on iPhone users can now set WhatsApp as their default calling and texting app   theverge.com/news/637489/... · Posted by u/taubek
nathancahill · 9 months ago
No, overseas most do and it's endless frustrating right now:

1. Long press on the phone number, but don't tap it otherwise it calls

2. Choose Copy phone number

3. Create a contact

4. Refresh WhatsApp by quitting and reopening

5. Find the contact on WhatsApp and call

If you're calling multiple companies for bookings or quotes, repeat this over and over.

trotro · 9 months ago
FYI you can go to wa.me/<phone-number> on your browser to start a WhatsApp conversation without having to create a new contact.
trotro commented on AI solves International Math Olympiad problems at silver medal level   deepmind.google/discover/... · Posted by u/ocfnash
petters · a year ago
The problems were first converted into a formal language. So they were partly solved by the AI
trotro · a year ago
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.
trotro commented on AI solves International Math Olympiad problems at silver medal level   deepmind.google/discover/... · Posted by u/ocfnash
10100110 · a year ago
Don't confuse interpolation with extrapolation. Curing cancer will require new ideas. IMO requires skill proficiency in tasks where the methods of solving are known.
trotro · a year ago
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)

trotro commented on Apple announces $110B share buyback after quarterly profit and revenue drop   thenationalnews.com/busin... · Posted by u/belter
trotro · 2 years ago
So how do these huge buybacks actually work? Like, do they just buy them in the open market? Or is it all OTC?

u/trotro

KarmaCake day210February 13, 2022View Original