Alexis King's Avatar

Alexis King

@lexi-lambda

computers can be understood • she/her, ⚢ • Chicago

1,482
Followers
8
Following
63
Posts
13.02.2024
Joined
Posts Following

Latest posts by Alexis King @lexi-lambda

it also supports mega picross-style puzzles now (I have not seen any other implementation of this in existence outside of the switch picross games)

08.03.2026 00:54 👍 8 🔁 0 💬 0 📌 0
Preview
Tell me about the good old days, papa I like this site. As both a scientist and an educator, it has allowed me to do the two things I love the most: continue learning, and teach where I can. I joined Stack Overflow late and didn't really

wrote a few paragraphs today about why early Stack Overflow was such a special and rewarding community to contribute to and why so many of us who were there have never really stopped mourning its slow but steady decay meta.stackoverflow.com/a/438314/465...

25.02.2026 21:43 👍 18 🔁 3 💬 1 📌 0
Video thumbnail

working on a nonograms implementation in racket based on the switch picross games github.com/lexi-lambda/...

22.02.2026 17:01 👍 20 🔁 3 💬 0 📌 1
BNF from https://docs.racket-lang.org/rhombus-reference/class.html#%28def._%28%28submod._%28lib._rhombus%2Fprivate%2Famalgam..rkt%29._core%29._class._rhombus%2Fdefn%29%29

BNF from https://docs.racket-lang.org/rhombus-reference/class.html#%28def._%28%28submod._%28lib._rhombus%2Fprivate%2Famalgam..rkt%29._core%29._class._rhombus%2Fdefn%29%29

Body text from https://docs.racket-lang.org/rhombus-reference/class.html#%28def._%28%28submod._%28lib._rhombus%2Fprivate%2Famalgam..rkt%29._core%29._class._rhombus%2Fdefn%29%29

Body text from https://docs.racket-lang.org/rhombus-reference/class.html#%28def._%28%28submod._%28lib._rhombus%2Fprivate%2Famalgam..rkt%29._core%29._class._rhombus%2Fdefn%29%29

mflatt: let’s ditch s-exps to make our language more accessible :)
also mflatt: rhombus defines eight different ways an identifier can have a binding in the core language and the standard library adds several more. here is the documentation for how to define a basic datatype. do you like this

20.02.2026 17:24 👍 12 🔁 1 💬 0 📌 0

really cool that stackoverflow-the-company is making such terrible choices that it’s gotten a wine mom with a radio and film degree to start fedposting in their moderator-only chatroom

19.02.2026 17:13 👍 7 🔁 1 💬 1 📌 0
Screenshot from langdev stack exchange chat that reads: “DannyNiu: Hi all, apologies for 2 poorly-received Q in a row. I'm experiencing some sort of "new-year" mind vacancy, and couldn't think straight.”

Screenshot from langdev stack exchange chat that reads: “DannyNiu: Hi all, apologies for 2 poorly-received Q in a row. I'm experiencing some sort of "new-year" mind vacancy, and couldn't think straight.”

who else up experiencing some sort of "new-year" mind vacancy

06.02.2026 07:28 👍 16 🔁 0 💬 0 📌 0

it turns out to be a pretty big problem for internet “communities” how many people absolutely love feeling righteous anger and like to find as many opportunities as possible to be as mean and uncharitable as they want without feeling guilty

21.12.2025 15:54 👍 17 🔁 1 💬 0 📌 0

I agree! I think the default HTML renderer is not very helpful. I think it would be reasonable to ship a stripped-down HTML renderer (similar to (blog-render-mixin base-render%) in my blog code) in Scribble itself. It would also be nice to make a custom renderer easier to actually render with.

25.08.2025 16:23 👍 3 🔁 0 💬 1 📌 0

In my blog, I don’t just render posts to xexprs. Rather, I render posts to a data structure that includes the post date, tags, and the top part for index pages and RSS feeds. Links to both other posts and external Scribbled docs are stable. Footnotes are automatically collected out of the main flow.

25.08.2025 15:59 👍 4 🔁 0 💬 1 📌 0

In practice, it does seem like “@-expressions as a templating language for xexprs” is really what plenty of people want, which is fine. But Scribble is much more than that, and I find a lot of what Scribble provides to be tremendously useful.

25.08.2025 15:59 👍 2 🔁 0 💬 1 📌 0

I do not think Pollen is “all the good bits with minimal hoops”. Pollen is essentially just @-expressions as a templating language for xexprs. Scribble is an extensible document model with a multi-pass rendering process that supports cross-references and other cross-document information flow.

25.08.2025 15:59 👍 3 🔁 0 💬 1 📌 0
Preview
lexi-lambda.github.io/blog/build/render/scribble.rkt at source · lexi-lambda/lexi-lambda.github.io Contribute to lexi-lambda/lexi-lambda.github.io development by creating an account on GitHub.

You can make Scribble output almost anything, but it requires a decent amount of code, and it’s not well documented. My blog is generated with Scribble, and it doesn’t look anything like default Scribble output. My renderer is here: github.com/lexi-lambda/...

25.08.2025 04:02 👍 4 🔁 0 💬 1 📌 0
Identifying Luck: Mario Party DS
Identifying Luck: Mario Party DS YouTube video by ZoomZike

love this completely insane guy who makes incredibly thorough, four hour long strategy videos for twenty year old mario party games for no discernible reason www.youtube.com/watch?v=Sndv...

27.07.2025 14:44 👍 4 🔁 0 💬 1 📌 0

“soundtrack is way better than the soundtrack to an extremely mid video game ought to be” is a shockingly common phenomenon

13.07.2025 03:56 👍 3 🔁 0 💬 1 📌 0

he’s not even really anonymous; his bio references his other account which contains his full name and links to his personal website

02.06.2025 19:13 👍 10 🔁 0 💬 1 📌 0
Threads of tweets by @Ngnghm.

Lexi also complains about lack of female Haskellers. But Haskell recruits at the higher end of the IQ spectrum, and especially the math part of it. Between extra variance and skew towards shape rotators vs wordcels, males vastly dominate this population.

Extra variance means that males dominate both ends of the Bell curve for a lot of traits, from intelligent vs stupid to heroes vs criminals.

Unsurprisingly, a lot of the few women we find in these circles have obviously been exposed to a lot of testosterone during their development.

The human sexual dimorphism in cognitive abilities, behavior and preferences is obvious and ubiquitous despite the egalitarian religion destroying the West currently making its mention taboo.

Expecting equality or making it a goal is absurd, self-defeating, and, frankly, evil.

Instead, outliers should enjoy their status as such.

“One good Husband is worth two good Wives; for the scarcer things are, the more they're valued.” — Benjamin Franklin

Moreover, as a programmer, you're already an outlier in abilities and interests. And if you read this post, you're an outlier among these outliers. If you're female, even more so.

Threads of tweets by @Ngnghm. Lexi also complains about lack of female Haskellers. But Haskell recruits at the higher end of the IQ spectrum, and especially the math part of it. Between extra variance and skew towards shape rotators vs wordcels, males vastly dominate this population. Extra variance means that males dominate both ends of the Bell curve for a lot of traits, from intelligent vs stupid to heroes vs criminals. Unsurprisingly, a lot of the few women we find in these circles have obviously been exposed to a lot of testosterone during their development. The human sexual dimorphism in cognitive abilities, behavior and preferences is obvious and ubiquitous despite the egalitarian religion destroying the West currently making its mention taboo. Expecting equality or making it a goal is absurd, self-defeating, and, frankly, evil. Instead, outliers should enjoy their status as such. “One good Husband is worth two good Wives; for the scarcer things are, the more they're valued.” — Benjamin Franklin Moreover, as a programmer, you're already an outlier in abilities and interests. And if you read this post, you're an outlier among these outliers. If you're female, even more so.

jesus christ

02.06.2025 14:22 👍 103 🔁 13 💬 17 📌 3

Yeah, that’s sort of what I meant by “the UI has value”; it’s useful to have an interactive dialogue of some kind. But there are lots of other ways we have tools provide interactive dialogues (one of them being literally called dialog boxes) and I would like to see more exploration there.

31.05.2025 14:14 👍 0 🔁 0 💬 0 📌 0

The UI is like that, but a lot of that is set dressing doing everything possible to create the illusion of working that way, which is why I’m not super fond of the framing. I do think that obviously the UI has value, but I’m not at all convinced there aren’t other UIs that would be more helpful.

31.05.2025 14:08 👍 2 🔁 0 💬 1 📌 0

Right, that’s what I mean by “synthesize examples from knowledge in the corpus”. I guess you could say it’s more like asking a question on Stack Overflow and then copying the code in the answer you get, but I actually like that framing less. I find “generative search” more illustrative.

31.05.2025 13:56 👍 0 🔁 0 💬 1 📌 0

I think AI coding tools are obviously a major innovation in that category because they use a much more sophisticated notion of “search” that can synthesize examples from knowledge contained in the corpus rather than only being able to return examples from the corpus. But it’s the same type of tool.

31.05.2025 13:53 👍 4 🔁 0 💬 1 📌 0

I think you’re correct, and I think the quoted post is making a category error. AI coding tools aren’t in quite the same category as PL innovations. They’re in the same category as “copying code off Stack Overflow”. This is not really a disparagement; that category is obviously extremely useful.

31.05.2025 13:50 👍 5 🔁 0 💬 1 📌 0

honestly I have no idea what joke you’re making here but I’m scared

29.05.2025 17:41 👍 3 🔁 0 💬 0 📌 0

didn’t I fire you from your position as my pr manager like four years ago

29.05.2025 17:39 👍 6 🔁 0 💬 1 📌 0
A break from programming languages

I have published my first new blog post in four years lexi-lambda.github.io/blog/2025/05...

29.05.2025 16:25 👍 120 🔁 22 💬 20 📌 6

lol okay dude

04.05.2025 04:46 👍 2 🔁 0 💬 0 📌 0

This sounds an awful lot like an admission that you don’t actually know of any concrete examples yourself. Believe me, I don’t have any problems reading papers, but I’m not the one making the claim here! I don’t feel the need to go scrounging for evidence for someone else’s assertion.

02.05.2025 22:19 👍 4 🔁 0 💬 1 📌 0

That glyphosate is harmful to human health in quantities that commonly appear in US food.

02.05.2025 04:32 👍 0 🔁 0 💬 1 📌 0

Do you have any evidence to offer for that claim, seeing as the person I was replying to did not provide any?

01.05.2025 21:26 👍 3 🔁 0 💬 1 📌 0

I do not really expect this will convince you. I find most people who buy into this stuff have already made up their minds. Either way, I’m afraid to say you’ve been had. Which is a pity, really: it would be lovely if the cause of so many stubborn health problems turned out to be so simple!

01.05.2025 06:08 👍 13 🔁 0 💬 3 📌 0

It was only at this point that I bothered to look at the authors’ credentials. The rebuttal was written by members of the Department of Medical and Molecular Genetics at King’s College. Meanwhile, Samsel and Seneff are an “independent scientist and consultant” and a COMPUTER SCIENTIST, respectively!

01.05.2025 06:08 👍 10 🔁 0 💬 1 📌 0