ViscountPenguin

Seems very reasonable to me tbh, the VCS was built to facilitate human work structures, rebuilding it to facilitate autonomous work seems appropriate.

I have at least some level of experience with advanced maths, but the thing that always struck me was how amenable to automation that a lot of it seemed. While it might be creative for a human to come up with the Schreier refinement theorem, for example, I don't think it fundamentally requires creativity.

On some level, I think the most straightforwardly creative work in maths comes from building up useful generalizations; I can't see current LLMs inventing even something as straight forward as a manifold from first principles; but I also don't think that's fundamentally required to prove useful things, I think it's more of a shortcut for humans.

I dunno, this screams of goal post moving. Even if LLMs lack whatever nebulous definition of "creativity" that someone favours, there's no inherent reason for "creativity" to be required to solve any problems at all, "creativity" could just be a human method for solving problems that evolved because of it's broad applicability but is suboptimal at any given task.

It can be really frustrating viewing threads like this sometimes. I've not once seen an interest rate swap priced in anything other than float/double, and that's relatively simple even compared to some of the crazy instruments out there.

Like, sure, probably don't use floats for everything, but what are the odds that your greeks are gonna be nicely expressable as simple rationals?

You could do a two stage process, a blinded text review and an unblinded review that can only be failed if you have a vigorous lack of knowledge about your work.

I highly doubt anything like that will be implemented though.

I think it's very field dependant. In maths and biology I've seen very few professors that could reasonably be described as maximialists here; computer science really seems to be the outlier. My impression is that impactful CS professors tend to be more strongly associated with either maths, or the field that their cs research is being used in.

Arts faculty on the other hand seem to basically just be a popularity competition.

Israel Palestine single-voterism is particularly frustrating to me because of the weird way it has to infect completely irrelevant topics. As a particularly crazy example, I remember people arguing about Israel Palestine in the context of the Australian Aboriginal Voice to Parliament debate, a debate about an internal representation mechanism for Australian Aboriginal people, incredibly few of which have any ties to either Israel or Palestine, and a group which I considerably doubt represent a single soldier on either side.

Petitioning the corrupt head of state to force Anthropic out of business seems to be part of the business model.

Nearly everyone I know puts sunscreen on their hands. Here in Australia, the world melanoma capital, sun safety is drilled into you as a kid, to the extent that "no hat no play" used to be official policy in most schools.

I think that really depends on which country you live in. My country has only had a few relatively minor spats with China, Vietnam less so.

In my experience, US citizens are completely blind to how much stuff like this makes citizens of other countries hate their government (which often, unfortunately, bleeds over to hate for US citizens; not that I condone hating any group of people based on the actions of their state)

The US has spent the last 12ish years betting that they're the only country that matters, but the end of result of that is that somehow when I talk to Australians in my age group the average person has a more positive opinion towards China even than the US.

Eh, I've have the exact opposite experience.

Way back before instruct models it was pretty difficult, but for the last couple of years I haven't needed anything more complex than the type of text that I might send in a detailed email to a colleague.

There's something interesting here, where the very thing that prompted the LLM boom (transformer networks) was the thing that introduced a higher level of information integration into neural networks; under the somewhat mainstream theory (not to say uncontroversial, though) that consciousness is a function of Integrative Information (IIT), it could be said that transformers are in a real way more conscious than previous architectures.

Eh, I love blindsight, but I really think it oversold the case against consciousness and for belligerent intelligent life.

Oh, fuck

You're off by an order of magnitude with those last two.

The thing I've never understood about the ai investment model is the upside. What's the point of valuations that only make sense if you've built a digital god, when at that point you've literally got a digital god. I can't imagine the tangible value of money being high in that scenario

I find that a lot of arguments against emergent consciousness seem to just come out of an atheist rephrasing of abrhamic priors about the existence of a "soul". In personal chats, I've found people from East Asian countries (minus Korea, which makes sense) to be much more open to the idea of machine consciousness.

That kind of shows what I mean actually. I can get double the tokens per second for a little more, or 10% less for 20% less in price.

It's on the pareto frontier, sure, but a kind of shittt point of it

The x axis is unlabelled, there's literally no way to know if you're close to the correct probability mass.

I don't really get the value proposition of groq as a user, the performance is really poor for the token price. Data centres on the other hand are becoming a commodity, and I don't see any reason a priori to invest in groq specifically for something like that.

Pyro is really cool if you're into probabilistic programming languages, but the Numpyro is significantly faster iirc.

Lots of bugs seem to be fundamentally quite local, but potentially with global trigger conditions. Heart bleed for example could've been avoided even if you could only read small segments of the codebase at a time, but could only be triggered with more context.

I suspect that a combination of ai and memory safe languages will really shine in the next decade.

The biggest difference would be the fact that you can discover video game cheating through some kind of trace. Speed running communities go pretty hardcore on that kind of thing nowadays.

It's a lot harder to detect cheating when your only trace is how fast someone submitted the string CTF{DUck1e_Pwned}

Contrarian experts are really important imo, and I don't think their efforts should be devalued just because nuts might be attracted to them. As long as they're properly engaging in the scientific method I reckon that they're perfectly fine to quote.

If someone has a historical of unethical behaviour it's reasonable to want significantly more evidence for their claims.

The kaiji author is a massive riichi fanatic if I recall correctly.

I don't think the predominant factor causing pollies to shy away from increasing housing supply is a lack of understanding that supply decreases prices, it's a lack of political will to decrease prices.

It's harder than you think to argue for a house price decrease when it's the singular asset that most older adults have most of their wealth tied up in.

Hackernews is at its base a forum for startups. It's hardly surprising that people paid to make a thing might find it cognitively difficult to accepts its flaws.

There's some interesting research on the effect of T in mice which has been challenging traditional assumptions of its role in males: https://news.emory.edu/stories/2022/08/esc_testosterone_anim...

It's worth noting though that the actions of the "stereotypical man" are strongly culturally informed, and not neccessarily indicative of whatever evolutionary pressures would've wired males brains whatever way they're wired for fatherhood. I don't think we have much direct evidence of ancient female and male parent roles (apart from being able to infer the obvious, like that females would've breastfed).