News for hackers. Stuff that matters.
Re:Ask HN: Why aren't we building a database of formally ver... by cloogshicer on Thursday March 04, 2021 @02:56PM (#26347356)
Great questions. Well off the top of my head, you could just post multiple solutions to the same problem specification. Just like you can have multiple (valid) answers to the same StackOverflow question.

That's why it would be awesome if you also added performance/memory characteristics to each solution you posted - then you could easily see which one is better for your situation.

Actually, even better - the memory/performance constraints could/should arguably be part of the problem formulation in the first place.

There are no comments on this comment yet.