The 2n choose n solution isn't at all intuitive to me but thinking about it in terms of 40 steps, 20 of them rightward and 20 of them downward an then looking at all distinct permutations of these 40 steps as (40!) /…
Oh I didn’t mean at all charging them. I mean licensing in the sense of granting rights for the purpose of training. Probably most labs would be fine adding the language to the training for free as long as the dataset…
I think at this point what the Netherlands, and any other country that wants a good model in their language should do, is gather up every piece of text ever written in that language and license it to the big AI…
I was just looking at Unicorn last week because it's used by unipacker to do automated unpacking of binaries. I built a "toolbox" for gpt-5.5 to do semi-automated malware and exploit reverse engineering and unipacker is…
Mini Micro seems to be built on Unity. The MiniScript portion of it is open source https://github.com/JoeStrout/miniscript but the version packaged for use by Unity costs some money. I can't tell if the people behind…
Every C program I've had codex write ended up costing me more time than had I just done it from the start myself. Whereas almost every Python program it's written for me saved me time, even including the time I spent…
The black box analysis needed to decode this is incredibly hard but also incredibly fun and rewarding to pull off. Very impressive work.
Ah I was a few years later on the TI-86. Around 1999. Between this, and SNES emulation (searching memory for values and adjusting things to see how they'd affect the game), I was destined for computer science.
Which is exactly why I mentioned rejection of zero, negative numbers, etc. You can reject them, but doing so just throws away useful tools without gaining anything in return.
Rejecting infinity is a purely philosophical stance that doesn’t teach us anything about reality. There is a big difference between “infinity doesn’t exist” and “infinity doesn’t exist physically”. I should also add…
The article doesn’t really tell us what is gained by rejecting infinity. And in general, why not also reject zero, negative numbers, irrational numbers, complex numbers, uncomputable numbers, etc.? Seems like an article…
Reminds me of around 2002 when MS slapped “.Net” onto everything.
Yeah but to the commenter I was replying to, I don't think it was clear that detail was relevant to the benchmark numbers they were quoting.
No, the gains here aren't very dramatic when compared properly (against fsync), and have nothing to do with AI help. The gains come down to Linux kernel support for certain synchronization primitives like the Mutex on…
Those benchmark numbers are slightly misleading, as they are a comparison of Wine+ntsync against Wine+nothing. There has been a somewhat fast "fsync" library built around Linux's futex and the gains over Wine+fsync are…
I don’t fault Quanta (or 3b1b) for being the way they are. Each is serving their goal audience pretty well. My compliant is only that there should be a dozen more just like them, each competing with each other for the…
Modern x86_64 has supported multiple page sizes for a long time. I'm on commodity Zen 5 hardware (9900X) with 128 GiB of RAM. Linux will still use a base page size of 4kb but also supports both 2 MiB and 1 GiB huge…
I recently started using Microsoft's mimalloc (via an LD_PRELOAD) to better use huge (1 GB) pages in a memory intensive program. The performance gains are significant (around 20%). It feels rather strange using an open…
Yeah I don’t get it. Shifts and rolls are among the simplest of all instructions to implement because they can be done with just wires, zero gates. Hard to imagine a justification for leaving them out.
My main skepticism here is whether the theorems have been properly replicated in the proof. Verifying that the proof really captured the mathematical statement seems like a manual, human process, and quite hard to…
Yeah I learning about LPCAMM2 memory was far more interesting than the repairability score.
Oh completely. But my perspective is that we all should individually punish clickbait by not clicking. More broadly, we should strive to keep HN full of quality tech content rather than clickbait.
"better", "more accessible"? What the hell are you talking about? Clickbait doesn't make anything better or more accessible. Instead, it makes it impossible to pre-select for interesting information. Instead of telling…
Can we stop it with "and the results are terrifying", "and you won't believe what I found", "the <x> situation is insane", etc.? The over-hyping of low quality, low effort content is making it hard to find actually…
I love the AVX512 support in Zen 5 but the lack of Valgrind support for many of the AVX512 instructions frustrates me almost daily. I have to maintain a separate environment for compiling and testing because of it.
The 2n choose n solution isn't at all intuitive to me but thinking about it in terms of 40 steps, 20 of them rightward and 20 of them downward an then looking at all distinct permutations of these 40 steps as (40!) /…
Oh I didn’t mean at all charging them. I mean licensing in the sense of granting rights for the purpose of training. Probably most labs would be fine adding the language to the training for free as long as the dataset…
I think at this point what the Netherlands, and any other country that wants a good model in their language should do, is gather up every piece of text ever written in that language and license it to the big AI…
I was just looking at Unicorn last week because it's used by unipacker to do automated unpacking of binaries. I built a "toolbox" for gpt-5.5 to do semi-automated malware and exploit reverse engineering and unipacker is…
Mini Micro seems to be built on Unity. The MiniScript portion of it is open source https://github.com/JoeStrout/miniscript but the version packaged for use by Unity costs some money. I can't tell if the people behind…
Every C program I've had codex write ended up costing me more time than had I just done it from the start myself. Whereas almost every Python program it's written for me saved me time, even including the time I spent…
The black box analysis needed to decode this is incredibly hard but also incredibly fun and rewarding to pull off. Very impressive work.
Ah I was a few years later on the TI-86. Around 1999. Between this, and SNES emulation (searching memory for values and adjusting things to see how they'd affect the game), I was destined for computer science.
Which is exactly why I mentioned rejection of zero, negative numbers, etc. You can reject them, but doing so just throws away useful tools without gaining anything in return.
Rejecting infinity is a purely philosophical stance that doesn’t teach us anything about reality. There is a big difference between “infinity doesn’t exist” and “infinity doesn’t exist physically”. I should also add…
The article doesn’t really tell us what is gained by rejecting infinity. And in general, why not also reject zero, negative numbers, irrational numbers, complex numbers, uncomputable numbers, etc.? Seems like an article…
Reminds me of around 2002 when MS slapped “.Net” onto everything.
Yeah but to the commenter I was replying to, I don't think it was clear that detail was relevant to the benchmark numbers they were quoting.
No, the gains here aren't very dramatic when compared properly (against fsync), and have nothing to do with AI help. The gains come down to Linux kernel support for certain synchronization primitives like the Mutex on…
Those benchmark numbers are slightly misleading, as they are a comparison of Wine+ntsync against Wine+nothing. There has been a somewhat fast "fsync" library built around Linux's futex and the gains over Wine+fsync are…
I don’t fault Quanta (or 3b1b) for being the way they are. Each is serving their goal audience pretty well. My compliant is only that there should be a dozen more just like them, each competing with each other for the…
Modern x86_64 has supported multiple page sizes for a long time. I'm on commodity Zen 5 hardware (9900X) with 128 GiB of RAM. Linux will still use a base page size of 4kb but also supports both 2 MiB and 1 GiB huge…
I recently started using Microsoft's mimalloc (via an LD_PRELOAD) to better use huge (1 GB) pages in a memory intensive program. The performance gains are significant (around 20%). It feels rather strange using an open…
Yeah I don’t get it. Shifts and rolls are among the simplest of all instructions to implement because they can be done with just wires, zero gates. Hard to imagine a justification for leaving them out.
My main skepticism here is whether the theorems have been properly replicated in the proof. Verifying that the proof really captured the mathematical statement seems like a manual, human process, and quite hard to…
Yeah I learning about LPCAMM2 memory was far more interesting than the repairability score.
Oh completely. But my perspective is that we all should individually punish clickbait by not clicking. More broadly, we should strive to keep HN full of quality tech content rather than clickbait.
"better", "more accessible"? What the hell are you talking about? Clickbait doesn't make anything better or more accessible. Instead, it makes it impossible to pre-select for interesting information. Instead of telling…
Can we stop it with "and the results are terrifying", "and you won't believe what I found", "the <x> situation is insane", etc.? The over-hyping of low quality, low effort content is making it hard to find actually…
I love the AVX512 support in Zen 5 but the lack of Valgrind support for many of the AVX512 instructions frustrates me almost daily. I have to maintain a separate environment for compiling and testing because of it.