smadge

Pure math isn’t an economic activity so the benefit to society of automating it is dubious. Its goal is to expand the frontier of human understanding and communicate the understanding to other mathematicians. As the article states it’s more like an art than engineering (where the attitude of who cares if I understand it if it works is more justified). The AI generated proofs are barely comprehensible by mathematicians so the question is who are these proofs for? Who are they trying to convince or educate?

Maybe not a great example. Municipalities should fund public works projects themselves using sane taxation revenue instead of cryptically taxing private land improvement projects.

I found it interesting that the bettors who threatened the journalist accused him of being motivated to manipulate the market. The journalist was motivated to report honestly, the bettors were the one trying to manipulate the market by changing the reporting.

The prequel “Message Passing Is Shared Mutable State” makes the claim that highly scrutinized go codebases had just as many message passing bugs (using go channels) as shared memory bugs. But then this article claims the Erlang community has a record of higher quality and reliability largely through discipline and convention.

At another BigCo I am familiar with any external communications must go through a special review to make sure no secrets are being leaked, or exposes the company to legal or PR issues (for example the OP).

It raises an interesting point. Code review is as much about educating the author of the code as much as ensuring the quality of the code. Why invest time providing feedback to a brick wall? LLMs aren’t going to “learn” from your feedback.

It is a classic cooperation problem. Perhaps not prisoners dilemma. Perhaps not at individual scale. Probably tragedy of the commons.

Cooperation is not consuming fossil fuels. Defection is consuming fossil fuels.

If you cooperate and other defects you suffer climate impact and expensive energy (expensive everything, worse economic growth than others).

If you defect and other cooperates you suffer climate impact but at least you get cheap energy (cheap everything, more economic growth than others).

People, nations, corporations, etc don’t stop using fossil fuels because they incur a penalty against their competitors if they volunteer to and their competitors don’t.

The Russia reference doesn’t seem forced since the explanation for increased abandonments is attempts to skirt sanctions against Russian.

I think a lot of web services talk about reliability in terms of uptime (e.g. down for less than 5 minutes a year) but in reality operate on failure ratios (less than 0.001% of request to our service fail).

One might even say that hyperlinks are the engine of application state.

Can you share more about education in the USSR? My impression is that for all its faults, education is one area where the USSR excelled, with very high standards and outcomes.

The distinction in the article really is between calling malloc for every added node in your data structure (“pointer”) or using the pre-allocated memory in the next element of an array (“index”).

Treatment plant is optional.

California has the opportunity to be a beacon in North America for environmental and climate action e.g. by expanding solar production, finishing the CAHSR, and other projects like expanding and electrifying mass transit and commuter rail networks, but they are their own worst enemy.

A telnet terminal isn’t a terminal by this logic because the text isn’t rendered on the server. A telnet server sends data to your device and your device renders it.

I believe you are interpreting “business need” as “commercial need” when I think it’s more like “what is your business here?” Purely anecdotal, but when I visited Moffett Federal Airfield to visit the aviation history museum there I asked the security guard at the gate checking my ID if I could ride my bike around the base afterwards. He said I needed a business purpose to being on the base and that visiting the museum was a business purpose but biking around aimlessly wasn’t.

It’s like the symbiotic relationship between humans and livestock.

What knowledge are you trying to impart with this fact?

Do CSB recommendations inform policy? Do CSB recommendations get implemented? Do CSB recommendations when implemented increase safety?

3 republicans are quoted in the article defending the proposal. Is there a better argument that the article didn’t quote?

Maybe the target audience doesn’t need to be reminded, but benzene is really toxic and dangerous and it’s odd the article doesn’t mention that.

I have experience with token bucket and leaky bucket (or at least a variation where a request leaves the bucket when the server is done processing it) to prevent overload of backend servers. I switched from token bucket to leaky bucket. Token bucket is “the server can serve X requests per second,” while leaky bucket is the “the server can process N requests concurrently.” I found the direct limit on concurrency much more responsive to overload and better controlled delay from contention of shared resources. This kind of makes sense because imagine if your server goes from processing 10 QPS to 5 QPS. If the server has a 10 QPS token bucket limit it keeps accepting requests and the request queue and response time goes to infinity.

What percentage of tax filers have a single W-2, maybe a 1099, and take the standard deduction? If I had to guess, 80%.

I am curious what other factors were at play in those battles. It seems like first, Libya had no air support as western allies grounded Libya’s Air Force, second Libya did not have the logistics necessary to deploy their tanks so far from home, and third Libyan morale and training was low.

Is that really the wrong decision for a technologically advanced and industrialized nation like Australia, though? If you can logistically afford to field an M1 Abrams you are going to win against an opponent who can’t field a similar tank, even if they can afford more of them. Additionally I imagine there are other benefits such as integrating with allies who use the same tank.

> CL

Googler identified.

One letter increments wouldn’t work because each commit has to leave the program correct. For example committing the first f of a for loop would leave the code with a syntax error. But you often should break up changes into as small as possible commits that leave the code correct. E.g. make one commit that refactors the code (no change in program output), then another change which implements the change in program behavior that motivated the refactor. This generally makes commits easier to review, less likely to contain defects, and easier to attribute bugs and roll back.

The light is already by necessity hooked up to the wheel for power and adding a switch and wires to the brakes adds another point of failure making the system less reliable, makes installation more difficult because you have to wire up to the hub generator and the brakes, and more expensive because more components.

That would be more difficult, expensive, and unreliable. The light is powered by the rotation of the wheel so it already has a reliable braking signal.

*factorial function

Yeah, I have the Busch & Müller Toplight [1]. "The Toplight Line Brake Plus senses when the bike slows under braking and glows brighter. It does this by monitoring the AC frequency from the hub. During braking, the AC frequency slows quickly, and then makes the LEDs pulse or flicker, hopefully getting the attention of that fool in the jacked up SUV behind you."

[1] https://www.rivbike.com/products/dyno-rack-light?srsltid=Afm...