Alexis King
LightNews LightNews
lexi-lambda.bsky.social
Alexis King
@lexi-lambda.bsky.social
1.4K followers 7 following 56 posts
computers can be understood • she/her, ⚢ • Chicago
Posts Replies Media Videos
lexi-lambda.bsky.social
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...
Identifying Luck: Mario Party DS
YouTube video by ZoomZike
www.youtube.com
July 27, 2025 at 2:45 PM
lexi-lambda.bsky.social
jesus christ
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.
June 2, 2025 at 2:22 PM
lexi-lambda.bsky.social
I have published my first new blog post in four years lexi-lambda.github.io/blog/2025/05...
A break from programming languages
lexi-lambda.github.io
May 29, 2025 at 4:25 PM
lexi-lambda.bsky.social
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
March 6, 2025 at 4:29 AM
lexi-lambda.bsky.social
just wrote 2,300 words about register allocation langdev.stackexchange.com/a/4326/861
How 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...
langdev.stackexchange.com
February 13, 2025 at 9:21 PM
lexi-lambda.bsky.social
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.
January 21, 2025 at 11:32 PM
lexi-lambda.bsky.social
update: someone has posted a remarkably extensive answer to this english.stackexchange.com/a/628758/17950
January 19, 2025 at 8:40 PM
lexi-lambda.bsky.social
@briangoetz.bsky.social would be lovely if you could write an answer to this question on langdev :) langdev.stackexchange.com/q/4265/861
Strings and arrays in Project Valhalla
My 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...
langdev.stackexchange.com
January 17, 2025 at 11:44 PM
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
Origin of usage of “grovel” to mean rummage or exhaustively search
In 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
english.stackexchange.com
January 14, 2025 at 9:15 PM
lexi-lambda.bsky.social
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
Flow-sensitive type refinement of polymorphic variants
My 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 ...
langdev.stackexchange.com
January 7, 2025 at 6:31 PM
lexi-lambda.bsky.social
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
[excerpt from the linked answer that starts partway through] When this function is called, result_location will record the address of wherever result happens to be stored on the stack. Control then yields to the enclosing continuation prompt, and some time later, the continuation is restored. Unless the stack frame for foo happens to be restored to precisely the same location, the write to *result_location will fail to update the new location of result and will instead clobber whatever now happens to be at that address. Given this fundamental issue, most programming language implementors consider implementing delimited continuations that capture the C stack to be a complete non-starter. Doing it anyway Fortunately, Daan Leijen is not most programming language implementors. His audaciously-named 2017 publication Implementing Algebraic Effects in C describes an implementation strategy for delimited continuations that really do capture and restore C stack frames. How does he do it? By simply always restoring the continuation to exactly the place it was captured from, of course! In § 4.3 Resuming, Leijen describes his implementation strategy:
January 5, 2025 at 2:39 AM
lexi-lambda.bsky.social
learning that the iOS app for this website does not allow me to receive push notifications for replies but not follows. cool cool
November 2, 2024 at 7:33 PM
lexi-lambda.bsky.social
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/...
Toolbox: Miscellaneous Utilities This library provides a collection of miscellaneous Racket utilities that I use in my personal projects but I have not felt warrant being published as a separate package. Note that this library is intentionally not published on the Racket package server, as everything in this library should be considered unstable. In projects that use it, I include this repository as a Git submodule, pinning to a specific version. [table of contents]
November 2, 2024 at 6:41 PM
lexi-lambda.bsky.social
ok can someone explain to me why like 15 people have followed me here in the past 36 hours despite this account never having made a single post. which one of you ratted me out
October 18, 2024 at 4:29 PM