from Hacker News

heydenberk

joined 1/2/11, 4:38 PM has 3415 karma

• STP: Self-Play LLM Theorem Provers with Iterative Conjecturing and Proving

  by heydenberk on 2/8/25, 1:26 PM, with 0 comments

• Google's new pipe syntax in SQL

  by heydenberk on 8/25/24, 1:33 PM, with 182 comments

• The New Lindy

  by heydenberk on 11/5/23, 9:09 PM, with 0 comments

• Practical Reed-Solomon for Programmers

  by heydenberk on 6/13/21, 9:51 AM, with 43 comments

• Lunar Starship and unnecessary operational complexity

  by heydenberk on 3/29/21, 2:29 PM, with 0 comments

• NumPy 1.20

  by heydenberk on 1/31/21, 11:21 AM, with 60 comments

• Tradeoffs for Locomotion in Air and Water

  by heydenberk on 5/16/20, 2:18 PM, with 0 comments

• Library-Ification and Analyzing Rust

  by heydenberk on 5/6/20, 7:45 PM, with 0 comments

• How to Learn Advanced Mathematics Without Heading to University – Part 4

  by heydenberk on 3/4/20, 7:03 PM, with 0 comments

• Metcalfe’s Law for High-Speed Rail

  by heydenberk on 2/15/20, 2:02 PM, with 0 comments

• Black China: Africa's First Superpower Is Coming Sooner Than You Think

  by heydenberk on 1/20/20, 5:03 PM, with 0 comments

• Organic Audio: Putting Carrots as Audio Couplers to Test

  by heydenberk on 1/9/20, 9:12 PM, with 0 comments

• Experiments with Making Convincing AI-Generated Fake News

  by heydenberk on 12/6/19, 3:00 AM, with 0 comments

• Ching Shih

  by heydenberk on 11/10/19, 1:15 AM, with 0 comments