myng111

That is true that intelligence is kind of a "freak of nature" in a way, but it's also true that even single neurons are extremely efficient, and the brain has a lot of recurrence that isn't represented at all really in today's artificial neural networks.

Thank you for your words kind words. I'm really happy to hear this and it gives me motivation to keep going after what was quite a depressing week. I think you're right, too, after having spent most of a year reading and reading, I do feel a lot intellectually better for it and I definitely do think my critical thinking skills are better (hopefully) nowadays.

The OpenAI claim I believe is the latter; that all of the agents found the task was unsolvable and independently discovered the collective "swarm". I don't it's publicly known how large the training run was or what percentage of agents actually discovered the message board. No one has published anything about system prompt injection as far as I've seen.

I think this is pretty insightful actually, the fact that even something as basic as predicting more than one token is really in effect the result of an outside harness. More complex things like memory, where people implement them using RAGs or vector databases, I would definitely classify as poking and honestly seem like a hack to me. And this is what I've been thinking for a while: it's hard to reconcile the idea that we can get "AGI" (however you define it) with such a system that is completely stateless. Yet, despite this statelessness, they can go ahead and solve Millenium Prize problems (with sufficient compute). It's hard to reconcile.

This really resonates with me. I'm early in my PhD and I'm researching a niche form of data compression and IC design. I don't use any AI at all in my research, I do it the super old fashioned way, I read papers cover to cover and sections of textbooks to familiarise myself with the field.

I genuinely enjoy doing this, it's really fun to think critically about what an author wrote or how a particular approach works.

But it does make you wonder, why bother? Probably a frontier model could one shot my algorithm in a day or less. It's incredibly depressing. At least I'm not forced to use it now, but I fear I will have no choice after I join academia or industry in the future.

Z3 is an SMT solver, not a SAT solver. You'd probably be looking for something more like Yices, Bitwuzla, cvc5, etc.

Apologies, you're probably right, I don't post much on HN so I don't really know the regulars.

That's really funny. It's always been kind of amusing to me that Anthropic has this air about them of trying to be the most ethical AI company, but really exhibits the same behaviour as all the others.

It is interesting, this particular user seems extremely active in this thread. I'm not sure if they have a bone to pick with Anubis in particular or some other reason for disliking the software so much, but to me it does seem overzealous. Regardless of if it's "bad computer science" or what, Anubis works quite well and is easy to customise to target it to specific botnets, as I've done. And this is coming from someone trying to develop her own non-PoW anti-scraper system.

Difficulty 6 which some parts of FFmpeg use, is about the highest difficulty you can assign with the default Anubis config. For me personally I only serve that difficulty if I'm near certain the user is a bot. Serving it to everyone sure is a choice.

Funnily enough, my dotfiles were actually one of the things I was storing on Codeberg! Still, it's Codeberg's platform and it's their choice, but I absolutely will not host my repos on a platform whose BDFL can wake up and decide they're not welcome. At least I can sleep mostly peacefully hosting these things on my own forge.

It's absolutely Codeberg's right to do this, but I only wish that they had been more clear about this earlier, because now I have to move all my repos to my own forge.

I also do consider it to be extremely disappointing that my FOSS projects under approved licences are not welcome because they don't have a community, even if they are taking only hundreds of kilobytes of disk space and bandwidth.

Codeberg's website currently says it hosts "650198 projects". How many of those are solo programmers or projects without a significant community? I suspect if they were to enforce their policy they would only have several hundred projects on the platform in total. That being said, I'm not taking chances that my repos might be nuked at any time so I have no choice but to move.

Out of curiosity, what was the reason you chose to do this rewrite? Was there some issue with GLFW?