I think that looks like a framework for proving things about the bandwidth usage... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

brians on June 5, 2017 | parent | context | favorite | on: A list of practical projects that anyone can solve...

I think that looks like a framework for proving things about the bandwidth usage of other programs, no?

madsbuch on June 5, 2017 [–]

You are right :-)

But we could also consider another example: try to return the nth digit using a regular expression.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact