Alexis King

youtube.comThe Unreasonable Effectiveness of Constructive Data Modeling - Alexis King | SSW 2026YouTube video by Software Should Work

27 July

The recording of my talk from Software Should Work is now up. :) www.youtube.com/watch?v=0BXu...

Alexis King reposted

Impure Pics

@impurepics.bsky.social

22 June

@lexi-lambda.bsky.social talks Racket, nonogram/picross puzzles, puzzle solvers, a functional picture combinator library on top of OpenGL, and programming for fun. Enjoy. youtu.be/LwpnwQGNC9Q

youtu.beHaving fun with Racket Nonograms (w/ Alexis King)YouTube video by Impure Pics

softwareshould.workSoftware Should WorkAn independent conference on software reliability in Columbia, MO on July 16-17, 2026

5 June

I am pleased to announce that I will be presenting at Software Should Work next month. I hope to see some of you there! :) softwareshould.work

2 Apr

racket-nonogram can now show you any mistakes you’ve made, in case you can’t figure out what the issue was and don’t want to have to completely start over

15 Mar

racket-nonogram now supports automatically generating “mega nonogram” puzzles from standard puzzles

13 Mar

while working on this I have begun to understand why there are no mega picross implementations on the internet

12 Mar

racket-nonogram now supports networked co-op multiplayer (and has a README) github.com/lexi-lambda/...

8 Mar

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)

Alexis King@lexi-lambda.bsky.social

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

meta.stackoverflow.comTell me about the good old days, papaI 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

25 Feb

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...

22 Feb

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

20 Feb

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

19 Feb

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

6 Feb

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

21 Dec 2025

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

RJMacReady@rjmacready1529.bsky.social

How can so many people read this as "i hate immigrants" and not "we dont have enough housing, the large amount of immigrants coming into the US were most vulnerable to this fact"

youtube.comIdentifying Luck: Mario Party DSYouTube video by ZoomZike

27 July 2025

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...

2 June 2025

jesus christ

lexi-lambda.github.ioA break from programming languages

29 May 2025

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

6 Mar 2025

DFB7-2278 is a SNES Game Genie code to make it so that enemy HP always shows up in Chrono Trigger regardless of whether you have the Sight Scope equipped. just in case anyone was wondering

langdev.stackexchange.comHow do modern compilers choose which variables to put in registers?C has the register keyword, originally designed as a hint to the compiler that a variable should be placed in a register rather than on the stack. However this is generally considered an unneeded f...

13 Feb 2025

just wrote 2,300 words about register allocation langdev.stackexchange.com/a/4326/861

I’ve been thinking about this a lot lately, and I would add something: we must believe in something good. We must allow ourselves to believe that there are things in the world that are good and beautiful and true, and that they are worth defending and fighting for, without compromise.

This post is unavailable.

View full thread

I believe that truth is beautiful and that the difference between facts and lies matters. I believe that scientific progress and an ever-more-nuanced view of our world is an incredible achievement of our civilization. I believe that welcoming those unlike ourselves is something to be proud of.

This is not posturing. There are other tenets held by my coalition I do not feel as strongly about, and some I even disagree with. That’s fine. It does not change what I believe in my heart and my soul, and it is easy to take a stand when doing so brings pride. Find a way to believe in something!

This post is unavailable.

It is easy to point out all the evil and misfortune in the world. It is also easy to believe in a good so abstract that everything must first be razed to the ground to realize it. Neither is sufficient. You must find something real to cherish, to treasure, to earnestly love, and you must expose it.

english.stackexchange.comOrigin of usage of “grovel” to mean rummage or exhaustively searchIn computing circles, it is common to use the verb grovel to essentially mean to rummage or to exhaustively search. This usage is listed in The Jargon File, though no explanation as to its origin is

19 Jan 2025

update: someone has posted a remarkably extensive answer to this english.stackexchange.com/a/628758/17950

Alexis King@lexi-lambda.bsky.social

does anyone know the origin of the variant usage of “grovel” to mean “to rummage” or “to exhaustively search” commonly used in computing circles? if so, please answer my question on English Stack Exchange about this! english.stackexchange.com/q/628648/17950

langdev.stackexchange.comStrings and arrays in Project ValhallaMy understanding of Project Valhalla's impact on arrays and Strings (please let me know if this is off): arrays will still be reference objects but an array of value objects may be flattened on th...

17 Jan 2025

@briangoetz.bsky.social would be lovely if you could write an answer to this question on langdev :) langdev.stackexchange.com/q/4265/861

14 Jan 2025

langdev.stackexchange.comFlow-sensitive type refinement of polymorphic variantsMy language has polymorphic variants (the same feature as OCaml's polymorphic variants), and I want to implement flow-sensitive type refinement when pattern matching polymorphic variants. Here are ...

7 Jan 2025

wrote an extremely lengthy answer to an interesting question about typechecking matching on polymorphic variants in a language with a sufficiently global type inference scheme, which I think illustrates just how challenging even “simple” things can easily become langdev.stackexchange.com/a/4250/861

5 Jan 2025

got to write this extremely fun answer on langdev stack exchange this evening and man I love Daan Leijen so much langdev.stackexchange.com/a/4242/861

2 Nov 2024

learning that the iOS app for this website does not allow me to receive push notifications for replies but not follows. cool cool

2 Nov 2024

I guess I will try posting here: I’ve finally given in and published a small mountain of random bits of racket code I’ve had sitting on my hard drive for ages but haven’t had a good place to put it (and this is not even all of it, as I’m documenting it as I go) github.com/lexi-lambda/...