Hanlin Ren

@h4n1in
5 Followers
20 Following
1 Posts

Random thought: Complexity theorists need a conference like #CFAIL for failed lower bound attempts. Proving lower bounds is notoriously hard, so why not share our failed ideas to help others avoid dead ends and spark new approaches?

Such a venue would also encourage "hardcore" lower bound provers to tackle difficult problems without the pressure of only publishing successes. Let's make failure more visible and more valuable!