Bandcamp or buying CDs and ripping them, it doesn't take that long and each CD is a fire-and-forget task.

I'm using syncthing to avoid the chore of having to copy them into my SD card

I really wish more artists would put their music on band camp. I have even noticed that some artists who used to put their albums up there no longer are. It's a real shame

People think that shorting is an easy way of getting rich when you think a stock will go down, but even if you know it will, getting the timing wrong on it is catastrophic as you'll get unbounded loses while the market fails to correct the issues you are betting against

As the saying goes...the market can remain irrational longer than you can remain solvent.

"I may have been early, but I am not wrong!"

"It's the same thing, Michael! It's the same thing!"

People who talk shit about stocks are talking shit about stocks at a particular time.

"Oh no, when you apply scrutiny to my bullshit I get punished! That means the game is wrong!"

OP is blatantly overconfident on his "prediction", so I called him out. Looks like I struck a nerve with some people.

In my mind it has to be done this way because there's absolutely no way you'll recall everything that needs migrating in a short time. Even if you have a password manager as your email is likely older than it, but it's probably a great start if you have that.

> I suspect that the next big AI breakthrough will result at least in part from constraining LLM decisions with old AI approaches.

AFAIK bridging deductive and inductive AI has been understood as the trick for "AGI" for a long time, probably even before it was called AGI.

I really want this winter of deductive AI to be short. We need both sides and can't afford a long winter like the one inductive AI suffered.

FWIW when I first studied automatic theorem proving as a (high school) student in 2013, this was already widely discussed. They were trying to add neural networks inside the solvers, rather than current paradigm of a neural networks using theorem provers as tools. Presumably the history of logic + natural language computers would go back a lot further.

Exactly my concern, and worse overhead that what I recalled.

Cost-wise the only viable private compute is local compute. It's more expensive than cloud, but true private compute in the cloud is definitely pricier.

A better phone sent by horse would get to my hands sooner than a phone I don't give a shit about that can be shipped by airpost.

I moved from high end to a "mid-range" Samsung phone that's way better than it needs to be given how boring phones have become. The only upgrade I wish on it was more open source software.

At some point you just got to be amazed at it and celebrate.

Damn, isn't A* fun and intuitive?

I'd be interesting to dive into bounds and good properties for sets of landmarks.

I imagine that if, - Every node is at least X cost/distance away from a landmark - Landmarks are no closer than Y cost/distance from each other

You can start promising a lot about the size of your open set on any execution.

A* on h* (perfect heuristic) takes O(l) where l is the length of the solution (could expand exactly l nodes, but solving/guessing ties incorrectly might bump this to a multiple around the avg edges per vertex). I imagine that having good bounds mean you'll take no longer than a certain amount of expansions/depth before you lock-into the railway that h* provides (and you need some extra work to get off it too).

This is what really sucks about domain names

Why do you think the brits arrest peaceful protesters? It's like you can't even say free Palestine without being considered a terrorist