twiceaday

6 ms·

1.
by twiceaday 12d ago
Lean is like a statically typed programming language and validity is guaranteed if it compiles. The only room for errors is in translating a non-Lean theorem into Lean, so that you are not proving what you think you are proving.
2.
by twiceaday 12d ago
"And the trees are all kept equal / By hatchet, axe, and saw"
3.
by twiceaday 3mo ago
And the relative values of those stocks will shift requiring rebalancing. You might be able to do that with new dollars for a while but hopefully, eventually, the swings are much more than new dollars and then what? Pay capital gains tax on
4.
by twiceaday 3mo ago
Value is tied to how people assess value. They used to assess it on the performance or potential of the company whose ownership you were taking a part of. Now speculation plays a much bigger role. This seems predictably correlated with dist
5.
by twiceaday 4mo ago
Tesla is currently 2.2% of S&P 500. If it halves, losing $800,000,000,000 usd market cap, the index will go down by 1.1%. What big risk?
6.
by twiceaday 5mo ago
How about every value appears 0 mod n times except one which appears 1 mod n times? :) Solution: xor is just addition mod 2. Write the numbers in base n and do digit-wise addition mod n (ie without carry). Very intuitive way to see the xor
7.
by twiceaday 9mo ago
You assume the goal is to dominate the EV market. It seems pretty clear that this hasn't been Teslas revealed preference for a long time. The goal is to keep raising the stock price. If that involved selling fewer EVs Elon would do it.
8.
by twiceaday 10mo ago
All of us trained our human "LLM" in the same environment (a human baby body) so it's easy for us to agree. I think once we have LLM-like entities that are always on and output a constant stream of thoughts, lines are going t
9.
by twiceaday 10mo ago
The stateless/timeless nature of LLMs comes from the rigid prompt-response structure. But I don't see why we cant in theory decouple the response from the prompt, and have them constantly produce a response stream from a prompt th
10.
by twiceaday 11mo ago
This is a critique of basketed index funds not total stock market index funds like FSKAX. When that observation is applied to FSKAX it reads like this "An index fund, by its nature, must occasionally dump stock I like and buy stock I d
11.
by twiceaday 11mo ago
Seems more of a 'how' than 'why.' Good stated reason that lets you keep the actual reason private.
12.
by twiceaday 11mo ago
Math is a purely logical tool. None of it "exists." That makes no sense. Some of it can be used to model reality. We call such math "physics." And I think physics is significantly closer to math than to reality. It&#x2
13.
by twiceaday 1y ago
This phone has the highest screen area to weight ratio except for the Galaxy S25 Edge.
14.
by twiceaday 1y ago
https://www.scottaaronson.com/papers/bb.pdf This paper contains many conjectures around BB that could be interesting to some.
15.
by twiceaday 1y ago
This is naive. The problem is that there are enough people with enough power who want house prices to keep going up. The solution must involve making them upset that they cannot get their way. Anything that doesn't have this shape is a
16.
by twiceaday 1y ago
To me #3 sort of looks similar, but everybody else is clearly not close to similar.
17.
by twiceaday 1y ago
Point is, there is flexibility in how different brands implement it. I think it will be the same as eco mode / sports mode / track mode.
18.
by twiceaday 1y ago
I bet that when this tech is in normal cars some will have it tuned to drive much more aggressively and/or simply have that be a setting. I suspect that would be a big selling point / driving tacitly would be an anti-selling point
19.
by twiceaday 1y ago
There is money in them doing this nasty nonsense. The cost of something like a cellular connection will only keep dropping. Therefore, it is just a matter of time before such devices can connect to the internet without any way for the user
20.
by twiceaday 2y ago
The real nerds celebrate Tau day on 6/28.
21.
by twiceaday 2y ago
An insane amount of money was donated by pro-crypto lobbies to the campaigns, and they will make it all back.
22.
by twiceaday 2y ago
Meta needs VR to hit big with normies and what you describe will never hit with a billion normies. So it's not surprising they aren't focusing on it.
23.
by twiceaday 2y ago
TLDR: Do an experiment, then move 10 meters to the left (or rotate 90 degrees, or wait a few days) and do it again. The results don’t change, because the laws of physics don’t change. This realization alone is enough to produce conservation
24.
by twiceaday 2y ago
Humanity was fine living in an environment much closer to what our bodies evolved for. But now tempting things are evolving faster than our biological countermeasures so we need sociological or chemical ones. What is the alternative? Coordi
25.
by twiceaday 2y ago
Are you implying that this somehow explains the full price? Those same few places are also the best places to buy investment properties, and this fake demand (not buying to live there) increases prices too, and this impact could be huge.
26.
by twiceaday 2y ago
https://en.wikipedia.org/wiki/Weierstrass_function#Construct...
27.
by twiceaday 2y ago
I have no idea what you are talking about. /s
28.
by twiceaday 2y ago
nit: Profit is money after expenses. You may be robbing real people of money covering expenses, which seems much worse. Better to use revenue or income.
29.
by twiceaday 2y ago
Sounds like Brain Dances (BDs) from Cyberpunk 2077.
30.
by twiceaday 2y ago
Its the media (or more generally group dynamics) too. One side exaggerates how nasty the other side is, which gets people outraged and engaged, then they act nasty to them because its 'justified.' It also creates a feedback loop w

More ›