bonzini

15 ms·

331.
by bonzini 1y ago
I think you're confusing this and the kernel's blacklisting of the TSC for timekeeping if it is not synchronized across CPUs; but while there's a knob to block userspace's access to the TSC, I am not sure that has been u
332.
by bonzini 1y ago
> It's also not as accurate as a the High Precision timer (HPET) This hasn't been true for about 10 years.
333.
by bonzini 1y ago
You're probably thinking of PAE (36 bit physical address space on 32 bit virtual address space). But Intel for quite some time had a 36 bit physical address space limit on 64-bit consumer processors, even if the virtual address space w
334.
by bonzini 1y ago
Also the noise from the fans.
335.
by bonzini 1y ago
It depends on the country, in many places independent houses get a single 230V phase only.
336.
by bonzini 1y ago
In Italy we also have 10A and 16A (single phase). In practice however almost all wires running in the walls are 2.5 mm^2, so that you can use them for either one 16A plug or two adjacent 10A plugs.
337.
by bonzini 1y ago
In practice it's over 64 TiB because kernels often use a quarter of the available addressing space (half of the kernel addressing space) to map the physical addresses (e.g. FFFFC000_12345678 maps physical address 0x12345678). So 48 vir
338.
by bonzini 1y ago
When I first tried letting Cursor loose on a relatively small code base (1500 lines, 2 files), I had it fix a bug (or more than one) with a clear testcase and a rough description of the problem, and it was a disaster. The first commit towar
339.
by bonzini 1y ago
The port's wall slow down the entry of the water and the boats can float. The "tide" caused by the tsunami was several meters.
340.
by bonzini 1y ago
Last week I was playing with the jj VCS and it couldn't even understand my question (how to swap two commits).
341.
by bonzini 1y ago
Say what you want of Bending Spoons, but they know what they're doing. They buy companies with a faithful user base that are losing money, and jack up prices to force the user base to show if they really are faithful. Then either they
342.
by bonzini 1y ago
And on Brake it's even the opposite: above a certain speed, you press the accelerator and the RPM decreases to remove engine braking.
343.
by bonzini 1y ago
It may prolong life by a few million years. A red supergiant's outer layers still have a few solar masses worth of hydrogen, and the extra material would delay the collapse of the star onto its core. On the other hand, if the merger ha
344.
by bonzini 1y ago
I think if one implemented linear types in Rust they could still be forgotten, but not. Basically you would have constraints like: * creating type &T or &mut T is forbidden; therefore also applying & and &mut to a value of l
345.
by bonzini 1y ago
If there is a human in the loop, TFA does say that agents can be the solution. In fact that's pretty much the conclusion that the author makes. By saying "you should just use agents", anyone who has read the article will assu
346.
by bonzini 1y ago
I understand that. You didn't answer the important point, which is that you can't be sure that what you have works if you don't encode the process. And encoding the processes isn't really software engineering; abstract
347.
by bonzini 1y ago
> You don't debug AI-generated code - you throw the problematic chunk away and have AI write it again, and if that doesn't help, you repeat the process, possibly with larger chunks. That makes absolutely no sense.
348.
by bonzini 1y ago
The techniques he has in the post are mostly "model your problem as a data flow graph and follow it". If you skip the modeling part and rely on something that you don't control being good enough, that's faith not enginee
349.
by bonzini 1y ago
You probably want contiguous rather than continental. Continental does include Alaska but not Hawaii or US territories.
350.
by bonzini 1y ago
Good luck debugging
351.
by bonzini 1y ago
... And for completeness, the shrinking actually made the tension worse.
352.
by bonzini 1y ago
What's the alternative that is efficient, feature complete(*) and more secure? (*) For example, Android uses SELinux to confine apps, virtual machines (pKVM) to run DRM code, and so on. All these increase the overall security of the sy
353.
by bonzini 1y ago
The "exponent = (p + 1) // 4" in the Google code is 2^1277. To raise a number to such a huge power, you square it 1277 times (and that is what the Python function does). That works because if the initial value is "x
354.
by bonzini 1y ago
> around the time that Microsoft started reusing the NT kernel in the consumer versions of Windows. Much later. Windows XP used the NT kernel in 2001, whereas Conficker was in 2008.
355.
by bonzini 1y ago
They were the majority of the commits so there's no risk that someone would change their project's direction. Ockham's razor tells me that they realized too late that they don't have a viable business model, the money dr
356.
by bonzini 1y ago
I agree. Every time I read "This highlights" or "This contrasts with" I want to puke. The initial part was fine but when it got to the conclusion it was incredibly monotonous.
357.
by bonzini 1y ago
> Latitude, mass concentrations, and climate also messed with the half-period/metre ("seconds pendulum") definition Probably not by 15% which was the difference between the traditional second and the decimal second.
358.
by bonzini 1y ago
It also messes up the original proposal for defining the meter, which predated the revolution and was "the length of a pendulum with a period of 2 seconds" (i.e. the pendulum would be at its lowest point once per second). Which is
359.
by bonzini 1y ago
Maybe you could allow people to pay more for Nabu Casa?
360.
by bonzini 1y ago
My interpretation is that while it did learn the exact computation and not just a statistical approximation, it's still limited to a grid of a given size. In that sense the attention matrix is brute forced and the network did not learn

More ›