kachnuv_ocasek

Karma: 2,078
Created: 15 years ago

About

A Ptáčeḳ

Recent Submissions

1. ▲ PyPSA 1.0 Is Here (docs.pypsa.org) 1 point · 1 month ago · 0 comments
2. ▲ Algorithms for Decision Making (algorithmsbook.com) 5 points · 11 months ago · 0 comments
3. ▲ Formalizing the proof of PFR in Lean4 using Blueprint (terrytao.wordpress.com) 3 points · 2 years ago · 0 comments

All submissions on HN · View profile on HN