Shower idea

Implement a web browser using a language that supports dependant types in order to prove its correctness and that no vulnerabilities exist for it.

>>13
I accidentally replied to the wrong post when I wrote >>12

But in my own life it'd be extremely difficult to not use the internet. I use my phone and computer for:
College
Work
Job applications
Coordinating events
Being invited to events
Email
Resume editing
Paying bills
Depositing checks
Transferring money
Directions
Alarms
Ordering things online
Etc.

Basically everything important in my life involves a screen at some point or another, whether I like it or not.

There are some group chat apps I use that are phone only.

Do you even own a smartphone? I don't see how you could say they're unnecessary if you have one and incorporate it into your daily routine.