JacobiX

Air travel is a good counterexample here: technology made airlines far more productive, but much of the gain went into lower staffing, higher throughput, and cost cutting not a better passenger experience

> As the nurse incorporates AI into her job, the nurse is able to oversee and accomplish more. She can spend more time talking with patients and helping them understand diagnoses. Productivity increases.

This feels economically naïve.. If AI lets one nurse do the work that previously required two, the default pressure in a cost-driven system is not "great, now nurses can spend twice as long with patients" It is "great, now we can run the same operation with fewer nurses"

>> We chose to forgo several hundred million dollars in revenue to cut off the use of Claude by firms linked to the Chinese Communist Party

You can’t choose to work with OFAC-designated entities.. there are very serious criminal penalties. Therefore, this statement is somewhat misleading in my opinion.

>> Apply diversity logic so your Agent/User doesn’t see 10 nearly identical results

On Instagram this is a good thing, but here the example is hotel and flight search, where a more deterministic result is preferable.

In the retrieve → filter stage, using predicate pushdown may be more performant: first filter using hard constraints, then apply hybrid search ?

>> it is getting harder for small software vendors

I think maybe this trend will continue and not specifically for indie developers, but for all software vendors. If AI becomes capable of producing genuinely highquality software, competition will intensify, and the industry will start to resemble the music industry. Alternatively, AI may continue to generate software that is not necessarily high quality but is largely indistinguishable from competing products; in that case, the market for lemons dynamic will apply. In either scenario, the value of software will decline...

I think that mathematical proofs, as they are actually written, rely on natural language and on a large amount of implicit shared knowledge. They are not formalized in the Principia Mathematica sense, and they are even further from the syntax required by modern theorem provers. Even the most rigorous proofs such as those in Bourbaki are not directly translatable into a fully formal system.

In the end, the article says:

> writing functioning application code has grown easier thanks to AI.

> It's getting easier and easier for startups to do stuff.

> Another answer might be to use the fact that software is becoming free and disposable to your advantage.

For me, the logical conclusion here is: don't build a software startup!

Yes; they nailed the root case but the implementation is not 100% correct

Tested it on a bug that Claude and ChatGPT Pro struggled with, it nailed it, but only solved it partially (it was about matching data using a bipartite graph). Another task was optimizing a complex SQL script: the deep-thinking mode provided a genuinely nuanced approach using indexes and rewriting parts of the query. ChatGPT Pro had identified more or less the same issues. For frontend development, I think it’s obvious that it’s more powerful than Claude Code, at least in my tests, the UIs it produces are just better. For backend development, it’s good, but I noticed that in Java specifically, it often outputs code that doesn’t compile on the first try, unlike Claude.

I have the feeling that we are still in the early stages of AI adoption, where regulation hasnt fully caught up yet. I can imagine a future where LLMs sit behind KYC identification and automatically report any suspicious user activity to the authorities... I just hope we won’t someday look back on this period with nostalgia :)

MozJPEG, Guetzli and also Jpegli

I loved the article, but it overlooks one important point: although the JPEG format is frozen, encoders are still evolving ! Advances such as smarter quantization, better perceptual models, and higher-precision maths enables us achieve higher compression ratios while sticking to a format that's supported everywhere :)

What I like about mechanical watches is that, having survived a near-death experience when quartz watches were introduced, they’ve evolved into a completely different kind of product. It’s fascinating that, unlike most other businesses and products, people don’t buy them for their utility, and the less automated their production process, the better. Brands like A. Lange & Söhne even pride themselves on assembling their movements twice.

When inefficiency and craftsmanship are considered features rather than flaws, you have an industry that won’t easily be replaced by AI or robots.