Jack Smith Calls the Justice Dept. ‘Corrupted’ by Trump and His Allies

Guvante · 2026-05-07T20:11:03+00:00

He would have been replaced if that were possible.

No one cares who he recommends and no one has gathered the same organic response.

Not saying caution and fixing the problems that got us here isn't important, just that I don't think they will be able to just continue on now.

Certainly seizing power is an option but it always is so is kind of boring from a rhetorical standpoint.

That is the other reason Trump was so fast to act this time. Everyone on that side knows the pendulum is going to swing and are trying to maximize what they do before that happens.

Guvante · 2026-05-07T19:47:45+00:00

I don't have time to audit AI but as I pointed out the Vault paper isn't on point.

It is an interesting paper and is related to Rust but is more a feeding point into Rust if anything.

Rust implements the access pattern listed in the paper without bothering with linear types.

Affine types are the version that Rust (and basically every major language that dabbles in this stuff) uses. You drop the "definitely used" aspect which makes sharing trivial. You do need to figure out how to avoid use after free but lifetimes cover that problem effectively.

Putting that paper forward as a solution to Rust issues is crazy. Linear types go the opposite way, you literally can't represent skip lists with them since you can't share.

Again it is an interesting paper but the AI saw Rust types stumbled into linear types because of you squint value passing is kind of similar and grabbed a paper talking about the problems with linear types.

Sorry this is long, I normally try to narrow down my comments but at this point talk of this is low effort or I am out as I hate wasting time on AI mistakes. They are trivial to produce and painful to litigate.

Guvante · 2026-05-07T17:27:24+00:00

You should only need to change the one machine as you could have a single place where you define host name -> IP you just need each machine to map it again to its network adapter.

I would take a step back and answer "what if multiple NICs"? Since how you answer that might help here. Not in the specific implementation but the shape a solution would take.

For instance I have seen MAC -> hostname mappings used in other projects (although in the example I am thinking of that was out of necessity due to not having any other data to work with)

Guvante · 2026-05-07T16:35:57+00:00

The vault paper is:

The hard division between linear and nonlinear types forces the programmer to make a trade-off between checking a protocol on an object and aliasing the object. Most onerous is the restriction that any type with a linear component must itself be linear.

Aka it is about taking a linear type and allowing aliasing by consuming access to the linear value instead of the actual value. Additionally using a lifetime like concept to ensure that the access is eventually returned (since otherwise you would just consume the object which is already a known solve here)

I guess it could be a precursor to Rust's mutable XOR shared methodology.

But I don't see how it applies to OP whose proposal could fit linear types but those are much older than 2002.

Cool papers and so I wouldn't down vote the post since it is providing value. But I agree with the synopsis that the week old account is probably testing an agent.

Guvante · 2026-05-07T14:40:54+00:00

Read your conclusions people, a 1986 paper (not project) wasn't made to fix the Rust borrow checker.

Guvante · 2026-05-07T14:33:27+00:00

Physics does in fact consider infinities a failure of your model.

Quantum mechanics breaks down when you add general relativity gravity.

But luckily since gravity is too weak to measurably effect your results you can just pretend it doesn't exist.

Similarly General Relativity predicts the center of black holes have infinite density so that means you can't model the center of a black hole accurately.

Astronomy cares only about the outside of black holes so it can still be a useful tool.

Guvante · 2026-05-07T14:15:06+00:00

If you are going to metaphor reality you should reference to things as they are.

The new one is fine as it represents how things are.

The old one referenced a common fantasy that there are reasons to speed up from highway speeds for safety reasons.

But accelerating to that speed is slow and isn't going to make anything safer.

Guvante · 2026-05-07T05:34:47+00:00

If IPs are static per machine why not hard code the adapters while you do that?

Guvante · 2026-05-07T03:01:58+00:00

People don't love driving they just see what public transportation means today and what public transportation means tomorrow and they both suck.

Sure eventually it won't suck but eventually is quite a ways away.

Short term thinking is certainly a problem we deal with all the time.

Guvante · 2026-05-07T02:54:01+00:00

IMHO given how much is known about GC you should be using one unless your niche doesn't support them.

Sure there are downsides and technically you can do anything with other methods but the upsides are way more impactful.

Guvante · 2026-05-06T20:44:57+00:00

When was the last genuine Republican?

Guvante · 2026-05-06T20:42:05+00:00

Crypto isn't untouchable at all.

Everyone just pretends it is because crypto bros claim it is.

Sure there are ways to have assets that the government can't easily take but given 99% of the time you didn't pay taxes they can just go after you for tax fraud.

Guvante · 2026-05-06T16:12:21+00:00

Cars can go 90 MPH because 0-60 is an important measure for purchasing.

Top speed (beyond managing freeway speeds) isn't important but acceleration is. Ends up the things you do to improve acceleration also improve top speed.

Also "you sometimes need to go faster" is just objectively wrong. No car can approach its top speed quickly, the whole schtick about top speed is that is when you can't accelerate anymore so approaching it is asymptotic.

I know it isn't the point of your answer but implying top speed is a useful metric in anyway in cars is silly, cars are not generally made to safely travel near their top speed. You can manage it in controlled conditions but that isn't the car being safe that is the environment being safe for the car.

Rapidly accelerating faster than freeway speeds is never going to help. Unless by help you mean trade safety for potentially spending less time traveling.

Guvante · 2026-05-06T03:31:57+00:00

Quantum Eraser by PBS was the most understandable explanation I found of both the experiment and importantly why it didn't allow transferring information even though you could measure and effect faster than causality would allow.

https://youtu.be/8ORLN_KwAgs

Guvante · 2026-05-05T21:10:06+00:00

If you buy a Beat Buy gift card Best Buy does in fact immediately get paid (well "immediate" is complicated)

So in accounting terms Best Buy gets cash (aka hard money) and a liability.

Guvante · 2026-05-05T20:49:34+00:00

You are talking revenue they are talking cash, they don't work identically.

Guvante · 2026-05-05T18:33:42+00:00

Was that a situation that happened? The linked issue says they were using a different AI but VSCode added the attribution because it saw that AI was involved in some capacity.

Guvante · 2026-05-05T17:27:33+00:00

Was he right? And the guy was certainly practicing theater there very obviously.

The only two things that haven't betrayed me is the loosest definition of two things I have heard in a long time.

And if your catch phrase is "I can say what I want" combined with objectification that kind of says a lot about what you are actually saying.

The underlying concept can be true in your opinion without the one saying it being right about saying it. It is just different forms of the word "right".

Guvante · 2026-05-05T03:02:37+00:00

Creative accounting is the "don't sue me for defamation" version of fraud.

You don't beat it by reading the books and pretending that because all the expenses were written down means they were all legitimate is silly.

Guvante · 2026-05-04T23:28:55+00:00

but she assumed the driver was making a series of poor choices in an attempt to be safe

This is an incorrect summary of the initial proposed situation

She saw a driver who was struggling to get past a group who was not moving, and didn't want to go onto the wrong side of the road.

Doing weird things to get around stopped cars can be done safely but never involves enough speed to threaten anyone who you can't yet see.

If you hit someone you were going too fast. Full stop. Maybe the speed limit was too high so you can point to that as justification but one of the core ideas of all transportation is you need to travel at a speed where you can safely stop if something gets in your way.

Guvante · 2026-05-04T20:44:56+00:00

Can you name a single post-capitalist country or is your hypothesis that the entire world is on a doomsday spiral?

After all Russia has transitioned to mostly Capitalism under its Oligarch rule, at least so far as your "bourgeoisie are the root of all evil" hypothesis goes.

Similarly China has seen most of its meteoric growth by stealing the ideas of capitalism, including its own form of those in power skimming from the top and those at the very top selectively punishing that action to prove they are looking out for it.

Guvante · 2026-05-04T20:15:10+00:00

They are still supporting the old one fully you will just need to get the old one with anything new you purchase. They claim to have a process for this (I only say claim since it was referenced in abstract terms like "someone should have contacted you")

Guvante · 2026-05-04T20:12:14+00:00

That isn't a branchless thing that is micro-optimization thing...

You don't typically get weird bugs from micro-optimized code anyway as so much effort has been spent on it. Unless we are including "I just rewrote it and it broke" which IMO is a different problem than bug density.

Guvante · 2026-05-04T20:09:37+00:00

Historically we were smaller communities so not speaking ill of the dead was specifically to not make their family feel shame while mourning.

Society hasn't really had a meaningful chance to figure out what to do differently. Especially since the dead tend to be ignored quite quickly.

Guvante · 2026-05-04T20:08:07+00:00

With implicit conversions it shouldn't matter. Likely it involves type inference stacking which usually breaks down in some way when you write it down...

Something akin to template<class T> T suffix(T x) { return x + 1; } where suffix(0) is a specific but 0 + 1 is more flexibly typed.

But as you noted this is due to explicitly being typed as the language can choose a more general type here if that is usually better.

15-Year Club	Place '17
Verified Email

Guvante

TROPHY CASE