symbolicAGI

One wonders where else in the solar system moss from Earth may have taken hold. Spores and such could be making the journey randomly from gravity well to gravity well.

Without revealing proprietary details, I can say that 2.9 million lines of Java code were generated and tested in 3 months via claude code with multiple max accounts. The technique is to decompose the specification, code generation, test generation, testing, documenting and other standard steps into minute prompts and responses within the task competency of claude code non-interactive. I also scoped tiny context by having a repo for each 3K module.

Much of the innovation was accomplished by asking the AI what was best practice.

LLMs generate Java better because of so much more enterprise quality training source code and ingested coding textbooks.

The future is not human programming.

My experience is that LLMs generate better code if all data types are JSON compatible.

Evidently US Boomers are fortunate that ultra processed food was less common when they grew up.

For example, I recall drinking lots of skim milk and eating cooked vegetables at most dinners. My grandfather was a route-salesman for Gerber Baby Food and gave us cases of every variety back in the 1950s.

So sorry for Millennials and Gen Z for the mess we left you with the the scientific and effective marketing of tasty, convenient ultra-processed foods.

Easily refuted by the evidence of Anthropic's Claude Code in enterprises for the purpose of automating programming development activities.

Perhaps 10000x cheaper to perform tasks that the AI and humans can both competently perform.

A US stock market blow off top is consistent with both the NASDAQ weekly chart pattern and the current dismal macroeconomic environment, e.g. layoffs.

The major innovation appears to be an efficient hardware implementation of diffusion generative AI.

Certainly not CUDA compatible.

Diffusion for code generation is way faster than transformer based methods but currently not preferred due to better problem solving ability of transformers.

Essentially: "if the AI bubble is a bubble, it’s more likely an infrastructure bubble."

Yep, Nvidia 2025 = Cisco Systems 1999.

AI tech itself is not a bubble, it will endure and achieve greatness.

But CSCO stock fell 90% from dot-com peak to crash bottom, and one can reasonably expect according to facts presented in this excellent article that NVDA stock price to likewise crash - whenever the last margin buyer is exhausted.

Very welcome for my work which is automatically generating Java code with JSON-compatible data types.

Codex CLI with the GPT-5-codex model is the current leader over Claude Code and Sonnet 4.5 in the current Java-oriented benchmarks.

The JetBrains contributed benchmarking harness will be soon available in a form that developers can use on their own.

Karl Marx would agree.

One hopes that democracy will fairly allocate the abundance provided by the certain automation of Capital itself.

I am a former physics student of C. N. Yang’s at Stony Brook University.

Rest In Peace.

France has high per capita alcohol consumption, though it has been declining from a peak in 1973, with wine being the most consumed beverage.

More alcohol, more cancer. Simple.

France's tobacco consumption is higher than the European Union average.

More tobacco consumption, more cancer. Simple.

Proving program correctness is not easy. For example, one must prove the correctness of the entire dependency supply chain that the target program might directly or indirectly call. Sure, the proofs of those dependencies are to a degree reusable, but would likely need to be re-proved for each distinct set of parameters.

And on the other hand, TDD shows that having expectations of the results before coding the procedure is a good thing. Not necessarily proving the implementation correct but TDD is more likely to produce correct code.

Darling of the Internet infrastructure boom, Cisco's stock price declined 89% from the bubble peak to the bottom.

Expect the same for Nvidia.

Many know this resolution but bag holders all believe that they will sell before the crash.