Karsten Konrad 🇪🇺

Karsten Konrad 🇪🇺

@zabong69.bsky.social

Armchair Data Scientist and nerd. PhD in automated theorem proving just before AI became a subfield of Linear Algebra. Machine Learning, statistics, data visualisation, biology, recreational maths, computation, old pocket calculators, and video games

1,399 Followers 2,261 Following 2,800 Posts Joined Oct 2023
1 hour ago

What an odd thing to say for a computational linguist.

4 0 1 0
1 hour ago

Skull issue.

2 0 0 0
11 hours ago

Jetzt habe ich Schwaben gelesen und fand das sehr beunruhigend.

1 2 0 0
17 hours ago

Surprisingly, that’s still orders of magnitude better than having no tests.

11 0 0 0
21 hours ago
Post image

Algebraic creatures Made with #Python #NumPy #Matplotlib and
@marimo.io

37 5 2 0
1 day ago

Tom Cruise doing another movie?

2 0 1 0
1 day ago

You can not possibly fully appreciate Claude Code unless you talk to it in its native German.

3 0 1 0
1 day ago

* Actually, my Apple ][+ had only 32k of RAM when I got it for Christmas. I had to buy a special card from this random company called Microsoft that I'd never heard of that would expand the memory to 64k. (The 80 column and lower case card would come later.)

1 1 0 0
1 day ago

For some reason, nobody married data mining tools and optimization into the same tool before, I believe. It’s pretty obvious, isn’t it, that tools for preparing data and optimization fit well together?

1 0 1 0
1 day ago

We get as input sales data from customers, and design rule-based systems for pricing for that. Our task is to make sure that the new rules do not deviate too much from the original sales data (optimization) and are consistent - adding many rules may make them unsatisfiable. Z3 can do both.

1 0 1 0
1 day ago

I have integrated Z3 in my data mining app. I use my own specification language, which an LLM translates from natural language. I should ave looked into a more native format ;)

1 0 1 0
1 day ago

Anyone here knows a good book on constraint programming, SAT/SMT solving or MILP optimization? I want to brush up the basics, there must be better books now than what we had in the early 2000s.

1 0 2 0
1 day ago

Damn.

4 0 1 0
1 day ago

Me: "May I have two scoops of cookie dough please?"
Waiter: "Yes, you wanna spoon?"
Me: "Sure, what time do you get off?"

251 22 16 0
1 day ago

You reposted me with a very clear intend, to make fun of an argument without actually engaging. I consider that a breach of trust. Next time someone starts a conversation about a topic with you, maybe give it more time bf. telling all the internet how ridiculous you find it.

1 0 1 0
1 day ago

If you are wondering whether the AI discourse on Bsky is done in good faith, just cite one counterexample to some universal statement („LLMs are useless…“, „No LLM will ever…“, „All productivity gains are a lie or caused by inexperience“) and watch the moving of the goalpost. Every single time.

5 1 4 0
1 day ago

But I told you I was building apps for decades, and tbh, Claude can do a very good job in that part of the coding I am experienced it, at much higher Speed. I am not convinced your argument here carries much water. Very much „no calculator will be as fast as me and my slide rule“ vibes here.

1 0 0 0
1 day ago

Your bar of being experienced seems to be „full stack developer“. You are kind of an ass here.

0 0 1 0
2 days ago

In my app, yes. Machine learning, optimization. I know the algorithms and APIs for the core engine very well, and used these myself before in scripts. What I needed the AI for was gluing together, writing tests, all of UI and building an installer. And pandas to polars translation. I use TDD.

1 0 1 0
2 days ago

Sorry, I was unclear: I am a professional consultant now, but am a computer scientist.

0 0 1 0
2 days ago

Junior developers. I have been developing sw for 20+ years, mostly core ML algorithms. But stopped 15 years ago, and never did frontend development bc. I worked in teams with specific skillsets. I do not have a team available rn.

1 0 0 0
2 days ago

I am a business consultant, not a developer. I spend about 300h on this, a lot in my spare time. Barely managed to find that time. 3000h would be me investing 3 years - the opportunity costs become to high to justify the whole project.

1 0 1 0
2 days ago

10x pretty much covers it, and I am not inexperienced. I am a bit rusty, but it seems I have a good intuition of how tasks can be modularized and explained to an LLM. My main project is a 50k LOC data mining app I’d never been able to complete myself.

0 0 1 1
2 days ago

I don’t have a tattoo, but this qualifies as a candidate.

5 0 1 0
2 days ago

Use the blue to red coloring, not red to green. Colorblindness is something to consider when you only use colors,

0 0 1 0
2 days ago

As has everyone else... thank you for your thoughts. I am still not 100% sure that the article is genuinen, that is not pulling our collective legs. I truly hope not.

0 0 0 0
2 days ago

Does anyone use balanced replication weights & multiple matrix design in surveys in real life, outside of PISA / TIMSS?
We are having to learn this stuff on my Masters course: am wondering how useful it is. Thanks.

0 1 0 0
3 days ago
Post image

An eigen-starfish!
Made with #python #numpy #matplotlib and @marimo.io

29 4 0 0
3 days ago

Btw., I am not a native speaker, but wouldn’t „You can find my PhD on natural language semantics in the library of congress“ fit my linguistics degree into less than 300 characters?

0 0 0 0
3 days ago

You were arguing that LLMs only do syntax. I gave you a simple method to show LLMs can do semantic reasoning. Here, you move the goalpost to pragmatics. Want to bet LLMs can reason about that too? They can’t count words very well, I give you that.

2 1 0 0