Curious how much of the emulation ends up in hot paths before SVE and the feature variants land.

That's true in general, but California aqueduct land is mostly valuable cropland, and the other side is at wildfire risk

Did anyone else get weird deja vu from the sibling comment? And I can't figure out which one is the clone. cryptolobster posted about 1 hour after zdp7, but they both have good posting history.

Given how much surrounding machinery the graph sandwich proof depends on, would it even be feasible to formalize it in Lean without first formalizing large chunks of random graph theory? And if not, does that mean results like this will stay out of reach for formal verification for the foreseeable future?

Probably not since LLMs can now carry out very large formalizations (https://www.anthropic.com/research/formalizing-fermats-last-...).

Unless humans understand them, can we trust such formalisations? We can prove the formalisation is correct, but we can't prove it accurately reflects what we are trying to prove.

Of course, one has to convince oneself the Lean theorem is defined correctly, but it will be orders of magnitude shorter than the proof. (In this case, one would also need to assume that probability theory, random graphs, etc. are defined correctly, but one would generally be happy to leave this to others.)

I've been feeding agents dependency graphs plus CC and coverage data from a local store, and it works well for spotting cyclical deps and high-CC hotspots

For small-scale personal or family applications serving just a few users, does it make sense to choose Quick Tunnels over Tailscale or Pangolin?

TIL Git can do this without a shell script. I’ve been manually sorting through branches like an idiot

Tried Haiku on an old laptop. Loved it. Then realized Linux feels just as fast now and has containers. Haiku is cool, but it's losing the lightweight edge.

The situation is absurd. The fact that an AI bot from Tracer.AI filed a complaint without any real review just because Luanti uses a similar visual style to Minecraft, and Google just accepted it and removed the app is a problem of automation without oversight

Honestly, it'd be nice if people remembered about keyboard controls more often. I'm not saying it should replace the mouse, but it'd be great if both options were kept around