If you have a guarantee for the worst case of generating a pixel (which you indicate by saying that you never drop frames), couldn't you get rid of the framebuffer? Schedule pixel generation so that they complete just…
Yes, that would give some peace of mind, right? Unfortunately for us, that's not the case. The only platform specific code is the 8 instructions on top of "Code of framework" on http://www.sizecoding.org/wiki/Memories…
Not sure if this app supports it or not, but it would be very useful with a 5 second warning before being thrown into a video call. I could see all kinds of embarrassing moments happening otherwise.
Since propagation of information is limited to one cell per step, it's possible to speed this up by splitting the image into smaller subimages and solving those first, and then solve the borders between such subimages.…
Could progressive mode be used to serve thumbnails by just truncating the image at a suitable point, or does the spec (and so, decoders) expect the whole image to eventually arrive?
What are the implications of this?
Surprised by the negativity in the comments. This is an extremely impressive presentation of ability to put together current technologies and get the thing working front start to finish. A+, would hire.
That's a tempting theory, but the increased ratio of white vs blue collar jobs isn't enough to explain it. See graph on https://www.businessinsider.com/great-news-weve-become-a-whi...
Would that be legal, or counted as insider trading? Since you're trading on relevant information not available to the public.
Interestingly (or perhaps annoyingly) enough, the placement of the 0 was different in different countries. At least in Sweden the first digit was 0, and not 1 as in this implementation. This was reflected in the…
It's disingenuous to compare a single year vs an average like this, without going into what the distribution looks like. Maybe years are either very calm or have lots of fires? That would result in some years being much…
Yes, I think it's frustrating that this is not widely adopted. The upsides are really obvious and the only downside (I guess?) is that it feels a bit awkward to do it before society has gotten used to it. Another thing…
Aren't these large numbers just the sum of the maximum jail time for each of the charges? How are multiple charges handled in other countries?
Cool! -betterC looks well worth exploring. Also, pure and safe are fantastic features, I just wish the default was the other way around, so you need to specify impure and unsafe.
I've heard before that "NAT is not intended as security", but isn't the effect still the same, that an external device can't connect to a device behind NAT without explicit configuration allowing it?
I'm probably missing something, but I think that, for home networks at least, NAT is wonderful because of how it requires some effort to make devices exposed on the external network. If we were given an unlimited supply…
This article may be interesting as trivia, but the nuance of many of the words mentioned is so different from the literal translation that it doesn't make much sense.
I would be super interested in more details on how that works. What do you actually pass to z3 to solve?
The user id can be used to seed the random number algorithm to achieve that.
I have used them to prove equivalence between pseudo code and optimized production code. Several rounding-related tricks and a too large search space made it very difficult to prove with traditional testing.
Isn't this exactly when active noise cancelling works the best?
Very interesting article! It answered some questions I've had for a long time. I'm curious about how this works in practice. Is it always good enough to take the outputs of the next-to-last layer as features? When doing…
In Sweden, you need to tell the employer about the plans to take time off for starting a company 3 months before. That's on par with parental leave, where it's not uncommon to tell the employer 3 months before the…
(Hi Pedro!) Maybe nitpicking, but languages like Chisel and MyHDL aren't really HLS. Here there is a straight-forward mapping between the written language and the rendered result, and there should be little surprise in…
I really like that trick. It's very powerful. But I wonder what the difference is between this and protothreads?
If you have a guarantee for the worst case of generating a pixel (which you indicate by saying that you never drop frames), couldn't you get rid of the framebuffer? Schedule pixel generation so that they complete just…
Yes, that would give some peace of mind, right? Unfortunately for us, that's not the case. The only platform specific code is the 8 instructions on top of "Code of framework" on http://www.sizecoding.org/wiki/Memories…
Not sure if this app supports it or not, but it would be very useful with a 5 second warning before being thrown into a video call. I could see all kinds of embarrassing moments happening otherwise.
Since propagation of information is limited to one cell per step, it's possible to speed this up by splitting the image into smaller subimages and solving those first, and then solve the borders between such subimages.…
Could progressive mode be used to serve thumbnails by just truncating the image at a suitable point, or does the spec (and so, decoders) expect the whole image to eventually arrive?
What are the implications of this?
Surprised by the negativity in the comments. This is an extremely impressive presentation of ability to put together current technologies and get the thing working front start to finish. A+, would hire.
That's a tempting theory, but the increased ratio of white vs blue collar jobs isn't enough to explain it. See graph on https://www.businessinsider.com/great-news-weve-become-a-whi...
Would that be legal, or counted as insider trading? Since you're trading on relevant information not available to the public.
Interestingly (or perhaps annoyingly) enough, the placement of the 0 was different in different countries. At least in Sweden the first digit was 0, and not 1 as in this implementation. This was reflected in the…
It's disingenuous to compare a single year vs an average like this, without going into what the distribution looks like. Maybe years are either very calm or have lots of fires? That would result in some years being much…
Yes, I think it's frustrating that this is not widely adopted. The upsides are really obvious and the only downside (I guess?) is that it feels a bit awkward to do it before society has gotten used to it. Another thing…
Aren't these large numbers just the sum of the maximum jail time for each of the charges? How are multiple charges handled in other countries?
Cool! -betterC looks well worth exploring. Also, pure and safe are fantastic features, I just wish the default was the other way around, so you need to specify impure and unsafe.
I've heard before that "NAT is not intended as security", but isn't the effect still the same, that an external device can't connect to a device behind NAT without explicit configuration allowing it?
I'm probably missing something, but I think that, for home networks at least, NAT is wonderful because of how it requires some effort to make devices exposed on the external network. If we were given an unlimited supply…
This article may be interesting as trivia, but the nuance of many of the words mentioned is so different from the literal translation that it doesn't make much sense.
I would be super interested in more details on how that works. What do you actually pass to z3 to solve?
The user id can be used to seed the random number algorithm to achieve that.
I have used them to prove equivalence between pseudo code and optimized production code. Several rounding-related tricks and a too large search space made it very difficult to prove with traditional testing.
Isn't this exactly when active noise cancelling works the best?
Very interesting article! It answered some questions I've had for a long time. I'm curious about how this works in practice. Is it always good enough to take the outputs of the next-to-last layer as features? When doing…
In Sweden, you need to tell the employer about the plans to take time off for starting a company 3 months before. That's on par with parental leave, where it's not uncommon to tell the employer 3 months before the…
(Hi Pedro!) Maybe nitpicking, but languages like Chisel and MyHDL aren't really HLS. Here there is a straight-forward mapping between the written language and the rendered result, and there should be little surprise in…
I really like that trick. It's very powerful. But I wonder what the difference is between this and protothreads?