| user: | cpeterso |
| created: | January 6, 2011 |
| karma: | 44.3k |
| 1. | |
| 2. | Automatically Retrofitting JIT Compilers(infoq.com) |
| 3. | A Stupid Idea for AI Alignment We Came with by Looking at Specification Gaming(slimemoldtimemold.com) |
| 4. | |
| 5. | Securing the agentic era: formal verification for CEL Common Expression Language(opensource.googleblog.com) |
| 6. | Firefox intent to ship: JPEG XL(groups.google.com) |