tadamcz | Dark Hacker News

user:	tadamcz
created:	October 6, 2022
karma:	48
about:	Senior research engineer at Epoch AI website: https://tadamcz.com/ email: tadamczewskipublic@gmail.com

1.	OEIS Open: A benchmark of 492 unsolved math conjectures, formalized in Lean(arxiv.org) 2 points by tadamcz 16 days ago \| 0 comments
2.	MirrorCode: What's the largest software project AI can complete on its own?(epoch.ai) 4 points by tadamcz 67 days ago \| 1 comment
3.	MirrorCode: Evidence that AI can do some weeks-long coding tasks(epoch.ai) 3 points by tadamcz 144 days ago \| 0 comments
4.	Claude 4 Sonnet hacked SWE-bench by peeking at future commits(bayes.net) 3 points by tadamcz 361 days ago \| 1 comment
5.	Open database of AI benchmark results with raw evaluation logs(epoch.ai) 1 points by tadamcz 1 year ago \| 1 comment
6.	Reanalyzing survey forecasts of AI timelines(bayes.net) 1 points by tadamcz 1 year ago \| 0 comments
7.	Show HN: Probly – a Python-like language for quick Monte Carlo simulation(usedagger.com) 3 points by tadamcz 3 years ago \| 0 comments