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…
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…
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…
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…
Not only is this not true, you are misgendering Xe. They use they/them pronouns.
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…
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…
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…
> it's for FOSS It is for FOSS, but they seem to be more restrictive now than even that, and I don't mean by LLMs. To quote their blog post: https://blog.codeberg.org/protecting-our-floss-commons-from-... > So while the…
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…
Out of curiosity, what was the reason you chose to do this rewrite? Was there some issue with GLFW?
From an infrastructure PoV, I seem to recall that WhatsApp was one of the few major companies that used Erlang, and were famous for being able to run the entirety of WhatsApp on only a few servers, each of which was…
I suppose the theory is when you're attacking a console like the Xbox One with some known hypervisors vulnerabilities, but generally what is considered to be secure hardware, you could use the patchable hypervisor…
It's fascinating how fast the Forgejo I host at my university's laboratory loads from my home network. Every page load is <100ms. I think it goes to show how much bloat we don't realise exists in modern webapps.
Certainly tcc. Probably also rui314's chibicc as it's relatively popular. sdcc is likely in there as well. Among numerous others that are either proprietary or not as well known.
I'm interested what these DOS applications are running on. Is it virtualised or a real physical machine?
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…
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…
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…
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…
Not only is this not true, you are misgendering Xe. They use they/them pronouns.
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…
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…
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…
> it's for FOSS It is for FOSS, but they seem to be more restrictive now than even that, and I don't mean by LLMs. To quote their blog post: https://blog.codeberg.org/protecting-our-floss-commons-from-... > So while the…
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…
Out of curiosity, what was the reason you chose to do this rewrite? Was there some issue with GLFW?
From an infrastructure PoV, I seem to recall that WhatsApp was one of the few major companies that used Erlang, and were famous for being able to run the entirety of WhatsApp on only a few servers, each of which was…
I suppose the theory is when you're attacking a console like the Xbox One with some known hypervisors vulnerabilities, but generally what is considered to be secure hardware, you could use the patchable hypervisor…
It's fascinating how fast the Forgejo I host at my university's laboratory loads from my home network. Every page load is <100ms. I think it goes to show how much bloat we don't realise exists in modern webapps.
Certainly tcc. Probably also rui314's chibicc as it's relatively popular. sdcc is likely in there as well. Among numerous others that are either proprietary or not as well known.
I'm interested what these DOS applications are running on. Is it virtualised or a real physical machine?