@ooedotech https://youtu.be/urGmmkUDi20 etc.
“sj placed cool first” … in what universe? Steve placed “Steve likes it” first. Many of the things he liked were terrible. Cool things happen(ed) at Apple in spite of executive leadership, not because of it. The better…
The exploit as described doesn't "brick" the device; that would require permanently disabling it. A tethered restore would be all that's required to recover in this case.
It would never have worked. So many of the things that owning xnu has made possible would never have happened on top of Linux. The things you can do when you know each and every customer of the stack, and you all belong…
No.
One does not "hone in" on anything. To hone a thing is to make it sharper or more acute by removing parts of it with an abrasive. The word you are looking for is "home", as in a homing missile, etc. Yes, this is a…
Responding to a TCAS RA is not "overly cautious".
It's not inoperable; warnings are still issued, but the RA (resolution advisory, i.e. "climb", "dive" etc.) functionality is inhibited.
This makes some very naïve assumptions about the relationships between entities in a program; in particular that you can make arbitrary assertions about the representation of already-allocated datastructures across…
Worth reading his son @snakesofself's comment below that video for additional context. As a fan of the show, and what it did to advance the art of visual storytelling, learning more (and understanding less!) about the…
It's always a compromise. Part of the exercise, whether it be making an existing codebase amenable to verification, or standing up a new one designed for it from scratch, is to identify, contain, and comprehend sources…
> I've also wondered why the TLB isn't larger. Fast CAMs are (relatively) expensive, is the excuse I always hear.
I’m not sure about the “sadly” part here. Whilst it proved that something could be done, it also taught us a lot about what doing it cost (a lot), how scalable it was (not), and whether it would be broadly applicable…
... and the open-source clone (EmuTOS) has been widely ported since.
Memory efficiency just for one. For most programs, and especially in the embedded space, 64b systems carry around (and process) a lot more zeros than 32b systems do. You can still do 64b math when you need it, but you…
At 34, not old. Maturing, perhaps. It’s worth reading the original Waterfall paper. If you’ve only ever heard of it as the bogeyman, it might surprise you. From your tone here, I think you are seeing “people over…
The “holier than thou” flex is /particularly/ ironic.
There’s an EmuTOS port to m68k QEMU too.
Less “intentional” and more “unavoidable”. There was limited runway to fix the S5L8900 design, the Cortex A8 wasn’t ready at tapeout, and so the ARM1176 was it. If Broadcom hadn’t looked like they were fumbling the…
The IFX team that produced the baseband firmware had never heard of Sicherheit. It was … riddled with trivially exploitable security issues.
The “private” IRC channel was not as private as you thought it was…
To make scatter/gather go fast, you either spend a lot of effort caching descriptor lists for pinned buffers (because you expect to see them often), or heavily optimising your VM's v2p translation machinery, or some…
Keller is a manager. He was a gateware engineer.
Sometime around 2010, I’d guess? It’s been a long time since this has been a meaningful issue…
> How has it been a huge boon to the GNU ecosystem? It would seem that you never used GCC in the pre-llvm era. The GCC project has had a couple of notable periods of stagnation, in each case being "rescued" by the…
@ooedotech https://youtu.be/urGmmkUDi20 etc.
“sj placed cool first” … in what universe? Steve placed “Steve likes it” first. Many of the things he liked were terrible. Cool things happen(ed) at Apple in spite of executive leadership, not because of it. The better…
The exploit as described doesn't "brick" the device; that would require permanently disabling it. A tethered restore would be all that's required to recover in this case.
It would never have worked. So many of the things that owning xnu has made possible would never have happened on top of Linux. The things you can do when you know each and every customer of the stack, and you all belong…
No.
One does not "hone in" on anything. To hone a thing is to make it sharper or more acute by removing parts of it with an abrasive. The word you are looking for is "home", as in a homing missile, etc. Yes, this is a…
Responding to a TCAS RA is not "overly cautious".
It's not inoperable; warnings are still issued, but the RA (resolution advisory, i.e. "climb", "dive" etc.) functionality is inhibited.
This makes some very naïve assumptions about the relationships between entities in a program; in particular that you can make arbitrary assertions about the representation of already-allocated datastructures across…
Worth reading his son @snakesofself's comment below that video for additional context. As a fan of the show, and what it did to advance the art of visual storytelling, learning more (and understanding less!) about the…
It's always a compromise. Part of the exercise, whether it be making an existing codebase amenable to verification, or standing up a new one designed for it from scratch, is to identify, contain, and comprehend sources…
> I've also wondered why the TLB isn't larger. Fast CAMs are (relatively) expensive, is the excuse I always hear.
I’m not sure about the “sadly” part here. Whilst it proved that something could be done, it also taught us a lot about what doing it cost (a lot), how scalable it was (not), and whether it would be broadly applicable…
... and the open-source clone (EmuTOS) has been widely ported since.
Memory efficiency just for one. For most programs, and especially in the embedded space, 64b systems carry around (and process) a lot more zeros than 32b systems do. You can still do 64b math when you need it, but you…
At 34, not old. Maturing, perhaps. It’s worth reading the original Waterfall paper. If you’ve only ever heard of it as the bogeyman, it might surprise you. From your tone here, I think you are seeing “people over…
The “holier than thou” flex is /particularly/ ironic.
There’s an EmuTOS port to m68k QEMU too.
Less “intentional” and more “unavoidable”. There was limited runway to fix the S5L8900 design, the Cortex A8 wasn’t ready at tapeout, and so the ARM1176 was it. If Broadcom hadn’t looked like they were fumbling the…
The IFX team that produced the baseband firmware had never heard of Sicherheit. It was … riddled with trivially exploitable security issues.
The “private” IRC channel was not as private as you thought it was…
To make scatter/gather go fast, you either spend a lot of effort caching descriptor lists for pinned buffers (because you expect to see them often), or heavily optimising your VM's v2p translation machinery, or some…
Keller is a manager. He was a gateware engineer.
Sometime around 2010, I’d guess? It’s been a long time since this has been a meaningful issue…
> How has it been a huge boon to the GNU ecosystem? It would seem that you never used GCC in the pre-llvm era. The GCC project has had a couple of notable periods of stagnation, in each case being "rescued" by the…