Karsten Konrad 🇪🇺

I just added a theorem prover into my data mining app, may ask it to prove what is here... I can't.

Best not to ask

The LLM debate chasm

i find the LLM "capabilities" debate to be almost uniquely poisoned. people who claim that LLMs cannot do things that they verifiably can arguing with people claiming that LLMs can do things that they verifiably cannot.

Damn.

Humanity.

Welcome to the only mathematics we actually do understand.

Yes, 100% this! If you can not learn with and from an LLM, you are not using it correctly.

Es gibt aber wirklich ein "Simplify Your Life" auch für Fragen rund um, z.B., Weihnachtsdekoration. Ich habe nie verstanden, was das soll, aber gemacht wird es dann zwanghaft trotzdem. Tradition = Peer pressure von toten Leuten. Männer sind oft das suboptimale Geschlecht, aber hier mal nicht.

Space Taxi C64, great game with speech. #c64 #commodore

Ich glaube, wir erleben gerade eine Zäsur. In der BRD hatten wir noch nie eine Regierung, die uns wirtschaftlich, gesellschaftlich und zukunftspolitisch nachhaltiger geschadet hat.

"Man wird den Unterschied vom ersten Tag an bemerken."

Das ist das einzige Versprechen, das Merz nicht gebrochen hat.

While I clean the house and fold the laundry.

Today, I managed to get Claude Code to write workflows for the data mining suite I am building with it. It achieved a price optimization that is actually better than my own solution. The future will be wild.

Sam Altman picked a hell of a day to basically urge the world to trust the morality and legal restraint of the Department of Defense

if you believe in any form of free enterprise at all, the idea that the Pentagon can not only cut off your contract but designate you a supply chain risk and prevent other companies from buying from you just because you won't build killbots for the government should be terrifying

You will need a few hobbits, a dwarf and some elves for this.

Not according to GitHub.

The raise of AI coding tools isn't a surprise because they have the potential to eliminate one of the largest software development productivity killers: searching for usage examples.

That's very smart. Student's never do what their profs tell them.

Gardening. I really need a gardening robot.

I feel seen.

We seem to have a lot of shared interests.

Junior devs with Claude code is like third graders with chainsaws

Dont give them ideas.

Screenshot of Adson, a Data Mining Software

Building a software that 100% fits your own needs as an industrial data scientist is extremely enjoyable. I never tried cocaine in my life, but it can't be much better than this.

Schon der Hammer, diese Idee.

What do you expect? His parents clearly hated him.

Cantor approves this article.

This is not something we can patch with exhortation or a clever pedagogical strategy, while remaining basically passive consumers of the product.

... Claude rewriting banks' COBOL code makes me want to fill a corner of a mattress with gold coins like nothing else ever has, and I was a software guy before Y2K

Claude Code to Figma: The Complete Guide to AI Driven Product Design Workflows Figma partnered with Anthropic to bring Claude Code outputs directly into Figma as editable design files. Converts working UI built via AI coding into editable Figma frames and layers.

Claude Code to Figma: The Complete Guide to AI Driven Product Design Workflows
open.substack.com/pub/manojgop...