Skip to content

Top New Best Ask Show Jobs

kachnuv_ocasek

2,085 karmaJoined November 25, 2010368 submissions

A Ptáčeḳ

kachnuv_ocasek | Better HN

Recent submissions

1

PyPSA 1.0 Is Here (opens in new tab)

(docs.pypsa.org)

1kachnuv_ocasek5mo ago0

2

Algorithms for Decision Making (opens in new tab)

(algorithmsbook.com)

5kachnuv_ocasek1y ago0

3

Formalizing the proof of PFR in Lean4 using Blueprint (opens in new tab)

(terrytao.wordpress.com)

3kachnuv_ocasek2y ago0