#agent #codegen #news #proof #typst #z3
- Uncensor any LLM with abliteration
- All the Transformer Math You Need to Know
- [AINews] Claude 3.7 Sonnet
- learn about Typst 0.13 is out now: Experimental HTML export, semantic paragraphs, and more
- Where are all the Rewrite Rules?, using Knuckledragger, a down to earth, highly automated interactive proof assistant in Python, based on Z3
- My LLM codegen workflow atm
- found The FFmpeg School of Assembly Language
- Serving local LLMs with MLX
- Enough with all the Raft