random3

(shooting from the hip) What if the 350 engineers had built a company instead? Union-like efforts could focus on creating new companies (having the "union" is about ensuring a certain level of organizational knowledge, like YCombinator creates a structure around startups)

I think companies would more careful about how fast and lose they operate, if firing may mean having to contract with a 3rd party.

reminds me of this other post https://news.ycombinator.com/item?id=48498385

This. lol. If you think state makes things easier you're in for a big surprise.

GPS tampering “data” from a company who’s upcoming tech is advertised to solve the problem their data shows is indeed a problem, and coincidentally also raised their 170M series C

Like nobody gets credit for avoiding problems or unnecessary things/complexity altogether. In fact the opposite may happen.

Isn’t this expected? Once it becomes smarter it should event make it unobvious.

I was making a related point in https://news.ycombinator.com/item?id=48462628 Got downvoted as I assume some didn't parse past the first line.

There's virtually an infinite number ways to assess something like this, and a single figure out of context is meaningless.

What's the deprecation schedule? Which financial "context" is it calculated within? A household may benefit from governmental support and profitable, while the aggregate financial situation may or may not be so. What timeline is it calculated on? A 5-10 year window may be unprofitable, while a larger one may be. An even longer one may change numbers completely...

Where do you run DeepSeek?

That’s interesting! As I’m researching this (for my family) I have questions :) - have you tried entomol? How does it compare? - is it advisable with for young kids, if it’s irritant? - how long does it stay on? - what do you do when you get so many ticks on yourself? Watch if you get spots after 30 days?

Entomol is hydrogenated catmint oil

+1 - MCP is a transient effect of current models’ limitations. But the “when” is relevant

I wonder what’s the motivation though. Subscriptions? At a minimum they could limit based on recency. It’s “news” after all so having a number of days of delay for archival would solve most issues, I assume.

I think it’s a cost/opportunity tradeoff at best with any agreement, regardless. The rest of the contract may make it difficult to impossible to do anything about it, starting with basic arbitration clauses and ending in a ton of other provisions that can make any legal action futile. I doubt there’s much room to negotiate too.

Given that all labs need to diversify to become profitable, they’ll end up competing with their customers and theres nothing that exposes a business more than having AI offload every job function for every account, every mail etc.

Assuming this won’t be an issue is naive at best.

This is more like the popular lay take that are more or less confused about the meaning and implications of the theorems. The fact is that the implications are real yet more nuanced than this - something the article touched on.

Hilbert’s program was to reduce math to a finite set of axioms and was indeed derailed by incompleteness theorems(Gödel) and undecidability (Church, Turing).

Formalizing math with automated theorem provers has little to do with the goal of Hilbert program. Also they aren’t related to the foundational research that it entailed.

Also, as the article mentions, the implications as well as Gödel was largely misunderstood.

While that may be the case it’s hard to make this claim when: - Anthropic settled a similar case - Anna didn’t show up in court

he'd probably be a great face for developer relations or whatever Antropic calls the role

They gotta become a platform, so likely more will come

It seems a good idea to ban cheating, but how hard is it, especially in new reasoning/agents contexts to validate references?

The deeper question is whether legitimate AI generated results are allowed or not? Test - In the extreme - think proof of Riemann Hypothesis autonomously generated (end to end) formally proven - is it allowed or not?

Obsidian doesn't just render markdown though. There's a ton of functionality on top of Markdown which makes switching to any other tool very hard in reality. This is further exacerbated once you start relying on plugins (which arguably is the case with the majority of Obsidian users).

perhaps it's your IP/network. I'm not getting any of that

If that would have been even remotely a possibility, wouldn’t have Intel (assuming this news is real and realistic) be the best option to do that?

Since we don’t know the number of atoms, we’d need to let omega be a function, then deal with all the edge cases, rename omega with ∞ and..

Veritasium has a nice video about it https://www.youtube.com/watch?v=MiUHjLxm3V0

Obviously, there are a lot of reasons why. But it boils down to having the vision, the belief and the strength to follow through over many years. It's important to not confound vision with random Kool-Aid. Instead it's grounded in research. That research is itself grounded in a strong vision and belief — it got laughed by the entire physics community at the time:

> 'people seemed unwilling to believe bending x-rays, and they tended to that we had actually made an image by regard the whole thing as a big fish story

Now contrast this with the current academic reality — "publish or perish" and the reality of venture financing and corporate culture that "depends" (arguably in self-inflicted manner, that's not 100% the case) on quarterly repots.

ASML is just a recent story, but if you look back, you'll see that most revolutions have a similar pattern of people crazy enough to deviate from the herd.

The rest— the immense financial risk, the 5000 suppliers, etc. came as a result of having the ability to see through all the noise and the grit to to follow through when everyone calls you an idiot for not doing something "useful"

The whole take seems to be from the lens of immature software people that have never started or worked in a startup, or have had enough curiosity to learn that the code is not too relevant, especially at early YC stage.

That how you got the taste for lollipops?

Makes you think what’s the biggest concerns wrt Mythos — is it finding or fixing the vulnerabilities that’s scarier :))

Check out https://www.canirun.ai/ (and https://news.ycombinator.com/item?id=47363754)

(for everyone else) I know this sounds cynical, but it's just a "flashlight" at a lot of the reality that surrounds entire startup "ecosystems". Founders should be aware whether they want to choose the blue pill or the red pill.

The only point about bootstrapping is that there's no "natural" bootstrapping. You're either not bootstrapping because you "own" (one way or another) one of the sides, or you're faking it. Any other "strategy" is a pipe dream meant to get to the bootstrapping-not-bootstrapping graveyard.

You and your friend seem to make a dream team.

I wish people would understand that extremist thinking is wrong and obtuse - just as it seems to most effective solution in your case it starts looking naive and damaging if you become the target just because you have a bad face or bad luck.