FAWK: LLMs can write a language interpreter(martin.janiczek.cz)212 points by todsacerdoti 11 months ago | 185 comments
Lemma for the Fundamental Theorem of Galois Theory(susam.net)126 points by susam 1 year ago | 33 comments