tsterin

Joined 2 years ago

Karma

28

Submissions

24

Member since

Apr 27

View on Hacker News

Recent submissions

Comment · 4 months ago

use https://rocq-prover.org/ for that purpose

Show HN: Playbach.io, browser rhythm game (desktop) playbach.io

2 tsterin 6 months ago 0 comments

Comment · 8 months ago

Opus 4.6 finds proofs of false in Rocq and Lean kernels.

Personal relationship with the bouba-kiki effect tristan.st

5 tsterin 8 months ago 0 comments

Opus 4.6 is great at formal proofs (Rocq/Lean4) tristan.st

1 tsterin 8 months ago 0 comments

Let's Start Branching? branchgpt.netlify.app

2 tsterin 9 months ago 0 comments

Spotify leak: why so many 2-minute songs writingcosmo.substack.com

2 tsterin 10 months ago 1 comments

Spotify leak: why so many 2-minute songs writingcosmo.substack.com

6 tsterin 10 months ago 0 comments

The 2m Peak writingcosmo.substack.com

1 tsterin 10 months ago 0 comments

Comment · 1 year ago

45 minutes on 13 cores on a standard laptop :)