Skip to content

Top Best Ask Show New Jobs

kachnuv_ocasek | Better HN

kachnuv_ocasek

2,110 karmaJoined November 25, 2010378 submissions

A Ptáčeḳ

Recent submissions

1

Why Lean? (opens in new tab)

(leodemoura.github.io)

2kachnuv_ocasek2mo ago0

2

PyPSA 1.0 Is Here (opens in new tab)

(docs.pypsa.org)

1kachnuv_ocasek8mo ago0

3

Algorithms for Decision Making (opens in new tab)

(algorithmsbook.com)

5kachnuv_ocasek1y ago0

4

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

(terrytao.wordpress.com)

3kachnuv_ocasek2y ago0

5

Running a Membership Program: Four Years In (opens in new tab)

(craigmod.com)

2kachnuv_ocasek3y ago0