sebastianmestre

I initially read the "As" in the "As land" label as "land of plural letter A". Which I understood as the land of DNS A records, which seemed like a whimsical yet fitting name.

IIRC this Verdagon guy had a language called Vale... is Valen a rename or a new project?

Edit: tfa makes it clear it's a separate project

SSA = static single assignment?

I am confused

From a computational standpoint, Pick's theorem seems more useful to find the number of interior points via

    I = 2 (A - B + 1)

Where area would be calculated using the sum of signed areas of triangles.

He used his blog to queue the work to be executed asynchronously by another MS worker that reads it

Is this really a split that exists?

In my case I see Claude produce code much worse than I would, but it's certainly much quicker and, even after reworking, it makes me finish tasks in less time.

If you want the token sequence, you ought to avoid discarding it when you produce the string output. This is because, even ignoring special tokens, different token sequences map to the same strings.

From a space perspective, this is actually better because tokenization tends to compress text quite well. For example, common tokens in English text take up ~4 characters on average (expands to 32 bits), but only take up a fraction of that to store (15-18 bits/token depending on vocabulary size)

In fact it appears that designing the tokens as a text compression encoding is a decent approach, since it's roughly what some LLMs do. For example, early GPT tokenizers followed byte pair encoding to create the vocabulary, which is a text compression algorithm from the 90s.

This post you are commenting on (*6316) is a link post that points to the other one (*4663)

The normal behavior for link posts in HN is that the title takes you to the link address, not to the post address.

To enter the post address, you need to hit the "discuss"/"x comments" button.

So, what you describe is HN working as expected AFAICT, it's just a bit counterintuitive because it's an HN post linking to another, which is uncommon

I think 2.8 is where the Blender Foundation showed their commitment to improving the UX, but it just continually kept going from there

It's not perfect, but it's been vastly improved in recent years. If you lost interest in 3D art because of Blender's bad UX in the past, I recommend you give it another shot.

Also, there might be other new 3D software with better UX. I am not a Blender fanboy, but I do love 3D art and graphics programming and want as many people as possible to get into it :^)

I don't think that's what the GP was going for... rather, implying that flat-eartherness is uncorrelated to IQ and, thus, the average IQ of flat-earthers is the same as that of the general population.

TFA is about letters, not programming in Haskell like I had assumed

> I would expect something more rigorous from verified code.

I think you just want the illusion of safety :p

A big advantage of verified code is that it enables you to write the sketchy and dangerous-looking code BECAUSE it's proven correct

In fact, skipping as many safety checks as possible is highly desirable. For performance, yes, but also because it's less code to maintain.

Our tools already do this to some extent, for performance. E.g. compilers that remove your bounds or type checks in the generated code when it can prove it's not needed.

yep, some padding fixes this

JPEG compression can only move information at most 16px away, because it works on 8x8 pixel blocks, on a 2x down-sampled version of the chroma channels of the image (at least the most common form of it does)