lanstin

information wants to be free?

Hmmmm. Yeah plausible.

I read a book on epidemics where some modern theories on death were essentially its selected for to force potential infecting organisms to keep starting over on mastering a given genetic environment. Ones grandchildren are more likely to survive the successor plague than you are, hence a population with excessively long life would have died out. I think the evidence was from long lived trees? (Pandemic by Sonia Shah).

Or you can just slap a lot of Windows XP boxes with closed source control software and remote access software and let the central team do it. Which will be a bit cheaper

Yeah this is an interesting argument with respect to why we keep burning carbon. For both software and systems security and rapid climate change, we know the solution. But we haven’t been able to sway the incentives and the system keeps churning out bad results.

Yeah. Like I had Claude code write an upload Slab script, and a few linear integration scripts, now it just runs these to interact with those systems. I had it write a redshift proxy that doesn’t take login creds and is just a logging read only account but it can just write sql to research to its hearts content (some columns hashed on replies) and I don’t need much trust but I get a lot of good analysis and verification done.

I worked at a 4 1/2 nines (99.997) place and it was pretty standard to speak of half-nines at least (although on reflection, perhaps not everyone understood that 0.7 was 1/2 of 0.9 and thought 99.995 was "4 and a half nines") - we went from 3 nines in 2015 to 4 1/2 in 2025 (maybe slide back a little in 2026) - fun task but takes sustained high-level interest in reliability for a long time.

"Failed customer interactions" - if you have a way to actually see requests before they hit your datacenter, e.g. some async third party client libraries.

To the extent the LLM copied the plagiarized work, no. Like a number of the Erdos problem solutions turned out to be based on forgotten literature. So the drama matters even for the assessment of the mega agent work.

Because the mathematicians consulted 25 or so years ago believed their solutions would lead to the greatest amount of interesting new maths to explore, and because they had been validated as being hard by being attempted and not solved for a long time.

I have never heard this theory that mathematics is finishable before.

It isn’t even as constrained by material reality as mixing oil paints to get a certain effect is.

It is true for mathematics certainly. I would guess it is less true for science per se.

And OpenAI and some math researchers and an Anthropic employee are squabbling about credit.

Big day and shows the ability of the models for counter-examples.

Navier-Stokes blow-up counter example found.

Marching band.

I like jquery. I only do websites for data viz things so I don't follow all the frameworks and so on, I just want some nice D3 graphs and tabular reports and to have it be clear enough JavaScript that I can look at the math and maybe edit it. JQuery serves very well for that and for keeping me out of browser compatibility issues, although that seems to be less of an issue than in 2008 when I started with it.

Reply to sibling - lean4 doesn't rest on ZF or ZFC. https://lean-lang.org/theorem_proving_in_lean4/Axioms-and-Co... However I believe an equivalence of power has been shown between the two.

Brevity is the soul of wit.

Remember: MBAs are sociopathic by training.

(Source, worked for multiple tech companies that were laser focused on delighting customers until money people came in and ruined it, to the point they would prefer devs sit idle than work on things the MBAs didn’t have on a priority list).

It is irrational however.

Xenos = foreigner, Phobia = fear or dread.

Treating the hard working and generally cool people that come to the US as being in the same boat as all us humans but bringing interestingly different solutions for how to conduct our affairs is not cultural relativism, it's being realistic and open to the goodness of creation, to seeing each person as bearing the image of God in my own religion's terms.

Seeing the current crop of immigrants as being lazy, criminal, disease ridden or a source of decline in the quality of life for the people in the US is xenophobia, it is irrational and not-truth based.

Prefer whatever you prefer, that's the bed rock of a free society, and welcome the people who value freedom and hard work so much they have fought to join your country. Or you condemn your country to a period of diminishment, superstition and other forms of backwardness.

> The countries that most immigrants come from treat that principle as axiomatic.

Haven't spent much time overseas? I have, and I don't find this to be the case - most (tho not all) likes their family ways more than others, and many many places have built cultures built on the idea of syncretism, of one culture out of many. In a way the very genius of India is that it's made of hundreds of cultures work together as a pleasing whole greater than any part. And of course "E pluribus Unum" has proven to be a potent idea in the history of the last few centuries.

The very stereotype of the sophisticated Muslim who quotes Maimonides and Jesus as readily as the Prophet, and is well versed in scientific arts and is great in his or her career is a stereotype based on a millenium of encouraging arts and sciences and great cities built on many cultures working together.

Denying the plain reality of immigration because of fear of some made up "cultural relativism" is irrational xenophobia, in my book. No one is trying to shut down your church dinners and NFL games.

Allowing more carbon dioxide sources is going to be distinctly harmful to profits in the mid-term. As with racial bias, strict gender roles, anti-vaxxing, and being anti-science, being pro-carbon burn is ultimately a foolish anti-truth stance as silly and ill-outcomed as any three year old insisting that they can stay up all night.

I know a lot of people that support these cruel and chaotic changes to our immigration laws and they are mostly xenophobic - they don’t like people speaking languages other than English at the store, they don’t like religions different than their own, they don’t like family traditions different than their own.

And the interesting details are often wrong or missed.

LOL: from the RFCs: “In protocol design, perfection has been reached not when there is nothing left to add, but when there is nothing left to take away.” (from https://www.rfc-editor.org/info/rfc1925/ )

There's a lot of 10% improvements between 0.1 and 0.

Also when you are 80 something can go from a bit of a cold to deadly dangerous real quick.

cheaply dropping log msgs you cannot handle is absolutely essential for an observability system - otherwise excess load can take down the logging infra which can (if msgs aren't dropped) take down the prod network/app trying to send reliable log msgs.

Audit logs are a distinct feature.

I mean I use coffee quite a lot to prop up my software career. I don’t really find purity to be useful for anything except to answer questions like “should I steal this money now that I am alone” or “should I backstab this friend who pissed me off today.”