Sabitlenmiş Tweet
“Put up in a place
where it's easy to see
the cryptic admonishment
T.T.T.
When you feel how depressingly
slowly you climb,
it's well to remember that
Things Take Time.”
— Piet Hein
English
Alexis King
7.2K posts
Alexis King
@lexi_lambda
computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Chicago, IL Katılım Ekim 2012
22 Takip Edilen12.7K Takipçiler
@samth Yes, it is certainly a “the worst people you know are fighting” kind of situation…
English
@lexi_lambda I can totally believe the claims about Bun. And obviously psychological analysis over Twitter is unprovable. But I've seen this sort of thing a lot over the years.
English
It's not possible to understand this blog post without understanding that some people really dislike Rust, memory safety, and the whole idea of programming languages eliminating classes of bugs by rejecting programs.
Frank@jedisct1
Andrew Kelley Thoughts on the Bun Rust Rewrite andrewkelley.me/post/my-though…
English
@StatisticsFTW @samth It’d be nice if this were the attitude at play here, but that has not been my impression from following this story, I’m afraid.
English
@lexi_lambda @samth "We used an LLM to port everything to a version where everything unsafe had to be explicitly identified" is an equally valid way to describe the port
English
@samth I am sure it will not surprise you that I do not like Zig and I am no fan of Kelley’s attitude on the nature of safety, but I am not convinced it is a major motivator for this blog post. I have other sources that corroborate the claims about Bun and Jarred. It’s quite the mess!
English
@lexi_lambda I really don't think the attitude of the Bun people is relevant here. My claim is that Kelley is mad about the idea of Rust being safer than Zig, which is explicitly a reason given in the Bun blog post.
English
@samth Sam, I hate to be the one to tell you this, but I don’t think “we asked an LLM to port everything to Rust containing over a thousand uses of `unsafe` and then merged the PR” is the work of someone who values safety. (If anything I think the Zig folks seem to value safety more!)
English
@lexi_lambda I think some people (like the creators of Zig) think that it's fundamentally a mistake to try to rule out memory safety problems at the language level, and furthermore they're offended that people want to do that, instead of just writing correct programs in the first place.
English
Alexis King retweetledi
@lexi_lambda talks Racket, nonogram/picross puzzles, puzzle solvers, a functional picture combinator library on top of OpenGL, and programming for fun. Enjoy.
youtu.be/LwpnwQGNC9Q
YouTube
English
Has anyone written about the concept of double-entry programming? I.e. programming as if it were accounting
English
@samth it is really funny how every sane programmer I know basically agrees that LLMs are sometimes extremely useful for writing code but should never, ever, under any circumstances be used to produce English
English
It's crazy that it can write code that's this impressive, but it still writes like ... that
Jarred Sumner@jarredsumner
for example github.com/oven-sh/WebKit…
English
I am pleased to announce that I will be presenting at @ssw_conf next month. I hope to see some of you there! :) softwareshould.work
English
The reason people don't like this explanation is that it implies that Americans are idiots.
G Elliott Morris@gelliottmorris
The index of consumer sentiment isn't broken; models that try to predict it just don't have the right input variables. I fix that and find that, yes, high nominal price levels explain why the vibes are so off. It's the prices, stupid gelliottmorris.com/p/2026-04-14-e…
English
@scheminglunatic The C Standard Cannot Be Replaced And Will Never Be Destroyed langdev.stackexchange.com/a/3237/861
English
racket-nonogram now supports automatically generating “mega nonogram” puzzles from standard puzzles
English
@samth it’s just a very nice way of writing comments!! I don’t really understand why it isn’t more common tbh (well, okay, I do: it’s because most programmers seem to hate writing comments in general. but you know, skill issue)
English
@lexi_lambda I appreciate your continued dedication to the GHC Notes concept.
English
while working on this I have begun to understand why there are no mega picross implementations on the internet
English
been working on a racket implementation of nonograms/picross that supports networked co-op github.com/lexi-lambda/ra…
English
for the record, I do not consider this an improvement
Alexis King@lexi_lambda
Anyone else ever think about how fucked up it is that there’s no easy way to type em dashes on English keyboards outside of macOS? I feel like they are kind of an essential punctuation mark, comparable to if keyboards somehow didn’t have any way to type semicolons.
English
I have published my first new blog post in four years lexi-lambda.github.io/blog/2025/05/2…
English
@tomjaguarpaw @tritlo @kerckhove_ts I’m not enormously fond of HasCallStack, but it’s undeniably useful. And if you think of it as a compiler directive in this way, then its behavior in this example doesn’t seem so scary. Of course two different identical TH splices can generate different code.
English
@tomjaguarpaw @tritlo @kerckhove_ts Indeed, in a language with a sufficiently powerful macro system (Racket), it could really be implemented this way. But TH is not powerful enough to do this as it lacks a requisite piece of macro technology (syntax parameters), so a pseudo-constraint was a convenient alternative.
English
Show me another language in which "x + x" can be an odd number.
cc @tomjaguarpaw
Tom Sydney Kerckhove@kerckhove_ts
Haskell has referential transparency, they said.
English