mmrezaie

10 ms·

61.
by mmrezaie 7y ago
Bored? I don't think they only wanted to reinvent the wheel and I don't think trustability was one of the motivations of their design!
62.
by mmrezaie 7y ago
This is a great view on history of seL4. Is there a list of use cases where seL4 is being used outside academia? Also, I would like to know why Google didn't go for seL4 and instead created Fochsia? I wanted to mention that we wanted t
63.
by mmrezaie 7y ago
> It was narrowly focused on attacking a specific military project. Stuxnet targeted some common industrial controllers being sold not only to Iran, and one usage was the control flows on the dams. Basically it just caused the control fl
64.
by mmrezaie 7y ago
Does anyone know what is the reason for this many SKUs? Marketing, production issues, or both?
65.
Intel’s Xeon Platinum 8284 CPU: When 300 MHz Cost $5,500(anandtech.com)
2 points by mmrezaie 7y ago|3 comments
66.
by mmrezaie 7y ago
I am a C/C++ programmer mostly. Is there good documentation for python development when I care about performance and memory footprint out there as a book or something that anyone can recommend? It was fun reading this but I like to kno
67.
by mmrezaie 7y ago
A long history of troubled relationships requires people who know that history and react to it. Right now we have people who care only about their personal feelings/cockfight than what consequences those actions will have. Just imagine
68.
by mmrezaie 7y ago
Anything good coming out of this stopped at Trump's breaking the agreement. I am afraid we are delaying something very bad in that region.
69.
by mmrezaie 7y ago
I flied to Cyprus from Stockholm with Norwegian last week. On the plane it was written 737-800 or 737 Max. I wonder how you can tell them apart and if Norwegian uses the Max line!?
70.
by mmrezaie 7y ago
I am excited. Can you give an example? Also, if there is any use for it in system software for it?
71.
by mmrezaie 7y ago
I good pilot does this or that this or that way. I cannot imagine how the instructor could have put it in a better way of saying, this is the right/suggested way. Also, for some reason the guys voice is just right! Watching these video
72.
by mmrezaie 7y ago
What are the other alternatives for data lakes that can be used (both open source and close)?
73.
by mmrezaie 8y ago
I just wanted to thank you for this website. It is putting end to so many discussions we have about the quality of the code. Extra, it has a support for FORTRAN. Previously we were doing debug and disassembly ourselves.
74.
by mmrezaie 8y ago
External GPUs and Asics. Also, this is a connection that can be shared and the more is probably the better since we all probably have notebooks and they all gonna not have most ports we need.
75.
by mmrezaie 8y ago
This is the same story in Sweden too. For a short period, I was part of the team, and we were being asked to see how we can answer some questions with the information for something around 10k peoples information in Spain and Portugal. The w
76.
by mmrezaie 8y ago
I thought 16 cores were too much for double channel memory! This is interesting indeed.
77.
by mmrezaie 8y ago
why is it bad for the animal. I mean we kill and eat them naturally, but why waste part of a food source which is already there?
78.
by mmrezaie 8y ago
and their response is even worst: https://github.com/dotnet/cli/issues/10497#issuecomment-4494... Sadly, I thought they would have fixed it and not ignore it.
79.
by mmrezaie 8y ago
at SC and CUG this year the main focus was that in less than 10 years IPC improvement is going to go away (I am not sure where IPC improvement was in the last three years). Anyway, the next step is to make CPUs as much heterogeneous as poss
80.
by mmrezaie 8y ago
It is so sadly funny that the strongest economy in the world can be manipulated so deeply this fast and nothing happens. This makes me want to read more about the Mongols, Romans, and Persians history. This must be a great time to do analyt
81.
by mmrezaie 8y ago
And also we should keep in mind that in Kernel level improvements, Linux by far is agiler than Windows. Windows process scheduler does not have fairness for ages now. When was CFS was added to Linux? a decade?
82.
by mmrezaie 8y ago
One can confirm this which sounds true by profiling the benchmark tools on windows and Linux specifically, remote page loads and such.
83.
by mmrezaie 8y ago
Why did they choose to not have RVC? Also, what happens if one of these groups working on RISC-V decides they need to add a couple of more instructions in there? Is there a group that you can send your patches for the review like Linux kern
84.
by mmrezaie 8y ago
For my ThinkPad x1 they came to the restaurant I was fixed it in like 3 minutes (had to replace the CPU fan), like a ninja. But I still cannot update the BIOS from Linux with the fwup, and fingerprint reader doesn't work. I had XPS 15
85.
by mmrezaie 8y ago
After reading the article I still cannot see the ethical reasonaning for judging his actions and why they are criminalized!
86.
E-waste recycler Eric Lundgren loses appeal on computer restore disks(washingtonpost.com)
2 points by mmrezaie 8y ago|1 comments
87.
by mmrezaie 8y ago
no, they are not in the same world. one of my colleagues has it and compared to my previous machine 2013 MacBook pro it doesn't compare but even with my Thinkpad x1 5th gen, I think mac still has a better touchpad. Mostly it is because
88.
by mmrezaie 8y ago
interesting. This was the main reason I sent back my XPS 15. I had this problem especially in hjkl keys since I use emacs devil mode and my cursor was just jumping all over the place all of a sudden. This problem and the coil whine, but whe
89.
by mmrezaie 9y ago
I think the whole point of IQ test is being stable independent of age.
90.
by mmrezaie 9y ago
Yes. but I am not sure if Nvidia is pushing it yet. But at least in Linux, you have to apply some patches to enable passthrough for consumer GPUs.

More ›