wiz21c

the bigger resolution doesn't make the television more interesting to watch.

I use https://qalculate.github.io/news.html a lot. The UI is not exceptional but it's very powerful (I'm a former SpeedCrunch user)

technically, if it is orated, it's not a forest, it's a culture.

Forest is much much more than culture in terms of biodiversity.

I release my code as free software for two reasons:

1. The credits for my code are protected (with the GPL you have to tell where your code originates from). That's the ego part. It's important to me because I'm not paid for my software. So credits are an important reward.

2. I want people to think twice about reusing my code. I use the GPL license because I think sharing software is the ultimate goal. So I force people to share my software by using the GPL. That may sound "extreme" (that's the whole open source vs free software debate) but, not being a full time politician, I can't change laws to push society in the direction I want. At my level, that "push" is the GPL choice. Maybe it's not noble enough, maybe it's cowardice, but it's my way (compare that with those who simply don't care).

AI severely weakens both of these. And for people like me, this forces us to reconsider our position. For my part, I accept the legal point of view that A.I. doesn't steal code, and just reproduces the ideas in the code. So, as far as ideas can flow in society, I'm OK with that (that's the principle behind copyright laws).

If AI has its way, one day one will not need to write software, we'll just ask the AI. In that case, software will be dead and free software will die with it too. By then I'll do my "local politics" another way and follow the next RMS.

That's real information. Thank you!

I approach the thing differntly. My goal is not to add value (value means money and I don't care). I'm in for "creativity" though. I like to create programs. I'm not particularily fond of programming though. So what I have always done is to work on never-done-before stuff. Oh, I don't mean rocket science nor anything spectacular, but I like to be where defining the problem or understanding the problem is as much or more important as the skill needed to solve it.

For example, I'm working on an emulator in a field where emulators do exist since long. So I set myself to improve these emulators by emulating tricky corner cases. These corner cases do not exist in AI's memory because nobody has ever coded them. So although I use quite a lot of AI to investigate the corner cases, the actual problem solving is entirely mine. So I stay happy :-)

In my daytime job, a big part of what I do already exists in some form or another (fluid dynamics). But my job is more of understanding what I do so that I can convince someone else that my programs are robust and reliable. So again, I'm programming a lot with AI, but the important stuff, it's my skill to understand it, not AI.

Oh, and if Dario feels lonely, let's just says it calls representatives of nuclear energy sector. They know how to handle high risk stuff. In my country it means: private sector builds the reactor but the state has a great level of control.

So, as always, the capital must leave some its power to the state.

There's so much money in this, that believe me, the investors will manifest their will. And I would not want to be in Dario's shoes, pressure must be unbearable. The question is: how much of the invested money is under state control. If not much, the decision to go too far will just have to be taken by a few who will have, by definition, very limited judgment. If a lot, the we can hope the state can still represent the interests of more than a few (which I doubt, but well)

Most probably, if AI is able to do something bad, it will. Once the damage will be done, states will react. The question will be: will there still be room to react ?

I understand the agents communicated but how did one agent find he other agents in the first place ?

Each word of your answer is carefully chosen. I'll add one sentence though: you let time do its job.

Of course there may be errors in lean, of course AI can take advantage of it, of course "carefully" is full of errors. So the only thing left is waiting to see if the result holds. And yes, it may take 30 years...

"In my second one, which I started full time in 2008, I am giving back the wealth I made at Microsoft with the goal of making the world a healthier, better educated, and more equitable place."

Like inventing waterless toilets when people just need access to clean water ?

The sad story is that we don't need innovation, we need better politics.

Oh and he could open source windows, that would make us more equitable for sure.

besides the fact that it was written in rust, rust happens to be a really nice language to write emulators, you don't have to think much about threading and not much abut memory management, rust makes that easy => you can concentrate on your pixels. Moreover LLM grasp it very well so that you can get a bit more spare time for your emulator-side-project.

It was very long since I wrote any sort of C++ and using rust was pretty refreshing.

Second "besides": marty's PC may not have a lot of breadth in terms of supported hardware, but it gets the accuracy totally right. It's a very special kind of achievement.

(I'm not a rust fanboy :-) I just appreciate the language for writing my emulator)

Is there a way to test it online so that one doesn't have to resort to getting an API key and python code ?

I tell anyone I meet to seriously consider what immigration will be like when anthropogenic global warming will get stronger. I'm neither pro/against immigration but I know many people are scared by immigration (as is demonstrated in many EC countries by the progression of far right parties).

I also tell them to remember that food prices and insurances prices will inevitably go up.

And I won't much more that that because everything else fails (even the death of 1000 persons in my country during this years heat waves just make people say "bah, that's life")

I know this is more or less expected, but the improvement induced by adding a worker diminishes very rapidly... I guess it's not the cpython/numpy's fault but rather the CPU.

I'm not a mathematician and AI doesn't answer very well. Could someone tell us how big an endeavour this is: https://github.com/ImperialCollegeLondon/FLT ?

(the site is : "An ongoing multi-author open source project to formalise a proof of Fermat's Last Theorem in the Lean theorem prover.")

"A clear path to zero": what a joke. It will be 25% less fuel, 75% SAF which are nowhere close (how will one grow enough without fertilizers ?), or worse, hydrogen which is even more nowhere close (how much energy you need to produce H2 ?).

just ditch the plane. That will be so much money you can invest in net-positive technologies.

At least they're trying.

tldr: scientist tell us that defending one's values needs courage and strong will.

IOW: "if I have to kill only 2-3 people to make the business I want to make, then, bah, so be it".

at this rate, pi square is close to 'g'

why "not" yoga/stretch ? I understand it may not be the right thing for every kind of pain but the way it is usually presented (your body needs movement) sounds convincing. (I don't practice yoga but taichi)

ah, you're right, I thought it was disabled only for "export", but the PR explicitly says everybody:

https://www.anthropic.com/news/fable-mythos-access

As a european, it's funny to read those stories about Fable and not being able to check for myself. It looks like being a kid watching other kids playing with nicer toys.

CFD start to become really painful when the fluid leaves the cells...

I've been using KDE for the last 30 years I guess but somehow never used KolourPaint until to 2 weeks go. That's the first "pain" program that is usable to do simple things. Gimp is waaaaay to complex for simple tasks (especially the selection which I've never understood). Congrats KolourPaint team for KISS.

I use Qalculate! quite a lot (but for rather simple things). However, I miss the "physical" aspect of having real buttons. How woud this Ti-84 Evo compare ?

https://qalculate.github.io/

Good news: we will leave oil

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.

> UK banks will get access to Mythos next week.

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

I do greenfield in fluid dynamics and Claude doesn't help: I need to be able to justify each line of my code (the physics part) and using Claude doesn't help.

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.