123 karma · joined December 10, 2014
Also, for the 2022 EV and EUV, GM will pay for an L2 outlet installation at home.
This shouldn't have been too shocking. In the digital design industry, design engineers and verification engineers really are different positions. They require different skills, and though there are people who can do both well, they haven't been interchangeable for a few decades. I'm not surprised that an applicant for a design position would decline a verification job, especially if they're not just looking for an entry point at some prestigious team like Apple's CPU group.
The strange thing is that finding a bug and "fixing a broken design" is a design task, not a verification task. The verification engineer creates the simulation testbench and the tests to expose bugs. The design engineer uses these to find and fix the bugs. I doubt that most design applicants would balk at being asked to find and fix a bug in an existing design. So I'm not really sure exactly what he asked the interviewee that got the response he claims.
> One of the realities ingrained in the history and culture of Gisselquist Technology is that simulations rarely find the critical bugs.
This statement is so wrong that I think the author must have decided to redefine "critical bug" as any bug that simulation doesn't catch. In reality, there are critical bugs found at multiple steps -- design review, simulation, prototyping, ... not to mention critical bugs found in backend "verification" (timing analysis, equivalence checking, ...). The author pushes formal verification but it's not an alternative to simulation; it's a complementary strategy.
You are otherwise reinforcing the point that you can't just bring whatever equipment you want to the office, as the parent poster claimed.
Supposedly, the build quality since they retooled last year is even better.
You can also order either of two HHKB-style layouts, where the backquote key is replaced by Esc (among other changes).
I went through a few Linux distributions for it: MkLinux first, then LinuxPPC, and finally Yellow Dog Linux. The driver for the Ethernet card needed to be patched for big-endian machines and the kernel needed a patch to allow the ADB keyboard CapsLock to be remapped to Control. Fun times.
"Multiple"? Do you have proof of this? There was one woman who was shot by police.
As far as I know, it is not yet clear how the others (excluding the Capitol officer) died. I've seen reports that one man got a heart attack after tasing himself and another fell off some scaffolding.
Nice.
This is not the difference between x86 and ARM -- it's the difference between Intel's team and Apple's (also AMD's). You don't see Qualcomm being competitive even though they also use ARM.
I bought a 2017 MBP hoping the situation would eventually improve but it never did, so I never got around to installing Linux. I'm expecting it'll be even worse for these M1 systems.
https://en.wikipedia.org/wiki/John_Cocke
Also, even though PowerPC is gone, IBM is still very much relevant in high-end RISC development -- they still make POWER computers.