m1el

7 ms·

1.
by m1el 1mo ago
from the GH page: > Developed and tested on AMD Family 16h CPUs, the last generation whose datasheets document the DRAM controller's translation registers — and show that they can't be locked. 17h and beyond simply leave this i
2.
by m1el 2mo ago
LowIRSSA is very different from the SSA in the repo. LowIRSSA looks way more like SSA-WASM than assembly
3.
by m1el 2mo ago
Thank you for the suggestion, I will be sure to learn from those!
4.
by m1el 2mo ago
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". We can have a common list of our deman
5.
by m1el 2mo ago
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 projects which I'm aware of: https://git
6.
by m1el 2mo ago
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 notes. The cost of finding and developing exploits als
7.
by m1el 7mo ago
you should check out https://github.com/pipecat-ai/nemotron-january-2026/ discovered through this twitter post: https://x.com/kwindla/status/2008601717987045382
8.
by m1el 8mo ago
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.cpp https:
9.
by m1el 1y ago
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/xorshift1
10.
by m1el 1y ago
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 correct display.
11.
by m1el 2y ago
somehow, I suspect openai didn't "buy" all of the articles, books, websites they crawled and torrented.
12.
by m1el 2y ago
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 scale, suddenly the laws must be changed.
13.
by m1el 2y ago
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: fuzzing. If you have a library/codebase you wa
14.
by m1el 2y ago
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.
15.
by m1el 2y ago
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 US is extremely bad quality. I think people c
16.
by m1el 2y ago
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 weight, the more influence the input has on the neuron. Thes
17.
by m1el 3y ago
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 example a messenger. These were avai
18.
by m1el 3y ago
I too select the lines that I read. However, I never select the entire page, unless I intend to copy it.
19.
by m1el 3y ago
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 answer 3) Make an obvious mistake when they type else block, bef
20.
by m1el 3y ago
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 will expand further. The interviewee sits there in awkw
21.
by m1el 3y ago
The minimap contains a copy of the content, but with `transform: scale`. The rest is handling `window.onscroll` and mouse events on the overlay.
22.
by m1el 3y ago
https://gist.github.com/m1el/e16fc153076d5764c95835de2936afe... Here's my solution, which also uses pdep/pext
23.
by m1el 3y ago
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 with humans forever. People did rumours, then we had books,
24.
by m1el 3y ago
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 a neural network, and you spend enormous amount of
25.
by m1el 3y ago
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-source models.
26.
by m1el 3y ago
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, at least once during inference. If your model is 6
27.
by m1el 4y ago
If this was true, how come humans advanced math and philosophy?
28.
by m1el 4y ago
The information loss you're describing is going from Flame Charts to Flame Graphs. Yes, the call ordering, and multiple calls are lost if you're generating a Flame Graph.
29.
by m1el 4y ago
As a developer who doesn't use mathematical notation very often, I've had some difficulty reading it. From my understanding, the paper goes as follows: 2.1 Define FlameGraph Frame = something that identifies function/lo
30.
by m1el 4y ago
The pseudo-code is relatively easy to implement, but it's better to rename the variables. https://gist.github.com/m1el/6016b53ff20ae08712436a4b073820f...

More ›