Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
fidotron
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
fidotron
5d ago
The Claude models definitely felt more susceptible to moods, like you could leave them for a few hours, come back and it suddenly was unable to do things which it was doing just earlier, which tellingly is never an experience I've had
2.
▲
by
fidotron
5d ago
Yeah that fits. I was in London (though not the City) and it was definitely that sort of scene. Thinking about it, we moved to Dell as part of the run up to IPO, and I suspect had we not done so Sun would have been much harder to deal with
3.
▲
by
fidotron
5d ago
Sun commercial sales reps, at least in Europe, were astoundingly slimy. I had a colleague where almost his whole job consisted of beating them in sheer sliminess, and at this he was good. I don't think we ever paid 30% of the prices th
4.
▲
by
fidotron
7d ago
Yes, in my case "intuition" comes a lot from visualizing things spatially, manipulating them, and being able to capture their properties in equations/proofs, and it's that which is (currently) conspicuously missing when
5.
▲
by
fidotron
7d ago
Yes, I think the augmentation of LLMs with (hopefully eventually higher dimensional) world models will prove very interesting for all this.
6.
▲
by
fidotron
7d ago
> Maybe LLMs do not need intuition because they can scale their “cognitive capacity” with hardware and brute force their way through these problem spaces. My view is that is certainly true of smaller LLMs but becomes less true as they sc
7.
▲
by
fidotron
7d ago
You realize the commenter has now confirmed my interpretation was right? What is up with this whole sub thread of obvious hole digging?
8.
▲
by
fidotron
7d ago
That's easy: basically all the spatial ones. I used to be a game dev, and one of the interview questions someone came up with consisted of working out the surface area of a variant of Menger sponge to some given level of depth. The bif
9.
▲
by
fidotron
7d ago
Appreciate the clarification, even if I disagree! I think we differ on what "mathematical intuition" is then. I've seen people that do well in undergrad math degrees simply by massively memorising things and learning how to j
10.
▲
by
fidotron
7d ago
Why? The entire subject of conversation is triggered by things which are not humans producing proofs. If it's possible for a machine to produce a proof without intuition then clearly a human could also do it too. (And in fact I'd
11.
▲
by
fidotron
7d ago
The parent comment literally said "You cannot do proof without intuition". Therefore, according to that logic, an entity producing proofs must have intuition. Edit to add: the parent commenter has now confirmed my interpretation o
12.
▲
by
fidotron
7d ago
It's interesting how the negative examples all look like mobile game ads. Which isn't an accident - mobile game ads are tuned studiously on consumers actual preferences and not the preferences of designers. i.e. the people that ar
13.
▲
by
fidotron
7d ago
Surely this implies these LLM generated proofs require the LLMs to have mathematical intuition . . . and honestly I don't think many people believe that, and rightly so, certainly not in the way Poincaré was on about. Maybe it's b
14.
▲
The first new species of cat discovered in more than a century
(scientificamerican.com)
10 points
by
fidotron
8d ago
|
0 comments
15.
▲
by
fidotron
9d ago
The legendary persuasiveness of the angry Ontarian when reality fails to match what would be personally convenient for them.
16.
▲
by
fidotron
9d ago
> For instance, I once needed $600 of tests at the ER. The hospital billed $80K. The insurance company paid $7K. I paid $100. The other bit of the story was "we realised you might not be American from your face when we showed you th
17.
▲
by
fidotron
9d ago
> Ontario bankrolls Quebec largess A funny way to spell Alberta. Ontario doesn't bankroll anyone, and hasn't for decades. We all suffer the weakened CAD simply to secure votes in Ontario.
18.
▲
by
fidotron
9d ago
Just don't mention the Ontario car industry, or the state of your public finances.
19.
▲
by
fidotron
9d ago
In winter even the warm bits of the EU aren't all that warm either, and no one complains about the cold like a (non B.C.) Canadian encountering European winter humid cold for the first time. Europeans go to Thailand, even Latam etc. It
20.
▲
by
fidotron
9d ago
> largely a welfare state propped up by the rest of Canada, primarily Ontario Aside from the wrongness of the rest of your comment, you're hilariously out of date here. Ontario has become the defining political and economic disaster
21.
▲
by
fidotron
9d ago
Months ago. I live in Quebec (which is where the hospital incident occurred). Now thanks to the Internet it's way harder for hotel clerks to claim prices are different, which used to be exactly what they'd do, consequently it'
22.
▲
by
fidotron
9d ago
One of the major problems of Canada is it's essentially a line of provinces east-west. It means you cannot simply route around a province with unreasonable demands, everyone must be placated, and the resource region of Alberta is serio
23.
▲
by
fidotron
9d ago
The question is if it would allow all the wealthy Canadians to finally leave for Cyprus without paying exit taxes.
24.
▲
by
fidotron
9d ago
It's something many Canadians don't want to accept, but too much of their tourist facing industry is setup to exploit and frankly con Americans. I recall on my first trip here ending up in hospital, being mistaken for an American
25.
▲
by
fidotron
9d ago
Quebec is also about to have a provincial election where separatism, and everyone's relationship to it, is the main argument. Many people on both sides of the Atlantic wrongly think Quebec is more compatible with Europe than the rest o
26.
▲
by
fidotron
10d ago
The great confusion for Anthropic and OAI is how to break out from pure chat without signalling you in fact intend to eat all of your customer's business too.
27.
▲
by
fidotron
10d ago
I don't actually disagree, and advocate that for now the thing to do is use both. You need to use frontier models to understand where the puck is going, but also to use local ones for anything remotely sensitive.
28.
▲
by
fidotron
10d ago
I turned off Anthropic properly and switched all of that over to OpenAI yesterday. (I use other models for other things too, especially DeepSeek in Pi). Honestly aside from the voice it uses you wouldn't notice a difference. Switching
29.
▲
by
fidotron
10d ago
If it involved being able to leave Canada in perpetuity without an exit tax, which would open the floodgates in a most unintentional way.
30.
▲
by
fidotron
10d ago
I refer you to the video as to the why and how, keeping in mind that's before the Berlin Wall came down. The Brits have a habit of only telling you the precise truth when they think you think they're joking.
More ›