ashafer

5 ms·

1.
by ashafer 3y ago
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 a fuse in the fusebox you can pull to prevent
2.
by ashafer 4y ago
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 core issue that is enhanced by things like proof of
3.
by ashafer 4y ago
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 ends up hating seL4. It exists to brag about verifi
4.
by ashafer 5y ago
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 if he is videoing it and hovering over t
5.
by ashafer 5y ago
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 the compositor should do so. So the composit
6.
by ashafer 6y ago
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 up without any real trouble.
7.
by ashafer 6y ago
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 constantly rebasing it. Linux almost purposefully does this, it&#x27
8.
by ashafer 6y ago
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 like potentially the best short-term solution if you have a b
9.
by ashafer 6y ago
Zefrank's video on brain crack really summarizes the core idea of this article.
10.
by ashafer 6y ago
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 for.
11.
by ashafer 7y ago
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 making those BSD patches. He also has a short book
12.
by ashafer 7y ago
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 port. NetBSD can get confusing at times but it’s nice to know
13.
by ashafer 7y ago
I completely agree. I've gotten to work with both of these at my summer job and it's been an absolute pleasure.
14.
BSD vs. ATT Death Star Poster(github.com)
4 points by ashafer 8y ago|0 comments