GasStationManager

• GasStationManager 26 Nov 2024 2:08 UTC

  −1 points

  0

  on: GasS­ta­tionMan­ager’s Shortform

  Any Lean enthusiasts here? You might be interested to check out Code with Proofs: the Arena. Test your Lean skills with our coding challenges!
  
  Code for the website is open sourced at https://​​github.com/​​GasStationManager/​​CodeProofTheArena
  
  

• GasStationManager 4 Nov 2024 14:53 UTC

  1 point

  0

  on: GasS­ta­tionMan­ager’s Shortform

  I have written an essay “A Proposal for Safe and Hallucination-free Coding AI” (https://​​gasstationmanager.github.io/​​ai/​​2024/​​11/​​04/​​a-proposal.html), in which I propose an open-source collaboration on a research agenda that I believe will eventually lead to coding AIs that have superhuman-level ability, are hallucination-free, and safe.
  
  Comments are welcome!