veselin

One of main reasons somebody may want to use such a library is to constrain the output of a LLM. The language is designed to make this easy and abstract this part of the querying away. There are trivial cases when some value is coming from multiple choice, but one can also easily constrain one word to depend on a previously generated word.

The interesting part of that prediction is that depending on how you read it, you may say it failed embarrassingly, or you may say it predicted the current reality fairy well.

The next software as a differentiable thing that is the program has certainly failed. But now, there are amazing opportunities to connect text-to-text models to other another, to search engines, that it is likely to become a new programming.

Contrary to what many say here, this is a real threat and Google are right to consider to move fast in that area.

There are a few technical improvements needed that can come in the next months where ChatGPT may be tuned to rewrite queries for old-fashioned search engine to get better results. This may solve the problem of giving attribution for its answers, while keeping the AI capabilities.

But where the product threat is that this may show up in bing search pretty quickly.

I believe it was even more than one game that had this problem. If the data would be stored in a file, then any kid would copy and edit it. So, it was put in shady places in the registry and other windows configs.

I played RCT2 many years ago. But what was most notable was that it had a DST bug that lost all your progress when daylight savings time changed.

But the game was great. Just I had to play some levels twice.

Yes. There is a paper that shows that if a data type has non-commutative operations, then avoiding expensive synchronization is impossible

https://hagit.net.technion.ac.il/files/2015/09/popl168gf-att...

We use notion and when I read this review, the irony is that its weakest point is the search. Just like with most of these tools. In the case of notion, it is not the results, but the fact that search is so slow.

Otherwise, the it is is super powerful. In a few cases, too powerful and having cases when one doesn't use all of its powers.

Well, I disagree with pretty much everything in the claims.

First, most real unoptimised code faces many issues before memory bandwidth. During my PhD, the optimisation guys doing spiral.net sat nextdoor and they produced beautiful plots of what limits performance for a bunch of tasks and how each optimisation they do removes an upper bound line until last they get to some bandwidth limitation. Real code will likely have false IPC dependencies, memory latency problems due to pointer chaising or branch mispredictions well before memory bandwidth.

Then the database workload is something I would consider insanely optimized. Most engines are in fierce performance competition. And normally they hit the memory bandwidth in the end. This probably answers why the author is not comparing to EPYC instances that have the memory bandwidth to compete with Graviton.

Then the claims that they choose not to implement SMT or to use DDR5 are both coming from their upstream providers.

This reminds me of the problems we did 15-20 ago at IOI or ACM ICPC. We did these in pure C then, sometimes C++.

I would have kept the states in a different way. Instead of making a vector/array of actors, I would make a pair of bitvectors the size of the grid. 1 is set if there is a blue (resp. red) actor at that position. No sorting is needed and it seems that for more practical puzzles this gives smaller state. All move operations are still easy to implement.

Let me check. According to similarweb, dnevnik.bg is number 39 in the country and capital is not in top 50. There are more than 10 other news websites with higher engagement. At the same time the top 3 TV networks still support the previous government.

I didn't endorse anybody in my post, but your post has a strong political bias and wrong facts. Ikonomedia is a small media player with different biases and I am not sure what they support.

For those unfamiliar with the country, this is likely not a post against Facebook. In fact Facebook was instrumental in this party's campaign.

The country ranks at the bottom in the EU in media freedom. In the last 10 years, all mainstream TV channels got into the hands of a handful of people that also happen to receive plenty of funds from the government. As a result, an opposition party had no media coverage at all, or if there was anything, maybe negative one. I don't think parallels to some TV channels in the US capture the extent of the problem. But by using Facebook, this party managed to win in the capital and now they are part of the parliament (not anywhere near ranked first still, and btw I am not affiliated with them).

Despite all its problems, Facebook was not painted as something bad here. Also they were not painted good, because they were paid for the promotions. Still, some of these policies are puzzling. It is unlikely to be related to the end of the election cycle, because (due to the composition of the parliament now) the next elections may by as close as 3 months away or as far as 4 years away.

I was wondering why AMD didn't finally get access to the top notch process at TSMC. They can have some of the best margins in their products, just because they ended being the best now and they certainly have the volume already. They didn't even start addressing notebooks or the lower ends of the market with Zen 3.

Zen 3 is probably the fastest CPU on the market, it is not even scaled down to N5 or N6 which could get power consumption down to the best we have seen for notebook market.

Instead the rumors are that in 2022 the improvements will go mostly into packaging extra cache. And now the next processes are already booked by others.

I feel there is something universal about the phase in which the company enters and it is interesting to learn what moves companies in different phases.

Growing market, good press around, apologists for your brand, regulation and anti-monopoly scrutiny seems far away. Then the company is risk-taking, 7k$ that somebody occasionally may cheat is nothing in comparison to a possible blog post saying how awesome the company is. I think miraculously Apple is still here now, Google and Amazon were here 10 years ago, now AWS is here, Microsoft came here again recently, etc.

Then times come that bad press is there regardless of what you do, regulators watch you carefully. Then the user support becomes some scripts to follow, revenue over the next months (or launch before the next promotion cycle) is all you care about. Here I think how Verizon were super greedy and tried to milk the Droid brand within the 1st year, essentially killing it. I think the problem is once you enter this phase, it self-reinforces to stay here.

I have a theory why Google moved from one to the other and I have no view on the others, but at least here I think it was majority external factors not withing the company.

There are already precompiled headers. They are a big speedup as far as I know, but semantically problematic. Maybe if you use them, you will not see a speedup.

As somebody who uses c++ daily and spends a lot of time compiling, I am really excited about modules. Unfortunately, the latest even unreleased g++ v11 and clang v8 only say they support them partially. Does anybody have any experience trying them out? Do they work,l and are they ready for production use?

They lure you into using services you wouldn't use otherwise. I don't see how having FaceTime or TV is any different than when Google was bundling Google+ in Android.

Yes. The term dock came out of my mind, thanks. And yes, I emptied the dock. But obviously taking stuff off the dock is the minor inconvenience, but the idea that all this was preinstalled. Package managers and app stores should be where almost all of this belongs.

A new Mac comes with something like 30 apps in the bar. I clicked and disabled every single one of them except Finder and used Safari to download another browser. If it was any other manufacturer, this mess would be quickly denounced by reviewers as crapware. But because it is by Apple, it is not a problem at all.

I am not expecting this to fix by itself. Maybe some major review blogs should first not parrot how magical the whole thing is and change the tone as such things are not only annoying, but also a security risk even if you don't actively use the app. I am not an expert on development for MacOS, but I would be surprised if there is no way to trigger the mail app from another app or a link. I just hope the bug is not exportable this way.

I think that tools that collect dust are just not great. The article gives some internal Facebook tool as an example, but it is really a research paper. I asked some friends at Facebook and from my (small) sample I couldn't confirm from anybody to have heard of anybody who used the tool, which means it was maybe just a PR stunt. This is not a problem for research and it is a great paper, but there's just a lot of overselling in the field.

On the other hand, everywhere I worked, developer tools that did their job well were easy to adopt. JetBrain is a great example.

I understand the issue a bit differently. If a user writes some content that stays as a comment somewhere and it is defamatory, then the user is responsible. So far, so good. This is what 230 used to address.

But the real issue at play is that an algorithm decides that this content will increase engagement within the platform. And it actually does. Now, I think the company behind this algorithm is responsible for the defamation. For example Facebook uses the current law to hide and so all its fight with disinformation is subject to keeping the same engagement levels, which is obviously a very hard task. (We tried hard, but the problem is too difficult).

While the first case is good to address, the second one has severally outgrown it. Thus, so many people are even willing to give up something in order to address it.

I use Firefox on Android all the time. When I occasionally open Chrome, I see the UI there changes quite often. Now it has tab groups. Maybe a month ago it changed the url bar.

Snyk | London, Tel Aviv or Zurich | onsite | full-time

Snyk’s unique combination of developer-first tooling and best in class security depth enables businesses to easily build security into their continuous development process

Software engineer. Machine learning and program analysis https://www.linkedin.com/jobs/view/2324159704

What concerns me when reading such articles is that if lying is so prevalent and there is still no action against the bad actors, then the GDPR tracking checkboxes on many sites are likely also just sent to /dev/null?

At least in my experience, one gets subscribed to many things they explicitly opted out from. It is very easy to say later if somebody digs to just say yes was clicked instead of no or there was a bug affecting a small portion of their traffic.

I highly doubt elastic intended to offer it for free to the cloud providers from the start. They wanted to offer it for free to end users. This is why I expect new products will now start with these more restrictive licenses.

The author says in the end that the problem is not Amazon. Then links to a post where he suggests that companies maintaining the open source should have "invested the resources to build stronger communities around them. They would have reached out to Amazon, encouraged them to contribute back to the projects, and helped them to do so."

Of course, they should "encourage" Amazon not to steal their product and business model. Right.

It does not need to sell in any quantities. The mere presence of it hurts the trademark.

This request is not baseless at all. If you have in the supermarket a noname cheese that is branded "Grana Padano style", it would hurt the trademark.

I own two XPS developer edition laptops. The second one is up for an upgrade and the CPU is the one thing that is its weakest spot (Kaby Lake in my case), often on its limit when using Zoom for example and runs hot. But I think that with such minor upgrades of the CPU, I will tell bye to Dell.

This is the advantage of good competition. I still wonder if Dell would push a model with Zen in the next say 6 months before starting to look elsewhere.

A related discussion of SSA vs a simple VM based on symbolic registers is here:

https://www.sable.mcgill.ca/soot/tutorial/shimple/index.html

The SSA form is useful for a few optimizations, but complicates things in many other cases. Also a lot of program analysis can be done without SSA form. Also, SSA seems not to be the fastests in a JIT setting.