Viewing profile — ashafer

Certain cars let you physically disable this. For example, the Tacoma has a "Data Communication Module" (DCM) that performs all of this and has a cell radio to phone home. There's …

I'm guessing it is less about proof of stake and more about the fact that all of crypto is in the gutter and it's not as economical to mine anymore. I would guess that is the big c…

As someone who worked with seL4, it's because the development experience is literally the worst you can possible have. It's zero fun and anyone who has to deal with it inevitably e…

iirc the car does all the driving but you have to have a hand "on the wheel" so they don't technically have to legally classify it as a self driving car or something. I'm guessing …

iirc it's pretty much completely up to the compositor. The spec is worded to allow "focus" to enter a surface and deliver events to it, but it never specifies under what conditions…

I am biased but FreBSD is very well supported on NVIDIA, so I wouldn't let it hold you back from trying it out. I think you could load NomadBSD on a usb and have NVIDIA drivers set…

I always understood the argument to be that for rapidly changing projects you might be forced to upstream your GPL code or face an uncomfortably high maintenance burden of constant…

Glad to see progress on FreeBSD wifi again! One interesting workaround I saw recently was to pass an 802.11ac device to linux running in bhyve. I have yet to try it, but it seems l…

Zefrank's video on brain crack really summarizes the core idea of this article.

As one of my coworkers put it: "A talented programmer can write and verify 4 lines of code a day" seL4 has some cool ideas, but I can't stress enough how miserable it is to develop…

If you want something more hands on you can try "FreeBSD Device Drivers: A Guide for the Intrepid" by Joseph Kong. It is much easier to read, and my guess is you ran into it while …

My project was to port DOOM to the seL4 microkernel (on rpi3b+). To continue with that I’ve been porting NetBSD Rump kernel components to seL4 as well. DOOM itself is a breeze to p…

I completely agree. I've gotten to work with both of these at my summer job and it's been an absolute pleasure.