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, only takes a few minutes to setup.

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 randomly named system service. Uses 8 hex characters.

Several third-party vendors use the same technique, mostly security vendors.

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 Microsoft and purchased 3 "food trucks" and decided to serve food instead, true story. He parked his truck outside building 88 for a few years.

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 at least 70% is possible by getting rid of MatMul.

> 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-100B-tokens

Run the non-quantized version of the model on your 3090/4090 gpu and observe the power draw. Then load the 1.58 model and observe the power usage. Sure, the numbers have a wide range because there are many gpu/npu to make the comparison.

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 blue one actually tasted really good. Was available on campus for several years in nearly every building. :)

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 endpoints. I don't think there was any telemetry at all before 2015 in the base operating system.

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 to Windows 7 right before the final stage of extended support and final EOL.

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 modified BEP30. I think MSDN just says "Cloud Managed". ;)

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 towards zero. But the heat equasion is different in higher dimensional space and governed by the parabolic Harnack inequalities. I'm not sure how surface area makes sense here.

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 seen various ML models... RNN/DNN used. I'm guessing with VTMIS you are doing time-series predictions?

>> 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 received from the various position reference sensors.

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 about SQLite at the top of that Mozilla bug report is mostly irrelevant.

Where did you get that idea? Sqlite? Windows Defender isn't using sqlite at all.

The modes "Allow Execution" at 0x2 and "Query User" at 0x5 are both documented in the UEFI security spec.

I don't know why SimCity and just a few titles are getting media attention on this. There perhaps a dozen more games and quite a few applications that were being patched at runtime.

At Microsoft this eventually became a feature: Application Compatibility Database

https://learn.microsoft.com/en-us/windows/win32/devnotes/app...

As the blog correctly identifies, the WPAD specification is still in draft:

https://datatracker.ietf.org/doc/html/draft-ietf-wrec-wpad-0...

In other words there really isn't a standard to follow. You can't add features to operating systems if there isn't a formal specification.

I'm not sure who's to blame here.

Hmmm,

Not sure how effective it will be against the latest NLP tools. You can also generate writings in the same style as others.

Do you have any plans for supporting other binary executable file formats?