Профиль

Karsten Konrad 🇪🇺

Профиль Vively

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

Karsten Konrad 🇪🇺

4 авг., 20:24

Got added to a ‚Leibniz guys‘ list and then blocked. Is that an insult now?

Karsten Konrad 🇪🇺

3 авг., 14:18

Priorities. So important.

Massimo (mirror)

Possibly the greatest single male athletic performance of all time Original post

Karsten Konrad 🇪🇺

31 июл., 00:02

So delicious, but always looks like something Klingons get to eat after a space fight.

kitsune

I made ramen

Karsten Konrad 🇪🇺

30 июл., 23:54

I vibemathed a brutally efficient solution for an open math problem I know somebody is working on rn with more elegant methods, and now I feel very unsure about ever publishing that result. Thanks Kant, you old killjoy.

Karsten Konrad 🇪🇺

29 июл., 22:02

Learning with LLMs about neat groupoid concepts: orbitals, conjugates, orthogonality, quotient formulas.

Karsten Konrad 🇪🇺

27 июл., 22:29

I think I have two new results (again): There exist recursively differentiable quasigroups of order 14 and of order 18! My new FAFO(tm) method solved these within minutes. Why didn't anyone tell me this quasigroup math thing is so much fun.