user: kachnuv_ocasek
2084 karma | created 15 years ago
recent submissions
3 hours ago|discuss
4 days ago|discuss
1 month ago|discuss
2 months ago|discuss
3 months ago|discuss
4 months ago|discuss
PyPSA 1.0 Is Here
(docs.pypsa.org)
1 pts|4 months ago|discuss
5 months ago|discuss
6 months ago|discuss
10 months ago|discuss
Algorithms for Decision Making
(algorithmsbook.com)
5 pts|1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
Formalizing the proof of PFR in Lean4 using Blueprint
(terrytao.wordpress.com)
3 pts|2 years ago|discuss
2 years ago|discuss