sabas123

13 ms·

91.
by sabas123 5y ago
Why would you say that PL research is in trouble? Conferences like PLDI and more ones like LANGSEC are going strong and there are probably more out there.
92.
by sabas123 5y ago
VLC is as good as it gets when it comes to playing video
93.
by sabas123 5y ago
Did they make up this claim or is this grounded in anything? If so I would love to see a paper on this because this seems like an outrageous claim to me.
94.
by sabas123 5y ago
Even so, they could have defended perfectly against a threat model, which might have been completely reasonable. But it might have been pure bad luck. Although I don't know any of the details.
95.
by sabas123 5y ago
If you would override the default microcode update, which should be doable if you have that level of access, you could call it persistent no?
96.
by sabas123 5y ago
The article is based on the same tweet as this discussion from 3 months ago: https://news.ycombinator.com/item?id=26519693 I also want to state how impressive their work is. These are the true undocumented instruction find
97.
by sabas123 5y ago
> Agreed, as far as I can see, it was a calculated risk that companies would abuse it During the announcement of the first support package it was explicitly stated that due to the short time frame they had to operate in, they were taking
98.
by sabas123 5y ago
Personally I don't really see the value in comparisons of these primitive statistics like rate of fire/reload time. At a high level everything becomes so highly dimensional that any analysis on this level falls short compared to i
99.
by sabas123 5y ago
Flushing the cache after every crossing between every kernel/userland switch doesn't sound __too__ bad. Hopefully this will make older CPU's maintain some of their usefulness after this attack :(
100.
by sabas123 6y ago
sci-hub
101.
by sabas123 6y ago
I still find it strange that tech people adopted FAANG as a term. Including Apple and Netflix but not Microsoft still boggles my mind.
102.
by sabas123 6y ago
How is being able to do this good? There are reasons why this shit has been regulated.
103.
by sabas123 6y ago
There was a quote from day[9] that really struck with me and wonder if anybody has some intelligent opinion on it. "MMR [in context of systems like elo] is __not__ a measurement of skill, but of progress".
104.
by sabas123 6y ago
Imitating users to avoid detection isn't really a new technique
105.
by sabas123 6y ago
> But, the amount of prerequisite knowledge one needs to understand this is very, very little, and would easily fit in a digestible web page I'm really not sure on this one. This is easy if you have an idea of: 1. how you can graph
106.
by sabas123 6y ago
Why wouldn't you be able to just say "worst case n^2?"
107.
by sabas123 6y ago
At the same time, that other 10% might be completely invaluable. Which makes this entire situation such a mess :/
108.
by sabas123 6y ago
Can we get an edit on the titel? This article is about an upcoming publication by a team from China and has nothing to do with Google nor it being challenged.
109.
by sabas123 6y ago
I find it so weird that this is written by Huk, since I would have expected a lot more well thought opinions from somebody who admittedly once was one of the best non-koreans. I'm truly shocked that he just describes the economy as too
110.
by sabas123 6y ago
A large issue with this is the fact that certain armies of different strengths can only exists in certain time-frames, so even if you could perfectly calibrate for "this army combo is as strong as every other", the fact that one u
111.
by sabas123 6y ago
What is the form of the program produced by this, is it native x86 or does K provide some sort of runtime/vm style elements? Does it fully encode all semantics? Since typically formal verifications have issues with floating point stuff
112.
Embedding multiple x86 programs into the same binary(aix86.com)
2 points by sabas123 6y ago|0 comments
113.
by sabas123 6y ago
Like its always been, back-end web dev
114.
by sabas123 6y ago
To create a bit more serieus response. 'I wonder if' is not the problem here, it is that it isn't even wrong on so many levels. https://en.wikipedia.org/wiki/Not_even_wrong
115.
by sabas123 6y ago
Knowing what/who Jane Street is massively changes perspective on this. They are definitely not a random shitty company that outsources their core business to some challenge. They are quite known if only for the fact they practically ad
116.
by sabas123 6y ago
Literally every community which have good ties with academia underlines this point so strongly that we can't ignore it as just a bubble
117.
by sabas123 6y ago
Reading some comments myself it seems to be more akin to: "Yes it is nice, but not perfect", citing the concerns of that testing isn't complete yet and the duration is quite short.
118.
by sabas123 6y ago
Could you give some specifics instead of a blanket "this article is shit"
119.
by sabas123 6y ago
This article appeals to so many results in complexity theory but can anybody tell me if they are valid? I did pass a basic course in theory of computation but can't verify these myself.
120.
by sabas123 6y ago
What you describe would solve an NP problem. Since each NP has a successful path that answers the question in polytime, which must be taken by at least one core. However this does not help you with a program which would loop infinitely.

More ›