not sure yet what to think of the AI IMO results. need to read more about the proof generation methodology (amount of brute force search?). also maybe reconsider the amount of creativity involved? since what i would expect is necessary to have, i can't get from LLM today (but, again, methodology)
July 22, 2025 at 5:11 AM
not sure yet what to think of the AI IMO results. need to read more about the proof generation methodology (amount of brute force search?). also maybe reconsider the amount of creativity involved? since what i would expect is necessary to have, i can't get from LLM today (but, again, methodology)
In this Pride Month, let us remember that #FunctionalProgramming has the privilege and honour to share our beloved λ with the Lesbian community. Let's go Lesbians!
June 3, 2025 at 9:12 AM
In this Pride Month, let us remember that #FunctionalProgramming has the privilege and honour to share our beloved λ with the Lesbian community. Let's go Lesbians!
so an interesting thing about the putative achemenid-era redactor merging multiple sources, is that cultural context shift might have obscured the meaning of some of the imagery to them
February 16, 2025 at 6:58 AM
so an interesting thing about the putative achemenid-era redactor merging multiple sources, is that cultural context shift might have obscured the meaning of some of the imagery to them