HN
login

proven

4 stories and discussions about proven, aggregated from every source we track.

1.
Zeta(5) has been proven irrational (also Lean-verified)reddit.com
2 points•ogogmad•5 days ago•1 comment•
2.
Recorded, Not Provenclaude.ai
2 points•throwaway13sas•8 days ago•0 comments•
3.
Show HN: Shielded Bitcoin – private payments on Bitcoin, proven in the browsershielded.bitcoin.pe

Send bitcoin privately. A working proof of concept of Shielded Bitcoin on a test network.

1 points•harshjv•4 days ago•0 comments•
4.
Show HN: MoA – Attention kernel proven minimal before code was writtengithub.com

The first attention kernel proven minimal BEFORE code was written - womenflyplanes/moa-attention-verified-mullin

1 points•lmullin•9 days ago•0 comments•

Related topics

minimal18browser177private45kernel48recorded8payments8