2025-W18 › 🔗 › 2025-04-30 [2025-04-30]
✍️source

 
#apl #formal #lean #os #prolog
- found Leanabell-prover: Posttraining scaling in formal reasoning[zhang2025leanabell]
- skimmed Flow matching guide and code[lipman2024flow]
- APL: Comparison with Traditional Mathematics
- I use Zip Bombs to Protect my Server
- found Prolog Notes
- found Quotes on notation design & how it affects thought