Ublock Origin (or equivalent) compatibility is a deal-breaker for me.
The reaction here is interesting, but it won't change my opinion without concrete feedback. Please tell me why this opinion is wrong.
Yes, as well as some lower-level software. (sharing portions of a PCI BAR region isn't trivial in a hypervisor, when multiple guests are involved). Mixing safety criticality levels is hard.
This kind of question is a gold mine, IME. When I interview network protocol devs, my favorite question is: "tell me what happens between the time you type something into the address bar and when you see a result". so…
I've got a customer that wants to get access to the PTP[1] registers of a NIC from user space. The customer suggests that context switches introduce too much latency and indeterminism (pre systems integration phase -…
> The misunderstanding first...we are not selling anyone to anything. We have no involvement in finding you the job, we are not recruiters, we are not headhunters. So we have no alignment with anyone other than YOU. How…
Xilinx has being doing CPU+FPGA for longer than that. I did some C runtime enhancements for the PPC 440 included in the FX70 for a product made by a former employer (shadow stacks for better CFI, more locked down MMU…
Is any employee of Docker, inc. critical to your use of containers? Is any copyrighted, non-OSS Docker, inc. code critical to your operations? Where does the money go.
>No, those are all policy choices we made. Who is "we"? I doubt it. I certainly don't recall being asked, and I'm in a privileged position, relatively speaking. I'd be curious to see how I could participate in the…
How large is large? Hiring junior engineers or developers definitely happens in companies smaller than FB or GOOG. Perhaps you mean something specific by "capable"? I won't disagree that c++ (as a technology) can be a…
Do you watch professional sports (football, basketball, etc)? Watching competitive video games (starcraft 2 is my favorite) has a similar appeal, to me. If you don't watch any sports, than the appeal of esports may not…
Thanks for the references - I'll look into them, I'm definitely interested in multi-tool workflows given my experience (systems programmers aren't necessarily mathematicians). If only the systems programmer could be…
Yeah, dealing with vendors can be frustrating, for sure. I'm still a little sad about the I-178 eval, since a lot of the work I saw done by RC was quite good, if limited in scope. Seeing The vendor (imo) misrepresent…
Regarding the arxiv link on verification methods, I'd be careful reading too much into the summary tables. The authors don't appear to have done their homework there (they overstate the C&A accomplishments of the…
True enough, but so what? Who among us will claim that monetary success is not based on circumstance? Certainly not me.
volume pixel (voxel) is already a term of art. I'm not aware of jargon to decouple the sampling precision in different axis, though that probably exists too.
I disagree that it's undesirable for back-up and restore to be impossible in all cases. Instead, I would argue that plain-text export of private and secret keys is undesirable, as it removes any protections the HSM was…
Yes, please. My email is in my profile.
Are you using and/or developing for SGX? I looked into it and got put off by the need to deal with intel for licensing and signing keys, but I'd be curious to know if anyone is doing something interesting with it.
Yes it is. Some variants even include a hardware security module so that you can store your encryption keys on it and keep everything but the bootloader encrypted (assuming proper software support of course).
Indeed. I've got a set for range use and they work great (esp. on outdoor ranges).
There have been quite a few systems that can handle proofs of the kinds of propositions you list above using various different logical frameworks, programming languages, and automatic and/or user-guided proof…
Something I've found helpful is pre-heating the board (e.g., with an under-board IR heater) before breaking out the hot air. As another poster has mentioned, chip-quick is also great stuff.
Out of curiosity, how are you planning on handling plating for vias and through-holes? The desire to stop handling chemicals (I have no convenient means of proper disposal) has got me using the on-line prototype…
thanks! (edit) I still don't see any rationale for the theorem prover kernel re-implementation. Again, pointers appreciated.
Ublock Origin (or equivalent) compatibility is a deal-breaker for me.
The reaction here is interesting, but it won't change my opinion without concrete feedback. Please tell me why this opinion is wrong.
Yes, as well as some lower-level software. (sharing portions of a PCI BAR region isn't trivial in a hypervisor, when multiple guests are involved). Mixing safety criticality levels is hard.
This kind of question is a gold mine, IME. When I interview network protocol devs, my favorite question is: "tell me what happens between the time you type something into the address bar and when you see a result". so…
I've got a customer that wants to get access to the PTP[1] registers of a NIC from user space. The customer suggests that context switches introduce too much latency and indeterminism (pre systems integration phase -…
> The misunderstanding first...we are not selling anyone to anything. We have no involvement in finding you the job, we are not recruiters, we are not headhunters. So we have no alignment with anyone other than YOU. How…
Xilinx has being doing CPU+FPGA for longer than that. I did some C runtime enhancements for the PPC 440 included in the FX70 for a product made by a former employer (shadow stacks for better CFI, more locked down MMU…
Is any employee of Docker, inc. critical to your use of containers? Is any copyrighted, non-OSS Docker, inc. code critical to your operations? Where does the money go.
>No, those are all policy choices we made. Who is "we"? I doubt it. I certainly don't recall being asked, and I'm in a privileged position, relatively speaking. I'd be curious to see how I could participate in the…
How large is large? Hiring junior engineers or developers definitely happens in companies smaller than FB or GOOG. Perhaps you mean something specific by "capable"? I won't disagree that c++ (as a technology) can be a…
Do you watch professional sports (football, basketball, etc)? Watching competitive video games (starcraft 2 is my favorite) has a similar appeal, to me. If you don't watch any sports, than the appeal of esports may not…
Thanks for the references - I'll look into them, I'm definitely interested in multi-tool workflows given my experience (systems programmers aren't necessarily mathematicians). If only the systems programmer could be…
Yeah, dealing with vendors can be frustrating, for sure. I'm still a little sad about the I-178 eval, since a lot of the work I saw done by RC was quite good, if limited in scope. Seeing The vendor (imo) misrepresent…
Regarding the arxiv link on verification methods, I'd be careful reading too much into the summary tables. The authors don't appear to have done their homework there (they overstate the C&A accomplishments of the…
True enough, but so what? Who among us will claim that monetary success is not based on circumstance? Certainly not me.
volume pixel (voxel) is already a term of art. I'm not aware of jargon to decouple the sampling precision in different axis, though that probably exists too.
I disagree that it's undesirable for back-up and restore to be impossible in all cases. Instead, I would argue that plain-text export of private and secret keys is undesirable, as it removes any protections the HSM was…
Yes, please. My email is in my profile.
Are you using and/or developing for SGX? I looked into it and got put off by the need to deal with intel for licensing and signing keys, but I'd be curious to know if anyone is doing something interesting with it.
Yes it is. Some variants even include a hardware security module so that you can store your encryption keys on it and keep everything but the bootloader encrypted (assuming proper software support of course).
Indeed. I've got a set for range use and they work great (esp. on outdoor ranges).
There have been quite a few systems that can handle proofs of the kinds of propositions you list above using various different logical frameworks, programming languages, and automatic and/or user-guided proof…
Something I've found helpful is pre-heating the board (e.g., with an under-board IR heater) before breaking out the hot air. As another poster has mentioned, chip-quick is also great stuff.
Out of curiosity, how are you planning on handling plating for vias and through-holes? The desire to stop handling chemicals (I have no convenient means of proper disposal) has got me using the on-line prototype…
thanks! (edit) I still don't see any rationale for the theorem prover kernel re-implementation. Again, pointers appreciated.