> MIT license

Live by the sword, die by the sword...

This is classic Haidt's Righteous Mind stuff -- people vibe out a moral judgement, then generate rational explanations post-hoc. I'm much more interested in trying to figure out what the vibed judgement is.

This is so cool. EEG headband next, so I can talk to my computer just by thinking?

Oh and also:

>Our models produced a natural language proof for Yang–Mills existence on September 9th, 2026

And presumably they are just missing the "mass gap" part of it.

Very clearly these were the results of taking big swings at all millenium prize problems.

Shorting a company is not a trade against the future of a company, it is a trade against the market. You can know a company is going to zero and the company can go to zero and you can still lose your shirt from shorting it.

"The market can stay irrational longer than you can stay solvent."

This quote stops me from shorting pretty much anything.

A lot of people will, if this IPO actually happens. But as is frequently pointed out a short is a market bet not a bet against the company and the market remains wild and irrational. You can be right about the company ultimately failing and still lose your shirt on a short.

However the price of CDS on bonds is already a strong market indication of where the market thinks all of this is heading. And none of that looks good if you’re betting on the AI exuberance continuing.

The bond market and the equity market care about different things. E.g. if the company has a 10% chance of going bankrupt and a 90% chance of doubling its market value, then paradoxically its bonds will look bad and its equity will look good.

When you've got companies like Tesla valued at what they're valued at. Shorting is pretty dumb.

Shorting is not the only way to protect yourself from a bad investment.

You can simply not buy shares in companies you think are on a doomed trajectory.

That said, depending on the IPO target price, I might short it.

You say this as if retirement accounts, and S&P500 ETF’s don’t exist and aren’t very common. Many people were forced into some amount of investment in spacexsi

Which is beyond the point. I was replying to someone that mentioned shorting Anthropic if you think it is a bad investment.

I presume they are not playing with shorting with your retirement account?

Might as well just say "I want to control what other people do with their private property"

Short term renters, questionable people (thieves, renters who abuse the properties around them, people who use the property poorly [massive parties that bring guns + drunk loud people]), illegal activities (like off permit filming of commercial works), brings disproportionate problems to the neighbors. Airbnb is a lightning rod of people who do that. That's one of the reasons why hotels have weird rules in states and cities.

That’s not really a controversial idea and nearly everyone who owns a home where you can see your neighbor’s house wants to do that to some degree.

If you live in close proximity to other people, you should not be allowed to do whatever you want on your private property.

Pretty much every municipality already has laws that limit you in that manner.

If you live in an area covered by an HOA then you signed up for it, literally, like your signature is on the paperwork. I have zero sympathy.

I want to live in a neighborhood that doesn't allow short-term rentals, along with others who think the same way.

That is exactly what the people who live under HOAs want. I despise HOAs, but I'm happy that the kind of people who like HOAs have a community they can all congregate in. It keeps some of them from mingling with the rest of us.

You can literally connect your Garmin to your computer via USB and drag-and-drop the raw activity files and analyze them if you want. Works totally fine. But Garmin's cloud sync is convenient and cloud processing adds data like elevation (by cross-matching GPS to topo data).

That only gives you the activities though, doesn't it? Not the 24/7 metrics the device is also collecting outside of started/stopped activities.

I've been trying to get developer access to my watch, but seems for months the Garmin Developer Program doesn't seem to accept any "requests". The only thing I've seen working, is the full account export, but that takes ~3 days for me from pressing the button until I get the email. Besides that, syncing via Bluetooth and reverse-engineer their own protocol that runs there, seems to be the only way, sadly.

Can't you just connect via USB (oldschool method from before their devices even had Bluetooth) and dump the data the old fashioned way ?

I used to use Garmin offline like that with GoldenCheetah[0], it was my weekly ritual to analyse progress.

[0]: https://www.goldencheetah.org/

This does not work for golf, I tried to get the activity but could not find it.

All of that data is on the device and can be copied as .FIT files. Some of the fields aren't publicly documented, though.

At least one person in this thread is putting their money where their mouth is

It's pretty dumb! I want the best software and the best hardware, no matter where it's made. Outside of extremely niche situations (e.g. military hardware) international trade is a positive good for all those involved. If you sleep on mattress from China, wear clothes from Vietnam, drink coffee from Ethiopia, eat food from Mexico, and use software from the United States, everyone involved in all of those countries wins: you win because you get the best product, and the companies win because they are financially rewarded for making the best product -- not for their postal address. C'mon people, this is basic economics.

We all wanted that! But than we feared that the USA will just cut our payment systems, government emails and basically every online service we have as it tries to take over Greenland.

Just the other day I saw a Facebook post advertising new artisanal coffee from a small Nordic village. Coffee...

Based on the other posts it sounds like the point is to feed it into the maw of AI generated art engines

The project was begun in 2017 and the suit was filed in 2019.