Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
bubblyworld
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
5 ms
·
31.
▲
by
bubblyworld
1y ago
Figure eight, bowline, slipknot, clove hitch, trucker's hitch (not really a knot but useful) and a sheet bend will cover you for like 99% of use-cases, including climbing haha.
32.
▲
by
bubblyworld
1y ago
I really liked this. It's a nice meander through the basics of lambda calculus. It's striking to me how much insight you can get by visualising stuff, even if it's not a great visualisation and you're doing something sup
33.
▲
by
bubblyworld
1y ago
Sure, but people are allowed to have their own opinions too.
34.
▲
by
bubblyworld
1y ago
Lol, what is up with everyone assuming there's no learning curve to these things? If you applied this argument to literally any other tool you would be laughed at, for good reason.
35.
▲
by
bubblyworld
1y ago
Have a read about kin selection, for instance. There are lots of facts about e.g social insects (like the male/female/sterile ratio iirc) that were thought to only be explainable by group selection, but later were found to work ou
36.
▲
by
bubblyworld
1y ago
Yeah, absolutely, I spent months preparing for the ICPC with my team and ended up scoring a paltry 3/12. A week would likely not have helped us at all - we simply had no idea how to approach the rest! Top teams are on another level. Co
37.
▲
by
bubblyworld
1y ago
My understanding of the "modern" point of view is that selection acting at the level of the gene (not the organism or group) is sufficient as a theory. The Selfish Gene and The Extended Phenotype go into this stuff in a lot of det
38.
▲
by
bubblyworld
1y ago
Purely academic, at least if you mean the result itself. People are bringing up all sorts of apologetic stuff about how it might be useful in the future, and as an ex-maths-phd I can sympathise, but to me this seems more like a large-scale
39.
▲
by
bubblyworld
1y ago
Your reward system is a fragile thing that is easily broken. Just look around you next time you go anywhere. We live in a society of smart phone addicts. That said, the examples OP gave of tunes while exercising seem pretty benign compare
40.
▲
by
bubblyworld
1y ago
I think people use "dopamine" in quite a loose sense to refer to reward centres in the brain and habit formation, not literally the hormone (though it's related). You might have better luck digging around those topics.
41.
▲
by
bubblyworld
1y ago
Wild, I found it hard to believe that a 4b model could beat sonnet-3.5 at anything , but at least on the vision arena ( https://lmarena.ai/leaderboard/vision ) it seems like sonnet-3.5 is at the same ELO as a 27b gemma
42.
▲
by
bubblyworld
1y ago
I think there's a bit of "Chesterton's fence" with these issues. If you don't know enough about the ecosystem to appreciate its complexity (aggressive animals are a tiny part of what's going on there) then you
43.
▲
by
bubblyworld
1y ago
I suspect (to use the language of the author) current LLMs have a bit of a "reasoning dead zone" when it comes to images. In my limited experience they struggle with anything more complex than "transcribe the text" or si
44.
▲
by
bubblyworld
1y ago
Ask a biologist or ML enthusiast; complexity is the natural outcome of a period of mutation/selection. It's a mistake to criticise the result on the grounds of said complexity, I think - rather ask what environment the complexity
45.
▲
by
bubblyworld
1y ago
Sorry, on rereading this I've actually written a bunch of nonsense. It's true that each choice of n gives you back a metric , but the |x|, |y|, |z| actually refer to the components of your vectors. So in 1-dim space you just have
46.
▲
by
bubblyworld
1y ago
There's a stackexchange thread that touches on the first two questions. It's got the integral form of the circumference calculation, but I doubt there's a closed-form solution in general: https://math.stackexchang
47.
▲
by
bubblyworld
1y ago
It's an infinite family of metrics - you provide an n (a positive integer) and get back a metric. So if you pick n=1 you get d(x, y) = |x| + |y|, which is the taxicab metric. You can apply this metric to a Euclidean space of whatever d
48.
▲
by
bubblyworld
1y ago
Depends on your circles. Marijuana use is super prevalent amongst climbers (even while climbing, for better or worse) and it's a very active lifestyle. Same for surfers in my area. I don't think it's a given that people who s
49.
▲
by
bubblyworld
1y ago
I mean, it really depends. I'm writing models for some energy traders at the moment, and things were simple enough in the mvp that we could hand-roll our optimisations. But when we started having to map real contracts it got out of han
50.
▲
by
bubblyworld
1y ago
There are other aspects to maintenance, like requirements change. In this case it's trivial to change or add new constraints to a constraint solver, whereas even small changes to a typical DP problem can require a total rethink of the
51.
▲
by
bubblyworld
1y ago
People are allowed to change their minds, or even (god forbid) have contradictory and/or nuanced beliefs.
52.
▲
by
bubblyworld
1y ago
LLMs can clearly make use of tools, unlike your cat. The claim was that they cannot do backtracking natively, which may or may not be true but it's irrelevant because they can do it through code. Who said anything about software engine
53.
▲
by
bubblyworld
1y ago
That assertion is not what I was referring to. Anyway, I'm not really interested in nitpicking this stuff. Engage with my initial comment if you actually care to discuss it.
54.
▲
by
bubblyworld
1y ago
Lol, okay. Serves me right for feeding the trolls.
55.
▲
by
bubblyworld
1y ago
I think you are applying logic and demand for rigour selectively, to be honest. Not all arguments require formalisation. I have presented mine - your linked logical analyses just aren't relevant to modern systems. I said nothing about
56.
▲
by
bubblyworld
1y ago
If you want to understand SOTA systems then I don't think you should study their formal properties in isolation, i.e. it's not useful to separate them from their environment. Every LLM-based tool has access to code interpreters th
57.
▲
by
bubblyworld
1y ago
Something to consider is that while it's really hard to implement a decent NN-based algorithm like AlphaZero for your game, you get the benefit that model checkpoints give you a range of skill levels to play against as you train it. Ha
58.
▲
by
bubblyworld
1y ago
The sun doesn't solve any problems in a useful sense. I'm talking about life! I thought that would be obvious haha.
59.
▲
by
bubblyworld
1y ago
Simplicity is brittle. Perhaps we should take a page from nature. Nothing in nature in simple, and yet it has built some of the most robust systems (by far) that we know of. Can your software run for millions of years?
60.
▲
by
bubblyworld
1y ago
Under the FAQ: > Previous chats with no additional activity will not be used for model training.
More ›