Discovering Errors in Donald Knuth’s TAOCP
As Donald Knuth has just published Volume 4, Fascicle 7 of The Art of Computer Programming (TAOCP), on constraint satisfaction, I would like to provide more information about the errors I discovered i
glthr.com | Guillaume Lethuillier's blog
glthr.com | Guillaume Lethuillier's blog
Latest posts
Why XML Tags Are so Fundamental to Claude
This is the fourth installment in my series on delimiters in languages. I recommend reading the first article to understand the implication of categorizing XML tags as delimiters in this context. (Mar
The Riven Diffs
This article, by Guillaume Lethuillier and Twitch, is also published on Twitch’s website (which contains additional images by combining animated diffs, highlighted diffs, and pairs of original images). Disclaimer: This article contains spoilers appli...
Formulaic Delimiters in The Iliad and The Odyssey
This is the third installment in my series on delimiters in languages. During my middle school studies, I was introduced to Homer’s Iliad and Odyssey. This year, I decided to revisit these epics and a
The Riven (1997) Navigator
Riven as Series of Cards The original Riven (1997), the sequel to Myst, was developed for the Mohawk engine, resulting in game files stored in a proprietary format. Myst for Mac also used a proprietary format: HyperCard. The success of the Myst Graph...
Model Collapse and the Need for Human-Generated Training Data
(All opinions herein are solely our own and do not express the views or opinions of our employer.) Generative AI is poisoning its own well: online content is increasingly generated by AI; this data is used to train new models; those models then gener...
The Myst Graph, 4: What's Next?
ℹ I am pleased to announce that I will be presenting the Myst Graph at Mysterium Con 2025, in Atlanta, GA, on August 2nd. This will be an opportunity to discuss the project’s methodology and findings with fellow Myst enthusiasts. You can view the ful...
The Myst Graph, 3: Creating the Graph Using DeMystify
The Myst Graph is generated by DeMystify, now an open source Go program: github.com/glthr/DeMystify. This third article focuses on the implementation details and shares suggestions for further enhancement. As the article evolves, it will be updated b...
The Myst Graph, 2: Revealing New Findings
Introduction Previous analyses of Myst’s source code have indicated that some assets are not seen in the game, such as Catherine’s crumpled note and the opened music box in the Mechanical Age. Also, the analysis of commented-out scripts indicates the...
The Myst Graph: A New Perspective on Myst
Upon reflection, Myst has long been more analogous to a graph than a traditional linear game, owing to the relative freedom it affords players. This is particularly evident in its first release (Macintosh, 1993), which was composed of interconnected ...
LLM Delimiters and Higher-Order Expressions
Delimiters Between First-Order and Higher-Order Expressions In a previous article (that I recommend reading for context), I introduced the general idea that delimiters marking transitions between firs
Solving “Knight Moves 6” (Jane Street Puzzle, October 2024)
↘ In October 2024, Jane Street released a “Knight Moves 6” puzzle. In this article, we share our approach to solving it. As usual, all opinions herein are solely our own and do not express the views or opinions of our employer. This puzzle is strai...
First-Order, Second-Order Expressions, and Delimiters in Languages
There seems to be a pattern in languages (in the broadest sense in the context of this article: a series of symbols that are evaluated or interpreted): a duality between first-order expressions and se
Solving “Number Cross 4” (Jane Street Puzzle, May 2024)
↘ In May 2024, Jane Street released a cross-number puzzle, “Number Cross 4” (official solution). In this article, we share our approach to solving it. Introduction This puzzle, described here, encompasses various types of constraints: Row clues to...
A Fresh Perspective on Kryptos K4, the Decades-Old Unsolved Code
↘ This article presents our recent discovery of a pattern in Kryptos K4, the famous unsolved code. This potential breakthrough may reveal the use of a distinctive encryption technique. We also present “K4nundrum”, an open-source tool we created to ex...
Is Artificial Intelligence Suitable to Solve Cain’s Jawbone? (Part III)
All opinions herein are solely my own and do not express the views or opinions of my employer. This article contains a potential solution to Cain’s Jawbone. If you plan to solve it by yourself, stop reading it. Part I: https://guyomel.hashnode.dev/i...
Is Artificial Intelligence Suitable to Solve Cain’s Jawbone? (Part II)
All opinions herein are solely my own and do not express the views or opinions of my employer. This article contains a potential solution to Cain’s Jawbone. If you plan to solve it by yourself, stop reading it. Previously, we wondered about the rele...
Is Artificial Intelligence Suitable to Solve Cain’s Jawbone? (Part I)
All opinions herein are solely my own and do not express the views or opinions of my employer. This article contains a potential solution to Cain’s Jawbone. If you plan to solve it by yourself, stop reading it. We suggested a solution to Cain’s Jawbo...
Contextual Yet Non-Descriptive Errors
Developers must carefully balance the amount of information provided in error messages displayed to end-users. Disclosing too much information through these errors can lead to security breaches. On the other hand, using generic error messages can mak...