elias001's latest activity

@martinbn I am not ignoring your post. To fill in the details of your post requires me to solve some of the questions of the original...

x86 assembler relies on a lot of keywords. Here is part a conversion routine I wrote many years ago. Title IBM Color Graphics...

I don't know if the following is consider to be lame joke. It has a lot of cliche and cultural stereotypes, but it is for all the...

@martinbn you said I keep complaining because I never seem satisfied. I got the impression because I was not being precise enough with...

@Mark44 I really appreciate the offer. I want to first trying it out writing assembly with the Masm32 SDK and emu8088 emulator first...

Screenshot 1 @fresh_42 In the MSE author's solution, where he said 'The prime ideals contained in ##\mathfrak{p}## correspond 1:1...

Screen shot 1 Screenshot 2 Screen shot 3 @fresh_42 in the above three screenshots. The first one has to do with Zariski and...

@Mark44 I did start with Little computer 3, is moving behind it that I am not sure about. Also I meant RC.exe not TC.exe. I asked...

@Mark44 I edited my post to make the screenshots full image. Visual Masm also asks for Link.exe, RC.exe, and lib.exe. I don't have...

@Rive I know i am coming across as a total noob. That is ok, I admit I am one. I just don't want to accidentally break anything...

@sbrothy @Rive @FactChecker Sorry I have not replied. I was trying to get macro assembler 6 to run on windows 7 with dosbox. I was not...

@fresh_42 here is the list of courses that have used Lean. Before you raised more objections, there are increasingly more engineering...

@fresh_42 it might be more than just a nice project. Imagine in the near future, anyone want fmto submit articles to a math journal is...

@martinbn I think for everyone else's and their prosterity's sake and their peace of mind, that every little details however minor are...

@martinbn @fresh_42 Here was Buzzzard's talk that is referred to in my previous reply. And here is his recent talk on formalizing Fermat...