HNHacker News
TopNewBestAskShowJobs

KolenCh

335 karma · joined September 18, 2021

submissionscomments

Mathematicians aren't mourning their craft: Translating "After Math" for SE

blog.kolen.dev·2 pts·KolenCh·
1

Progressive disclosure for mathematical proofs: The parallel with cybersecurity

blog.kolen.dev·5 pts·KolenCh·
1

Unpacking the Navier–Stokes blowup: the math, the machines, & the mathematicians

blog.kolen.dev·1 pts·KolenCh·
0

Rsync: 3.4.1 –> 3.4.3

github.com·3 pts·KolenCh·
1

AI Agents Can Autonomously Perform Experimental High Energy Physics

arxiv.org·3 pts·KolenCh·
1

Models Can Prompt Now

simonwillison.net·6 pts·KolenCh·
3

High-temperature Gibbs states are unentangled and efficiently preparable

arxiv.org·80 pts·KolenCh·
33

'Sensational' Proof Delivers New Insights into Prime Numbers

quantamagazine.org·3 pts·KolenCh·
0

Brew-Nix: a flake automatically packaging all homebrew casks

discourse.nixos.org·78 pts·KolenCh·
32

Russian missiles struck NATO ally Poland and killed 2 people

businessinsider.com·31 pts·KolenCh·
8

Squid Game’s success reopens who pays debate over rising internet traffic

theguardian.com·1 pts·KolenCh·
0