Viewing profile — jfries

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 …

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 ht…

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 ha…

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 sol…

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 f…

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 implementa…

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? Tha…

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 societ…

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 configu…

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 networ…

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 prov…

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 nex…

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…

(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, …