veselin

9 ms·

61.
by veselin 6y ago
My understanding is that such tricky side-channel free code ideally should not be directly written by humans. I know of at least one project that has made a lot of progress on this idea, although they say the crypto primitives are still at
62.
by veselin 6y ago
The entire Bloom filter is a loss in terms of space. The Bloom filter may give me better lookup performance (by skipping lookups in the underlying data structure) at the expense of this space. But this is if the Bloom filter itself is fast.
63.
by veselin 6y ago
The article has a good implemenetation, but when reading about Bloom filters, I often see claims about optimality, but it does not say optimial for what. In this example, an optimal Bloom filter for 1M elements does 7 lookups in a bitvector
64.
by veselin 6y ago
Agreed for PASemi and Android. They were hot, certainly they won in the short-mid term by being part of the bigger organizations. But by now, I think it severely limits their possible impact. All the big app stores that are also part of ano
65.
by veselin 6y ago
It is full of Apple (and other corporate) apologists. But I just want to point out that Google executives were saying some years ago that if Android was not part of Google, it would have been one of hottest startups in the valley. Similarly
66.
Kissat SAT Solver(fmv.jku.at)
111 points by veselin 6y ago|60 comments
67.
by veselin 6y ago
For interviewing, I find it most useful if we ask a question that is an algorithmic problem to solve (but we don't tell them it is a graph problem and obviously it's not something as classic as Dijkstra). Then we observe if the ca
68.
by veselin 6y ago
No. She is Romanian. As a result, Romania's GDP was going in a much better trajectory before the local politicians tried to stop her and bring the country back on the old corruption path.
69.
by veselin 6y ago
There are some sites (e.g. sites by Vox Media like TheVerge) that are outright illegal according to GDPR. There is only "Accept" and cookie information links that don't include any opt-out options. This is not just a dark pat
70.
by veselin 6y ago
This is as good as the CVS versioning on a per-file basis. Its problems are well known and it is not widely used now for a reason.
71.
by veselin 6y ago
One should keep in mind that all the "forever" claims by corporations are forever only until some VP quits. The moment the productivity of remote employees goes measurably worse than the one of local employees, there will be immed
72.
by veselin 6y ago
All you say is that it does not serve very well the Apple shareholders to build such a device, because it will have lower profit margins. Not that it will not serve its users. Of course, judging by most of the comments, the users are comple
73.
by veselin 6y ago
They overapproximate. This means that may say something probably doesn't terminate even if it terminates. The idea is that if it says it terminates, then there is a proof it does.
74.
by veselin 7y ago
I was wondering generally, is SIMD a good idea for general purpose CPUs. Imagine if the current high end CPUs had double the number of cores, no SIMD, but possibly higher frequency and the algorithms that benefit from SIMD were all run on i
75.
by veselin 7y ago
I wonder, isn't the new CPU training with locality sensitive hashing similar to constructing something close to a winning lottery ticket?
76.
by veselin 7y ago
I observed a similar anti pattern on booking. There, the scores are up to 10, so technically they should be more fine-grained. It looks like this until they ask you to leave a review. Then the questions are like how was the check-in, the ch
77.
by veselin 7y ago
The new AMD EPYC 7742 should have double the memory bandwidth (they claim they are memory bound) and 1.5x the cores for a similar list price. But in all cases, I would not expect that a serious research can outright beat the current NNs by
78.
by veselin 7y ago
Switzerland is probably the exception, but 200CHF bills are accepted without problems at most places (1 CHF is roughly 1 USD). There are also the less frequently used 1000CHF bills. I don't remember problems buying stuff with them s we
79.
by veselin 7y ago
This model is perfectly good. However, the laws are still outdated with respect to it. Here are simple proposals: - hp (or Apple) can sign you up for this, but then they cannot call it "buy" in the shop. Rent an iPhone (Android ph
80.
by veselin 7y ago
GPT-2 is byte pair encoding and transformer. Is there any indication that BPE plays any role here, because the vocabulary is fixed? If not, then it is only the transformer that is interesting and this post is just trying to use the name of
81.
by veselin 7y ago
Many people probably didn't notice that Microsoft Office at that time used custom controls and was a little off from this design. The design was very nice, but a bit over complicated. Things looked like a control panel, which maybe mak
82.
by veselin 7y ago
I found what it generates. https://github.com/pediredla/Algorithms/pull/3/files It looks like a linter, but maybe there is more.
83.
ILF: AI-Based Fuzzer for Ethereum Smart Contracts(github.com)
5 points by veselin 7y ago|1 comments
84.
by veselin 7y ago
Nobody forbids them to put ads. However, there are laws (not even talking moral here). If you explicitly download a tracking blocking extension, you want to opt out of tracking, which is required by law that they provide. What I am saying i
85.
by veselin 7y ago
Yes. This is horrible behavior from Facebook. I had a similar problem finding a working extension that blocks fbclk id. Well, I found one, but I am not sure I would want to share it, because the facebook engineering team may go after it as
86.
by veselin 7y ago
Yes. For PhD, it is paid very well. For MSc and BSc the cost is low. What ends up high are the living costs in Zurich. But given how much these costs have increased in the hot US cities, this may not be a problem.
87.
by veselin 7y ago
This is one of the best courses at ETH (computer science). Too bad I finished the PhD before this course was there. Another very interesting course is "Reliable and Interpretable Artificial Intelligence".
88.
Ask HN: Why are GSuite and Office 365 not suggesting DMARC for new users?
1 points by veselin 7y ago|0 comments
89.
by veselin 7y ago
I don't know about full outage, but the current "disruption" of Kubernetes Engine lasts for more than a week. https://status.cloud.google.com/
90.
by veselin 7y ago
There is an interesting paper that can automatically rewrite expressions to improve the floating point errors. http://herbie.uwplse.org/

More ›