Viewing profile — bmenrigh

I'm one of the BSidesSF CTF organizers and challenge authors (symmetric). The article is a few months old now (May) which is ancient history as far as AI advancements go. That said…

These sorts of manifesto essays have never resonated with me. To me it never was—- and never has been—- about freedom. It’s about curiosity and knowledge. The essay seems to glorif…

A pretty reasonable question. I guess it could be my ISP filtering. Or rather could have been, since the issue seems like it was transient. I'm now getting resolutions. Very strang…

I'm in the US and I'm either getting NXDOMAIN or NOERROR (with no A record answer) back from every big nameserver I try (my ISP, Google, Cloudflare, etc.). But a dig +trace archive…

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 permu…

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 tra…

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 languag…

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 explo…

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 mone…

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 t…

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 d…

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 e…

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, uncomputab…

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 synchro…

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 f…

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, e…

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 …

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%).…

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 …

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,…

Yeah I learning about LPCAMM2 memory was far more interesting than the repairability score.