esafak

Where is the TLA+ proof?

Then you can do it as a service; if you succeed that will mean fewer people doing that shit.

It's hard to describe how optimistic society, and futuristic such consumer technology felt as it rapidly advanced in the 60s-80s. There used to be television shows about the technology of the future, like https://en.wikipedia.org/wiki/Tomorrow's_World and https://en.wikipedia.org/wiki/Beyond_Tomorrow_(TV_series)

It used to be harmless things like a watch, or a portable music playing device. After 2000 you started to worry about what technology extracted from you, and now we're getting to the stage where are worrying about what it's going to do to us intellectually, and soon, physically.

No mention of "plugin" or "extension". At this point I am not going to try one that isn't modular. Life's too short to wait for folks to prioritize my pet features, just let me do it myself.

You're absolutely right! I was just reflecting on this myself. They have to be in order to win business and not weird out users. Imagine if they said "I'm sorry, Dave. I'm afraid I can't do that" to a request that it previously would have executed. If you don't control the software and the hardware it's a product decision away.

In my self-hosted ones. Where are you building them??

Do you have a CI story in jujubi? Already it has a nice set of features.

That's my point! You don't have to worry about a robot that does that. It's naive to think that that is ever going to happen. Real robots are going to be networked, with overwhelming superiority; no human institution will be able to subdue them. They would sit down merely to humor us.

It's all very well while the robot is politely sitting down while humans decide its fate!

It's also multi-modal, right?

Entire.io is testing their version of pull requests, called Trails: https://entire.com/features/trails

Pretty stylish. Thumbs up.

If it puts an end to LinkedIn-speak I'll take it, for a year or two.

All of those failure modes can be accommodated. I fail to see anything here a competent engineer couldn't address. I speculate it's not a technical problem, but an operational and cultural one. This is not rocket science.

It's very easy since there is limited ability for trains to change tracks, so the location history of the train is a strong indicator of which track it is on. Even Google Maps can tell you which lane you are in since god knows when, and cars can freely change lanes. And that's just consumer software. For something commercial like a train they could trivially solve this problem with something more robust. But I'm not familiar with the Spanish system; how much of the engineering did they do?

[flagged]

One reason it grates is that it is our brain's way of telling us that there is nothing to be gained from engaging the material; it is trite.

Putting your site in the hands of one person is very risky, plus StackOverflow was much bigger than Hacker News; it served the whole software community.

Look at the Intelligence Index vs. Cost per Task. Mistral 4 is not competitive. https://artificialanalysis.ai/#intelligence-efficiency-tabs

How are you going to run a community at scale without delegation? The only alternative is to let the computer do it.

It is sad because it was such a well designed community. But its lessons live on.

I assume this is the fruit of AI-driven decompilation? Nice work.

That's a best practice, but they should start rolling it out before they announce it. At that point it should be "generally available".

I like their benchmarks. They ask the right, not easy questions: https://surgehq.ai/blog/sudo-l7

Has anyone verified their figures to see if they hold up?

'coz it's pointless if you can get the same results without them.

Looking at the visualizations made me wonder if the embeddings themselves can be used to suggest, if not derive, mathematical results. I realize it depends on the quality of the embeddings.

The nature of the job changes too. With laptops and the internet, you can work real hard from the beach.

No. You've seen no benefit from computers, domestic appliances, modern medicine?

You could argue that companies reap outsized benefits, and that the benefits are not shared fairly with workers.

If productivity goes through the roof, working part-time may become normalized.

They bought this technology in 2008. What have they been doing?!