Viewing profile — Randor

Have a look at https://github.com/ThorOdinson246/whatisit-nl2sh It seems to get shell scripts right most of the time.

Microsoft allows you create a second "login only" account username to access your e-mail and other services. I was having the same problem as you but much worse. Check into it, onl…

That was a long read. Just be happy that you never had to deal with Trigraphs. https://learn.microsoft.com/en-us/cpp/c-language/trigraphs?v...

A brilliant idea, maybe all software should block DLL without English names. Could even incorporate the new technique into the operating system.

It's a very common security technique to avoid being targeted by malware. I believe even the Microsoft KSLDriver drops randomly named DLL and device drivers along with creating a r…

Some horrible code in there too: https://searchfox.org/mozilla-central/source/toolkit/xre/dll... Indiscriminate blocking of any DLL in the world with 12/6 hex digit filenames.

Looks like Moonshine is competing against the Whisper-tiny model. There isn't any information in the paper to see how it compares to the larger whisper-large-v3.

No, if I remember correctly it was a local beverage company. It wasn't unusual for Microsoft to back local businesses. I remember a very talented Indian software engineer that left…

Yeah, I get what you're saying but both are challenging the current MatMul methods. The L-Mul paper claims "a power savings of 95%" and that is the thread topic. Bitnet proves that…

> I don't know what that means. It seems like some dubious math with percentages. I would start by downloading a 1.58 model such as: https://huggingface.co/HF1BitLLM/Llama3-8B-1.58…

The energy claims up to ~70% can be verified. The inference implementation is here: https://github.com/microsoft/BitNet

I know you guys are joking, but there use to be a Microsoft energy drink, that was only available to employees. https://www.google.com/search?q=Microsoft+employee+Talking+R... The …

Yes, it was me that backported some of that telemetry to both Windows 8.1 and Windows 7, circa 2015 when I was working on the WU team but we used WER to upload that to our endpoint…

What Windows 7 telemetry are you referring to? Other than WER, there was no telemetry in Windows 7 to my knowledge. There was an update a few years ago that back ported telemetry t…

As a former member of the Windows Update software engineering team, I can say this is absolutely false. The updates are signed.

Thanks, not often we see Knuth erratas. :)

It's working for me. It's probably due to the high traffic from posting the site here on HN.

No worries. We faced some of the the same choices when we were designing the Windows 10 Delivery Optimization service. We initially based it off the Bittorrent protocol with a modi…

Would it be correct to call Bluesky a "federated multi-cloud"?

Took me a minute to figure out what you are saying. Then I realized you are referring to the 16pi^3/15 surface area ratio of a 7-sphere. After n>7 it does seems to infinitely move …

Yep, Z3 can do exactly this using BitVec and passed to prove() or just compare the expressions directly..

>> our internally developed algorithms out-performed Kalman Could you tell me more about this? What other algorithms are used for position tracking and motion estimation. I have se…

>> Do anyone here have industry experience where Kalman Filters is actually used in prod? Yes, ship/vessel navigation software heavily use Kalman Filters. Especially on the inputs …

I can assure you that I perfectly understand the bug and corresponding patch/fix. The patch fixes Event Tracing for Windows (ETW) and how it allocates temp buffers. The speculation…