https://qalculate.github.io/

Bad news: according to the discussions here on HN it appears that there is no consensus on what the good mix of renewable/nuclear is. Therefore us, citizens, will be manipulated by politics.

Makes me wonder what the military have access to since months...

On the UI side Claude helps a lot. So for me I'd say I have a 25% productivity increment. I work like this: I put the main architecture of the code in place by hand, to get a "feel" for it. Once that is done, I ask Claude to make incremental changes, review them. Very often, Claude does an OK job.

What I have hard times with is to have Claude automatically understand my class architectures: more often than not it tries to guess information about objects in the app by querying the GUI instead of the data model. Odd.

So, less jobs for sure, but not like 50% less jobs.

1/ lean-zip is open source so it's much easier to have more Claude's eyes looking at it

2/ I don't think Claude could prove anything substantial about the zip algorithm. That's what lean is for. On the other side, lean could not prove much about what's around the zip algorithm but Claude can be useful there.

So in the end lean-zip is now stronger!

So my question is: when is there enough training data that you can handle 99.99% of the world ?

If you are 50 years old or more, the computing you were born with (you own the computer, you own the programs) will be gone. Copyleft only makes sense if you own the computer.

That makes me sad.

I disagree with that. My abstractions are pure in my mind (well, I hope even if it sounds a bit pretentious). I try to get the best out of the tools I have at hand to represent them. I'm perfectly fine with leaky abstractions, mismatches, inconvenent languages, etc. I live with that. But I certainly don't actively seek these leaks. Quite the opposite :-) (well instead I'm pursuing another goal like performance, in which case, I blow abstractions away). Oh, and in case you wonder, I did write tons of assembly on 8086/80386 and 6502 and now I'm full on on rust, julia and python. I know what an abstraction is :-)

But I thnk we globally agree nonetheless

Another case: present government (rightwing) has lowered the taxes (very significantly) you have to pay when buying a new home. Objective: help people with less financial resources to get a home. What happened so far: price of the houses raised to absorb that new purchasing power. Minister's comment: "people now can buy better quality homes".

But TBH, I have been a bit "shocked" by AI as well. It's much more troubling that the coming of the internet. But my hope is that having worked with AI extensively for the past 1-2 years, I'm confident they miss the important things: how to build the abstractions to solve the non-code constraints (like ease of maintenance, explainability to others, etc.)

And the way it goes at the moment shows no sign of progress in that area (throwing more agents at a problem will not help).

Now, there are abstractions (which exist in your brain, whatever the language) and tools to represent abstractions (in ASM you've got macros and JSR/RET; both pretty leaky).

Please don't propagate rightwing ideology. There are plenty of public services and servants who do their job very well. I worked in several administrations with them as an IT manager.

Sure there is "corruption" and other things but in my experience, not that much.