Karsten Konrad 🇪🇺
@zabong69.bsky.social
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
Hey #MathSky. I’m teaching introductory linear algebra this fall for the first time in over a decade. What materials should I be aware of? I know I’ve seen a few posts about this sort of thing, but I don’t remember from whom or when. I don’t even know what (open) textbook(s) to use yet. Thank you!
Got added to a ‚Leibniz guys‘ list and then blocked. Is that an insult now?
rule of thumb for RAG/vector search: if you would consider it a bug if it returned less than 100% of the hits, then vector search is not for you, you’re looking for SQL
Left, right, whatever, I just want graduate students posting their papers here
Here is one of our fleets of Carter robots, from my company Robust.AI, charging overnight at a DHL warehouse. We are scaling up. Most of our fleets run two full shifts then all dock and recharge, though in some facilities individual robots do partial recharges when they see an opportunity.
im glad we call them dj sets and not dj lists because i would hate to hear the same song twice
In retrospect, my old math department should have hired more stochastic parrots.
[hands raised before an angry mob] ah, no no, you see, I do not use "AI". I use neural networks. LLMs. machine learning algorithms. these are different things & I'm fairly confident you don't know enough about it to know any better
Very funny that Anthropic throttles Claude chat (not Code) use during peak E. Coast hours, 5-11am PT. Both because they’re based in SF, and because night owls escape. Want to solve a famous open math problem? Midnight oil
I probably won't need to explain bitwise stuff for a while but I did throw together a fun toy
So delicious, but always looks like something Klingons get to eat after a space fight.
kitsune@clem.nextmiracle.eu · 6d agoI made ramen
trans rights frankly is a top 5, potentially top 3 issue for me despite not being trans and not having any trans family being bigoted against trans folks not only hurts my trans friends and every trans person but is so predictive of further bigotry
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.
you now have the ability to - play with every possible solution to a problem - refactor everything when you think of better patterns so many people complaining about the code the LLMs produce, if you're not producing the best software of your life right now something is wrong
next Greek epic for hollywood treatment needs to be Euclid's Elements. overdue
I am delighted to announce that after 5 years of work, 15 early releases, 50,000 words written, and 100,000 more deleted, *Logic for Programmers* is now complete and available in print! Blog post announcement: www.hillelwayne.com/post/lfp/ Website: logicforprogrammers.com
Logic for Programmers
Practical math for the working programmer.
logicforprogrammers.com
Learning with LLMs about neat groupoid concepts: orbitals, conjugates, orthogonality, quotient formulas.
Sneak peek into the International Congress of Mathematicians (ICM): There will be a #MathArt gallery, which is already #openAccess at www.imaginary.org/gallery/icm-.... It does feature my work "Heart of Domain Coloring" (with H. Lipschütz and U. Reitebuch). Go and give it a look!
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.
I see so many posts on Mastodon like this claiming AI cannot do things that we have empirical evidence of it doing, because the harshest critics of AI continue to equate agentic systems to LLMs. You don't ask an LLM to write code, a coding agent is a complex system with many parts *around* an LLM.
While the Fields Medal celebrates the under-40s, the mathematician Joan Birman has, at the age of 99, solved a major open problem in representations of the Braid groups, a topic she has worked on for more than 60 years.
This is a great article for non-mathematicians looking for greater understanding about what it means to do mathematics. Also great introduction to the mathematical community's concerns about the impact of AI.
Arthur Charpentier@freakonometrics.bsky.social · 2w ago"What It Means to Be a Mathematician When AI Does the Math" spectrum.ieee.org/ai-in-mathem...
Of course everyone recognizes their own thing in what AI is creating for folks. One of my things here is thinking about being able to take advantage of data. It is always humbling to be reminded how much we've cut people off from this
