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 — 👍 3 🔁 0 💬 1 📌 0@lexi-lambda.bsky.social
computers can be understood • she/her, ⚢ • Chicago
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 — 👍 3 🔁 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 📌 0he’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 📌 0Threads 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 🔁 14 💬 17 📌 3Yeah, 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 📌 0The 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 📌 0Right, 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 📌 0I 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 📌 0I 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 📌 0honestly I have no idea what joke you’re making here but I’m scared
29.05.2025 17:41 — 👍 3 🔁 0 💬 0 📌 0didn’t I fire you from your position as my pr manager like four years ago
29.05.2025 17:39 — 👍 6 🔁 0 💬 1 📌 0I have published my first new blog post in four years lexi-lambda.github.io/blog/2025/05...
29.05.2025 16:25 — 👍 121 🔁 22 💬 20 📌 6lol okay dude
04.05.2025 04:46 — 👍 2 🔁 0 💬 0 📌 0This 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 📌 0That glyphosate is harmful to human health in quantities that commonly appear in US food.
02.05.2025 04:32 — 👍 0 🔁 0 💬 1 📌 0Do 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 📌 0I 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 📌 0It 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 📌 0That said, I am not in the business of trusting my hunches on matters I lack expertise in, so I went looking for the opinions of those more informed than me. I quickly discovered a very extensive expert rebuttal that I find quite convincing. www.frontiersin.org/journals/pub...
01.05.2025 06:08 — 👍 10 🔁 0 💬 1 📌 0I am not a biologist, but I do have a hobby fascination with crank researchers. This paper ticks a lot of the usual boxes: a grandiose theory that explains many ills, plus some loose connections that suggest at a mechanism while nevertheless lacking the specificity to derive a testable hypothesis.
01.05.2025 06:08 — 👍 8 🔁 0 💬 1 📌 0I did not begin reading expecting to feel this way. I figured its flaws, if any, would be mundane: perhaps it was cherry-picked, or maybe its claims were exaggerated by others for clicks. Sadly, its authors clearly feel unburdened by the need to make measured claims or present empirical evidence.
01.05.2025 06:08 — 👍 8 🔁 0 💬 1 📌 0I don’t know anything about this subject, but I was interested, so I clicked your link. As far as I can tell, the body text of that article only cites a single paper from 2013 by Samsel and Seneff. I read it, and I am quite sincerely sorry to tell you that it is extremely transparently junk.
01.05.2025 06:08 — 👍 24 🔁 0 💬 1 📌 0DFB7-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
06.03.2025 04:29 — 👍 12 🔁 0 💬 2 📌 0I think the ones we have do alright, all things considered, though of course programming languages are always improving :)
14.02.2025 20:48 — 👍 3 🔁 0 💬 1 📌 0The right way to think about a program from a hardware POV is not what it *is* but what it *does*, including all of the processes involved in loading more of the program itself into processor caches. The CPU does not care about “programs”, it cares about keeping as much silicon hot as possible.
14.02.2025 18:40 — 👍 9 🔁 0 💬 1 📌 0I think it is an error to believe that a “computer program” is a fixed sequence of instructions executed in order by a processor. Rather, a modern computer program is a live system running on top of a machine that tries to adaptively saturate a managed collection of compute units in real time.
14.02.2025 18:40 — 👍 15 🔁 2 💬 1 📌 0Control commands for most other hardware devices are usually generated on the fly, even for coprocessors like GPUs, but for CPUs, we have AOT/JIT compilers that precompute long sequences of the control commands and cache them for performance reasons. That is what a modern compiler is doing.
14.02.2025 18:40 — 👍 4 🔁 0 💬 1 📌 0What makes microprocessors so complicated is that they are real time devices operating at incomprehensible speeds, keeping them saturated is almost impossible given memory bandwidth limitations, and the programs feeding them the instruction stream are the very programs they are running.
14.02.2025 18:40 — 👍 4 🔁 0 💬 1 📌 0The purpose of machine code has shifted from a sequence of instructions that directly drive a processor’s various units to a control protocol analogous to control protocols used to direct other hardware devices. The control protocol specifies work to be done, and the hardware schedules it.
14.02.2025 18:40 — 👍 3 🔁 0 💬 1 📌 0The idea that a simple, imperative language usefully represents a “portable assembler” has been outdated for a long time. C was close to assembly in the 80s and even into the 90s, but though much about ISAs has in principle remained constant for backwards compatibility, their semantics have changed.
14.02.2025 18:40 — 👍 3 🔁 0 💬 1 📌 0