Hacker News
- In-context learning as a kind of symbolic-AutoML: Lyapunov conjecture for CoTs https://hal.science/hal-04850283v1/document 0 comments
- Decriminalizing Homosexuality: A Global Overview Since the 18th Century (2022) https://hal.science/hal-03778162v1/document 13 comments
- Tortured conference series thriving in computer science https://hal.science/hal-04311585v1 25 comments
- Testing a Formally Verified Compiler https://hal.science/hal-04096390/document 32 comments
- Baxter and Sagart: Response to Ho Dah-an’s review of Old Chinese: A New Reconstruction https://hal.science/ASIES_ET_PACIFIQUE/hal-04862995v1 5 comments linguistics
- Testing a Formally Verified Compiler https://hal.science/hal-04096390 3 comments compilers
- Paper on formally verifying iterators in Rust https://hal.science/hal-03827702v2/document 10 comments rust