Grind finer

Brother never understood conditional probability.

Sexy

This dude need to chill, he also pushed the systemd change, and in his blog he seems to believe android "advance flow" for sideloading protects users.

The one they are targeting is California's AB-1043, which still have three quarters of a year before it comes into effect...

I think this dude might get too excited for his new subscription of claude code or whatever, and decided to spam every project with these request. Some of these are reasonable, some are compliance in advance.

Also this dude writes two freaking blog every week with LLM. If I were him, I would try to find some joy in my personal life...

Company Reps Left, Feeling “Unsafe”.

So does everyone who might suffer from the pollution, noise, and increased utility bill from data center.

LLM is very good at programming when there are huge number of guardrails against them. For example, exploit testing is a great usecase because getting a shell is getting a shell.

They kind of acts as a smarter version of infinite monkey that can try and iterate much more efficiently than human does.

On the other hand, in tasks that requires creativity, architecture, and projects without guard rail, they tend to do a terrible job, and often yielding solution that is more convoluted than it needs to be or just plain old incorrect.

I find it is yet another replacement for "pure labor", where the most unintelligent part of programming, i.e. writing the code, is automated away. While I will still write code from scratch when I am trying to learn, I likely will be able automate some code writing, if I know exactly how to implement it in my head, and I also have access to plenty of testing to gaurentee correctness.

And I don't see why that is a problem. If a company is doing good thing and sustaining itself, I don't see why they will need to be the next dell, hp, or lenovo. That feels like the toxicity of "endless growth" in the capitalistic view of the world.

Not to mention in most of the place I go to, these are the most popular laptops only behind macbooks. In many situations, they are even more popular than macbooks.

No I think you are thinking of calyx. Graphene repeatedly asserted that they won't support fairphone because of the slow update.

BTW, there is a very strong Boston/Cambridge/Somerville community on mastodon, there is a entire instance for it: https://better.boston/explore

Mayor Wu is on there @[email protected] but not posting much these days.

There are also many people on other instances, like transport or OSS instance, as many prominent OSS contributor lives in that area.

academic publishing. It used to be monopolized by a couple publishing company with unreasonably high fee for access on both the side of researcher and reader.

Now, through hard works of the academics and funding from the public, now many publishing company are non-profit governed by working academics. And in many fields, open access has become the default.

I am quite surprised that in the school I am teaching in, student have a much more negative attitude towards genAI than professors, especially in the context of education.

30% of the professor feel that genAI can play a role in education, whereas only 11% of the student holds the same view. That seems to reflect quite well in my homework, only a very small minority (10%) uses some extend of genAI in writing open-ended writing homeworks.

most likely copied from PDF, thus the line break is copied properly.

I wouldn't even listen to it for money (unless it is a lot of money

I believe they are higher dimensional string diagrams. Maybe called n-diagrams? They are used in higher homotopy and higher category theory, I believe. But not entirely sure.

https://arxiv.org/pdf/2305.06938

EDIT: Found it! they are called surface diagram, which are generalization of string diagram to 3-categories https://golem.ph.utexas.edu/category/2010/03/modeling_surface_diagrams.html https://ncatlab.org/nlab/show/surface+diagram

Still not sure what the proof is talking about though :(

But from the conclusion it looks like some sort of natruality condition, where the morphisms are slided around except beta.

EDIT AGAIN: got in touch with my string diagram contact. Here is the paper https://arxiv.org/pdf/0807.0658

Note the conclusion at the bottom, the proof on the right and the axiom on the left doesn't seem to be related.

The proof on the right is Theorem 6; the equality at bottom is in section 3.4, where the proof is omitted because "follows from definition"; the axiom on the left is HM1 and HM2 on page 19.

literally put shit on egg -- enshitification

NGL sounds AI AF

I think this is already done in most part of computer science. In my field, Springer has very little shares left, and is actively being replaced by ACM and Schloss Dagstuhl, which are not only both non-profit but all open access.

I am also glad after 20 something years, our field has finally moved away from IEEE, which is not open access even til this day.

I think what he meant is nazis are cheap.

The rich ones can spend money on elections that buys them power, but they absolutely will not waste their money on statues.

Other nazis are really really cheap.

I don't care how hot a mummy looks, she must smell horrific.

For people who are not aware, "Yao-Shun-Yu" are the first three (half-mythical) kings of China. They are famous for their altruism and kindness.

At this point, I am not even sure naming robots after human rulers is dystopian or not.