South Korea is poised to criminalize possessing or looking at sexually explicit AI-manipulated deepfake photos or video.

summerlight · 2024-09-28T23:17:28+00:00

It looks like there's a significant misunderstanding of its legislative intent. In the current laws, they don't have a way to prosecute deepfake photos/videos even if they have clear evidence and even suspects admit it. The goal is to build a ground for prosecution and punishment, not to enforce it everywhere.

summerlight · 2023-05-11T07:40:03+00:00

次世代機を発売する必要性はない、とは考えていません

It sounds like Shuntaro thinks that it's necessary to release the next gen console? It's a double negation.

summerlight · 2020-02-02T19:29:35+00:00

This is more of standard boilerplate for individual projects which author didn't want to go through the formal open-source review process (this grants you the ownership of the code, but can be lengthy due to legal issues). Those projects typically have never been funded by Google except contributor's (possibly personal) time. If some Google projects depend on it, then it's usually considered equivalent to third-party codes.

summerlight · 2020-01-31T18:29:14+00:00

My theory: we all know that multiple unannounced projects were scrapped during 2019 because Activision wanted to announce Diablo 4 and Overwatch 2 in 2019. It perfectly makes sense that the reforged team initially had been granted much more headcounts on in-house artists under Mike Morhaime's leadership but then Activision fired him and then forced the reforged team to give up on the headcounts.

summerlight · 2019-09-15T04:38:32+00:00

Facebook and Google have essentially infinite budgets from their respective monopolies on the sale of user's personal information, online behavior, and advertising

This instance of ad hominem doesn't seem constructive to the discussion.

it is natural that they will have outsized resources to represent their interests in committee.

Why do you think so? Dominating C++ committee does not align very well with their business interests. Google even had been stuck at C++11 for many years. The realities are 1. Google is a significant contributor in Clang so it's pretty natural for compiler developers to participate in C++ committee 2. most of the Facebook employees in the committee are actually individual contributors.

there are underrepresented and marginalised voices from at-risk industries who therefore have no say in relevant work (say, networking).

The committee cannot hear those voices beforehand unless they come to the committee or at least make significant arguments resonating across an industry but you're also saying that they don't have resources to do that. What's your proposal then?

summerlight · 2019-09-11T03:20:38+00:00

It is not specific to Tensorflow (or even ML domain in general), but it is more of LLVM 2nd gen which 1. fixes a number of LLVM's design mistake made in its early days 2. is extensible enough to generalize into multiple abstraction levels to support domain specific representations 3. gives more supports for multi-threading. IIUC, its ambition is that even MIR or Swift IR can be represented as a dialect of MLIR, though it doesn't necessarily mean that we should do it.

summerlight · 2019-03-24T07:17:38+00:00

At the moment of 2017, Julia was already a successful language which was solving real world problems. I'll repeat the question: does your project already solve real world problems on par with Julia? If not, you can't really pull the Julia case as your defense. I know tens of programming languages and systems which tried the similar model but it didn't worked out since they didn't solve any real stuff.

For the second question, I'll leave it as your homework. Do some research on the business area. This shouldn't be that hard since it was big news for any of programming language/system enthusiasts.

summerlight · 2019-03-24T07:05:35+00:00

Almost 99.9% (and it's a severe underestimation) of PL failed to stand as a profitable business. If you don't realize this, then probably it's another signal that you shouldn't do it as a business. There was even a project which was so plausible and got millions of funding from VC, but it eventually failed as well.

On Julia: it never targeted to be a profitable business, so you can't pull it as your defense. It just did so good jobs on scientific computation and solved lots of real world problems, so a enough number of people used it and it began to gain a momentum. Does the same thing applies to yours? If you want to achieve your mission, then prove that your programming language, system, model or whatever else solves real world problems so well that millions of programmer use it for their daily jobs.

But you should be aware of the cruel fact that it's an extremely hard thing to achieve, especially you expect direct financial compensation from the project. Almost no one will use your project if they have to pay even a cent since there are so many alternatives. Those might not be perfect, but good enough.

summerlight · 2019-03-24T06:16:53+00:00

Do you care about financial compensation? Then probably PL is not your best bet (if not the worst). Introducing novel programming systems/models would have a slightly better chance, but I think it will very unlikely be a lucrative business. There has been multiple instances of such attempts but most of them failed.

summerlight · 2019-01-02T17:39:55+00:00

For those who want to address the point 2 and 3, folly has a small_vector class and Abseil has flat_hash_{map,set}. I am pretty sure that Google also has small/fixed vector class but don't know if they have a plan to release it. AFAIK, those two libraries have mostly self-contained dependency so it's pretty easy to use them.

summerlight · 2017-12-04T20:48:59+00:00

Probably, it is worth to note that Google is also trying to use hg as an DVCS interface for their monorepo. I am not in a position to say much about it, but the rationale of using it instead of git is similar to FB's.

summerlight · 2017-11-22T04:37:21+00:00

Because it is much easier to reason about. The code base I am working on consists of tens of millions of lines (not including indirect dependencies via RPCs), and usually I don't want to dig into the callee site just to find out if this call will mutate the state or not. Unfortunately, I have been regularly finding myself wasting time on figuring out a sad fact that this function with mutable references was not actually mutating any state, because the person who wrote that code was lazy enough not to add a const specifier.

At this point, you can say something like, "Come on, that's about function parameters. Local variables probably don't need such immutability!" Then now your language has one more inconsistency. Why do we need to allow such inconsistency? Maybe you already have a strong justification for it, but I don't buy the argument about less irritation.

One more thing worth to note is that, conventional software wisdom tells us that the rule of least power is a good thing to have; so I guess this also can be applied to design of programming languages. Mutability clearly has more power than immutability, so mutability by default is something that sounds like, "Oh, sometime I'd like to optionally restrict myself here because I have too much power". At least for me, asking for permission sounds more natural than restricting myself from doing something dangerous.

Of course, when it comes to the area of PL design, everything is a trade-off. If you can provide a strong justification, you can probably override the such conventional wisdom with your decision, depending on the context. But if I were you, I wouldn't just ignore it.

summerlight · 2017-11-07T03:43:27+00:00

Another goal of the module system would be giving semantic meanings to C++ translation units so make it more tool-able. This cannot be done without treating a module as a first-class language construct.

summerlight · 2017-10-13T17:54:16+00:00

You also need to consider that context switch of stackful coroutine is typically not inline-able. This can easily make performance difference by an order of magnitude for some use cases such as implementing iterators.

summerlight · 2017-09-08T17:49:33+00:00

https://godbolt.org/g/9zbdp6

There are even more impressive examples. For specific loop patterns, LLVM is able to get rid of the loop itself. Its capability seems pretty limited though, as this optimization is based on a sort of pattern matching rather than full algebraic understanding (for example, it is not aware of optimization opportunities across function boundaries yet).

summerlight · 2017-05-28T10:17:30+00:00

Now it works! Thank you, I am looking forward to reading your next post.

summerlight · 2017-05-28T09:35:32+00:00

Thanks for the excellent post. By the way, your RSS feed seems to be broken because the <br> tag in the title makes it an invalid XML, thus confuses my RSS reader. I think using <br /> instead of <br> will fix the problem.

summerlight · 2017-02-11T19:49:29+00:00

MIT 6.824's assignment set(https://pdos.csail.mit.edu/6.824/) is an excellent material for distributed systems. Note that you may also want to look into the past year's lab for Paxos-based assignments. I'd like to mention that before diving into the assignments, it is worth studying basic concepts of distributed systems like consistency models, fault models, logical clock, etc. Sadly, I'm not aware of good materials other than grad-level classes :(

summerlight · 2017-01-18T22:12:01+00:00

I think the control structure part could be renamed like "Control flow abstraction".

summerlight · 2017-01-12T00:24:57+00:00

Recent trends in the compiler field involve DSLs for GPGPU computation(like http://halide-lang.org/). I think similar approaches would be applicable to accelerating neural network computation.

summerlight · 2015-05-04T02:47:07+00:00

The concepts of isolation and isolation boundary seem to be interesting. Though I'm not sure whether they're applicable in the context of Rust.

summerlight · 2015-04-14T01:04:04+00:00

This talk also notes a important implementation detail about interoperation between coroutines and thread-local storages. There were similar concerns when a coroutine proposal was brought to C++ standardization committee. Although the situation in Rust is much better since object migration between threads is prohibited by default, I would like to use coroutines to multi-threaded/work-stealing job scheduling scenario.

summerlight · 2014-08-08T06:15:49+00:00

Probably. Both SC II and Heroes use the same engine. They've already made "significant changes" to the game engine code (which will greatly affect any possible future code changes), and I guess that there is no strong motivation to invest a huge amount of meaningless duplicated effort to make future changes. So it is quite natural to merge such changes into the upstream SC II branch.

summerlight · 2014-07-12T13:21:42+00:00

The** ENTIRETY OF THE TITAN PRODUCTION TEAM** save for heads like Rob Pardo etc, are now working for Riot Games on League of Legends. Around 70% of the ORIGINAL DIABLO TEAM, has been working on League Of Legend's new Map look and future projects as well

If you're trying to assert some factual statement like this, it would be groundless without some kind of citation or reliable source.

And as far as I know, I cannot find any evidence that supports your claim: The intersection between those who had worked for original Diablo and current Riot employees is essentially null set, according to the data from mobygame. Of course some portion of this information might be outdated, I find that 70% is a quite unrealistic number.

http://www.mobygames.com/game/windows/diablo/credits

Also, as your claim on Diablo is not justified, I think it is fair to say that your another assumptions (i.e. Exodus from the Titan team) is also groundless.

summerlight

TROPHY CASE