mempko

ArXiv link to the paper: https://arxiv.org/abs/2607.19214

pi fork with the changes and test harness: https://github.com/mempko/pi

We live in the USA. I had a friend tell me they won't use Chinese models because models like K3 only have moonshot as the provider which is in China. They were afraid of surveillance. My rebuttal was that the Chinese can't send police to our door based on the conversation you have with their models while US companies can.

I'd rather the Chinese have my data over a US company because... what could they do? I live here, not China.

I have built something similar like this for my fund 7 years ago. We were doing parametric optimization on large computational graphs. I have never programmed Ocaml but my understanding is introspection is kind of a weak spot for the language. Curious language choice! I know Ocaml is fast, about 1-2x speed of C, on par with Java.

I can second this. I was using Fable for some research and fable said it wasn't going to do it and downgraded to opus. Switched to K3 and continued my work. And it worked really well for what I was doing. You can easily switch claude code to use K3, it took like 30 seconds.

This is terrifying, thanks for putting that out in the world.

This is beautiful. I went there 20 years ago and my mind was blown then how big it was but I really had no idea!

The point of a democracy is the people regulate it. It seems we are so far from a democracy and people feel so little agency, that we forget this.

Yes, this should be done by the government. Yes the people MUST make sure the government is doing what they want.

The problem with putting work like this in private hands is they are not as accountable to the people as a government SHOULD be.

The guy's vision is a world where children don't get the medicine they need and fascism rules (he gave a nazi salute, unironically). DOGE has killed people. Has killed children.

Quick question, what is your mental model of the climate?

You are an engineer or programmer? Why are you working in this industry if you can't take the time to learn about how this system works. We are supposed to be systems thinkers with a scientific mindset. How can you make a statement like "Nobody has that kind of temperature data" without researching first?

I'm embarrassed for my industry. I'm shocked how many climate denialists there are among engineers and programmers.

I think it would have been because it was a technically impressive OS with a beautiful UI created by at-the-time biggest smartphone maker in the world. iOS was first but that doesn't show it would win. Android now has marketshare and Android wasn't as good as MeeGo when it came out.

I believe if Nokia continued to invest, MeeGo would have even gotten better and they would have survived (note I worked at Nokia's subsidiary HERE maps at the time and saw early version of MeeGo. Also the hardware of the N9 was beautiful. It would have been a hit and in fact outsold the Lumia in the few countries it was delivered before they axed it).

I was working for a Nokia subsidiary called HERE maps at the time this was happening. All I can say is MeeGo was a great OS and would have competed really well with iOS. They released one phone with it called the N9 in some smaller countries and then discontinued that year in favor of Windows.

The heart of MeeGo continues on in Sailfish OS created by Jolla. They are again releasing a phone in Europe. I wish they released it in the US.

Question to you, if they looked further back, do you think the variability would increase or decrease. Do you also believe the mean temperature would be lower or higher? Just want to understand your mental model of the climate.

Backend changes? The world should have a revolution as our leaders have completely failed us.

The problem with AI isn't what it is but who owns it.

If hoarding is spoiling. You know what would be better than using fable and gpt 5.6, being able to run that level of model on your own hardware.

Someone like Trump probably couldn't even be a CCP party member. I've heard it's a relatively meritocratic organization, at least compared to pur political system. Though maybe someone from China can correct me.

I'm pretty sure the smartest ones just don't do crime.

If they can help figure out how to make turning office space into apartments attractive that will solve the vacancy problem and help keep housing costs at bay.

Yeah, when I hear about how the tax changes are going to result in a huge exodus of millionaires it's not backed by data. The data shows millionaires actually move LESS than the general population. Places that instituted high taxes didn't see an exodus. It turns out if you have a great city with great physical and social infrastructure, people want to be there. Seattle is building both. The physical infrastructure is better now then when I moved there 10 years ago. I just took a train to Bellevue from downtown Seattle for a couple bucks. Waterfront looks amazing and beautiful now. City is really clean.

This is so cool and I wonder how effective it would be using this technique when using LLMs to generate code. Have the llm generate code and a TLA+ model. Use the TLA+ model as the test bed of the code (instead of writing tests in the original language).

I have built a radically different system in general called Abject (https://abject.world). I have been thinking about how agents are the wrong abstraction and what an operating system can look like now that we have LLMs. It's not designed to help you with your website or app, but it does code and make different kinds of apps within it's system. In principle it should also be able to code apps outside it's ecosystem but I haven't tried that in any serious way.

Nice, what's the chunking level? I would want sub function, logical blocks, etc

This is great in concept but what prevents me from using it is TDD. I don't want to waste tokens on producing code that doesn't ship to the end user. Design by Contract is a far superior approach. If you've never heard of Design by Contract I don't blame you, our culture really failed to bring it mainstream. But I swear by it and it gives me real superpowers. Maybe I should fork this and gut the TDD part and replace it.

Have you ever run a business? I have and still do. I make the pricing decisions, nobody makes them for me. Have to factor in a lot and repricing is always a hard choice in either direction. It's never automatic or some mystical force.

I'm in the US. The benefit of the Chinese spying on me vs a US company is the Chinese can't come to my door and take me to jail.

Yes and all the price decisions are done by a person. Lowering prices, increasing prices, these are all decisions. Nothing is automatic.

Post COVID is a great example of this in action. They DID raise prices because they could. What keeps prices low is competition. But again, it's not automatic. Look at Arizona Ice Tea as an example. All price rises are business decisions with a person behind it.

People forget that prices don't rise automatically. Businesses decide to raise prices. There isn't some magical force called inflation cuasing prices to go up. It's human decision-making all the way down.

This brings me back. Used the live cd (then later thumb drive) at my university whenever I needed to use the computers. Would just reboot into it.