myng111

5 ms·

1.
by myng111 3d ago
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,
2.
by myng111 3d ago
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 perce
3.
by myng111 3d ago
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 RAG
4.
by myng111 5d ago
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 cove
5.
by myng111 12d ago
Z3 is an SMT solver, not a SAT solver. You'd probably be looking for something more like Yices, Bitwuzla, cvc5, etc.
6.
by myng111 17d ago
Apologies, you're probably right, I don't post much on HN so I don't really know the regulars.
7.
by myng111 17d ago
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.
8.
by myng111 17d ago
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 overzealo
9.
by myng111 20d ago
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 su
10.
by myng111 2mo ago
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 de
11.
by myng111 2mo ago
> 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-... >
12.
by myng111 2mo ago
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 FO
13.
by myng111 2mo ago
Out of curiosity, what was the reason you chose to do this rewrite? Was there some issue with GLFW?
14.
by myng111 3mo ago
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 serving millions of conc
15.
by myng111 3mo ago
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 vulnerability to inst
16.
by myng111 4mo ago
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.
17.
by myng111 7mo ago
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.
18.
by myng111 2y ago
I'm interested what these DOS applications are running on. Is it virtualised or a real physical machine?
19.
by myng111 4y ago
Did 7zip not support tar files before? Or is POSIX tar a particular standard that was not previously supported?