Viewing profile — asrp

I put together some visualization and examples of the proof. The discussion here [1] was sometimes confused about the content. [1] https://news.ycombinator.com/item?id=48863490

I put together some visualization and examples of the proof. The discussion here [1] was sometimes confused about the content. [1] https://news.ycombinator.com/item?id=48863490

No, that's not a problem at all. It just the notation that's a bit weird. For example, if e is the a-edge (first edge) from the u side and v is the b-edge (second edge) from the v …

Very nice work and cool project. However, the example in "3. Baremetal Cognition" is explained in an overly convoluted way, with many choices that IMO detracts from the point that …

After each outer loop iteration, A[:i] (the array up to i) is in ascending order with the max of A at A[i]. This is true the first iteration since max(A) is eventually swapped to A…

I've put up a barebones Slack [1] and editable Wiki [2]. I might fill that with info I have in the coming weeks since I realized all I had were scattered files. Diving into this a …

The language is high-level but I wouldn't necessarily say very high level. But because I'm trying to spin up language features at runtime (like a lot of Forth does), there are a fe…

Thanks, a lot of this is new and useful to me. > Recently I've been wondering if there's enough interest for a Discord server or something. (In the spirit of STEPS, it'd be ideal t…

Is there some place STEPS fans can gather and gather our notes? There are archives of the FONC mailing list here [1]. I'm an outsider and also never got Frank to work. I was waitin…

I've read through more of you post can came across the bottom comment (don't know how to permalink to it) which better expresses my comment above. > An optimizing linter has the pr…

> I've actually never considered putting the comment first! I'll have to think about that one. I'm sure there are many competing constraints so definitely don't do it because I'm s…

Sorry if I've asked these years ago and just don't remember the answer. > The '/copy-to-ebx' after the slashes is just my way of helping the reader understand what the instruction …

If you want to read this, I'd suggest looking at the sources in bootstrap sequence from the readme (boot.flpc, stage0.flpc, ...). Alongside, run some of the precompiled entries by …

It is actually not hard to read (at least in the sense of knowing what something will do when executed; getting the bigger picture takes more practice). The (base) syntax is just w…

Here's what I was thinking when I wrote the "incorrect assumption" line. But I think many other interpretations are also valid. You can think of sum([x*x for x in range(10)]) as "d…

Author here! Go ahead and ask if you have any questions about internals or otherwise. Or e-mail me if you think of your question much later (e-mail in profile). I'm surprised it ma…

I found your game to be a great improvement over the course's UI. Well done!

I'd be very interested in such a community if it existed. I'd go as far as creating/hosting/maintaining such a place if needed.