Leon P Smith

@leon_p_smith@ioc.exchange
91 Followers
300 Following
2.4K Posts
Communications engineer and mathematician. Longtime functional programming and Haskell enthusiast, occasional Schemer. Inventor of corecursive queues, postgresql-simple, an aggregate theory of concrete mathematics, and self-documenting cryptography. Currently aspiring to become an Epistemic Frame Engineer.
Pronounshe/him

"Zohran Mamdani’s victory proves it: The ‘gotcha’ mode of fighting antisemitism has to go. …

When we reduce understanding of antisemitism to buzzwords — and say that we expect certain answers to certain questions and, if we don’t hear them, that means the candidate is an antisemite who has no place holding office — we confuse the definition of antisemitism. And we do nothing to actually, tangibly advance Jewish safety."

~ Emily Tamkin

#Mamdani #Jews #diversity #antisemitism
/9

You know back in my day, we had static analysis tooling that would give you exactly this kind of feedback, except it was correct. Now we have shit which only looks at the vibes of the source text and does no semantic analysis whatsoever, so of course it's just fucking wrong

Sent a pull request to Audacity fixing a crash bug I'd been running into frequently. The cause was an out-of-bounds memmove. Classic C++ areas.

Anyway I got a fucking copilot review on my PR which left two comments, both completely wrong, one of which suggesting I reintroduce the out of bounds memory access. I'm furious!

Kinda hit me this morning how AI is an assault on gifting economies: reddit, Wikipedia, github, AO3 (even books/art, although those are more tangled with money-making) are all gifting economies that run on the idea that we all benefit by sharing. People freely give because it makes life better.
1/n

@slava if you are interested in presentations and monoids, you might be interested that I finally got around to writing down and starting to develop my philosophy of math education.

I selected the Stern-Brocot tree, the Symmetry Group of the Square, Pascal's Triangle, and computer programming as starting points for a study plan based around iterative deepening depth-first search.

Then I accidentally realized combining the Stern-Brocot tree and the Symmetry Group of the Square results in the general modular group GL(2,Z), a fact from which you can derive presentations of GL(2,Z).

It turns out that the Stern-Brocot tree is isomorphic to the free monoid SL(2,N) given by the presentation <L, R>, and this is a submonoid of GL(2,Z), SL(2,Z), PGL(2,Z), and PSL(2,Z).

https://github.com/constructive-symmetry/constructive-symmetry/blob/master/T002_Tools_of_Math_Construction/Part03_Aggregate_Theory.md

constructive-symmetry/T002_Tools_of_Math_Construction/Part03_Aggregate_Theory.md at master · constructive-symmetry/constructive-symmetry

A Philosophy of Math Education. Contribute to constructive-symmetry/constructive-symmetry development by creating an account on GitHub.

GitHub

Setting aside copyright/commercial/other aspects, a thought about writing blog posts that LLMs train on. When people write posts, they (a) feel good about helping others, and (b) hope to get some credit and visibility for doing so.

When mediated through LLMs, no longer the satisfaction that your consumer is a human (who might comment, thank, share, etc.); nor the cred that comes from people remembering the author, posting on HN, etc.

That is, it totally destroys the incentive structure.

@Anibyl I believe the correct answer is 0!

NIST published guidance in 2024 advising that you don’t need to change your password that frequently.

#nist #passwords #infosec

https://cybersecuritynews.com/nist-rules-password-security/

NIST Recommends New Rules for Password Security

The National Institute of Standards and Technology (NIST) has released updated guidelines for password security, marking a significant shift from traditional password practices.

Cyber Security News

It's me! On #numberphile! Talking about my favourite polyhedron!

https://youtu.be/3X2aQIMx5bs?feature=shared

After many years never being able to line up doing numberphile video, I was really glad that Brady and I ended up in the same place to do this. I love the animations and especially the sound effects!

The 9-sided Enneahedron - Numberphile

YouTube

I wonder, too, if part of the hidden perniciousness of this kind of policymaking is the view that families (ahem, ALL OF US) who need supportive health infrastructure are "not who we want here anyway."

Alternate and more real frame: healthy families and families who need structural medical support ARE OFTEN THE SAME FAMILIES AT DIFFERENT MOMENTS and the trajectory doesn't run unidirectionally

Our kids are fine now, actually. Knock on wood, but we've had no major incidents in almost a decade. They don't need lifelong assistance; they needed to survive childhood, and so did our family

Lots of families have seasons of needing help, and seasons of everything is great

You are missing the long season of fine because you sucked ass when we needed help 🤷🏻‍♀️

❝I’d mostly discount the idea that this is largely about AI displacing educated workers.❞

YES. THANK YOU.

“AI is here doooom!! doooom!!” is such a common knee-jerk excuse for the miserable college grad job market right now, and…I don’t see it. In terms of real, actual, yes-it-worked, yes-you-can-clearly-replace-whole-highly-skilled-jobs successes inside of real actual businesses…I   just   don’t   see   it.

Whatever’s going on, the AIpocalypse is an •excuse•, not a •cause• here.