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.

depndent types don't prove that no vulnerabilities exist. correctnes proofs do that but only for the part covered by the specification, so it still makes it possible to have bugs you didn't think of while designing a proof.

no vulnerabilities exist for it

not possible, P = NP
formal verification is bullshit

>>2
Types are propositions and programs are the proofs of said propositions.

>>3

not possible, P = NP

wut

>>4
absolute security is impossible

Will it support HTML or XHTML only?

>>5
Absolute security is trivial.

>>7
hahaha how is security real just turn off the computer nigga just don't use the internet

>>8
impossible to get by in this day and age without a computer, smartphone, and internet access

>>9
If you're retarded, maybe.

>>9
I think it's possible, provided your office provided computer doesn't count.

>>10
tell me all the software you use, and I'm sure there's a way to pwn it

CVEs are known knowns, 0-days are known unknowns, and ????? is unknown unknowns

>>12
Stop moving goalposts, you don't need Internet for everything and you most certainly don't need a smartphone for anything.

>>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.

>>14
the only thing I'm getting is that your life sucks ass

>>15
I listed a bunch of pretty normal things, my dude

>>16

normal things

yeah because you're a big fat NORMIE.

>>17
I'm not fat.

>>17

NORMIE

What is this, /r9k/?