Viewing profile — m1el

LowIRSSA is very different from the SSA in the repo. LowIRSSA looks way more like SSA-WASM than assembly

Thank you for the suggestion, I will be sure to learn from those!

I understand that formal verification is not panacea. My issue is that the systems today can't even tell for certain "This network-connected program doesn't execute arbitrary code"…

Thank you, I've heard of it. It is indeed very close to what I want to have. CakeML project also has a language Pancake, which has interesting properties. Here's the list of projec…

Self-insert time. I spent some time exploring this topic. Here's my thesis: Formal verification was expensive. 20x expensive compared to just developing the software, as the author…

you should check out https://github.com/pipecat-ai/nemotron-january-2026/ discovered through this twitter post: https://x.com/kwindla/status/2008601717987045382

I've been using nemotron ASR with my own ported inference, and happy about it: https://huggingface.co/nvidia/nemotron-speech-streaming-en-0... https://github.com/m1el/nemotron-asr.…

Exactly. I've implemented a xorshift-based rng inverter previously, and here's the implementation for the algorithm in the article: https://github.com/m1el/samaras/blob/master/src/…

It's an artifact of the camera. The camera shutter is long enough that it averages the images over 33ms. At some point in the video you can see that a high speed camera can see the…

somehow, I suspect openai didn't "buy" all of the articles, books, websites they crawled and torrented.

when it comes to real people, they get sued into oblivion for downloading copyrighted content, even for the purpose of learning. but when facebook & openai do it, at a much larger …

From my observations: cold start, ease of patching. If you're running a lot of different JS code or restarting the code frequently, it's faster than node. Where it's useful: fuzzin…

Salesforce sandboxing is too easy to escape. Last time I needed to implement some feature for Salesforce, I've encountered 4 different escapes. It was also horrible dev experience.…

It's not about being poor. First, the climate didn't require AC in most of the Europe, until ~10 years ago. You had a few hot days, and that's it. Second, thermal isolation in the …

Artificial neural networks work the following way: you have a bunch of “neurons” which have inputs and an output. Neuron’s inputs have weights associated with them, the larger the …

Not a browser, but a PWA. It's a web page, which you can "install" as an "app". Features like storage, background tasks and notifications are important for many applications, for e…

I too select the lines that I read. However, I never select the entire page, unless I intend to copy it.

Oh, and to add an insult to the injury, I was using a collaborative editing tool. So I was able to see the person: 1) Select All (most likely followed by the copy) 2) Type the answ…

I've had a displeasure of interviewing someone who used ChatGPT in a live setting. It was pretty obvious: I ask a short question, and I say that I expect a short answer on which I …

The minimap contains a copy of the content, but with `transform: scale`. The rest is handling `window.onscroll` and mouse events on the overlay.

https://gist.github.com/m1el/e16fc153076d5764c95835de2936afe... Here's my solution, which also uses pdep/pext

I am not scared for AI overflowing the news sites with bullshit. We already have a fire hydrant worth of bullshit content produced for consumption. Lies and fakes have coexisted wi…

You're correct to have a suspicion here. Hypothetically the explainer could omit a neuron or give a wrong explanation for the role of a neuron. Imagine you're trying to understand …

I don't understand how the author can write "No, they cannot.", while the page says "GPT 4: 0 false alarms in 15 good examples. Detects 13 of 13 bugs." Edit: the post says open-sou…

If you're doing inference on neural networks, each weight has to be read at least once per token. This means you're going to read at least the size of the entire model, per token, …